Keith Miller

According to our database, Keith Miller authored at least 16 papers between 1988 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Co-Constructing a Community of Practice for Early-Career Computer Science Academics in the UK.

Tom Crick, James H. Davenport, Paul Hanna, Alan Hayes, Alastair Irons, Keith Miller, Tom Prickett, Rupert Ward, Becky Allen, Bhagyashree Patil, Simon Payne

Proceedings of the CEP 2022: Computing Education Practice 2022, 2022

2021

@Meerkat.

Keith Miller

Proceedings of the SIGGRAPH 2021: Special Interest Group on Computer Graphics and Interactive Techniques Conference, 2021

2017

Can We Program Ethics into AI? [Reflections].

Keith Miller

IEEE Technol. Soc. Mag., 2017

2016

The VFX of Disney's "The Jungle Book".

Rob Legato, Andy Jones, Adam Valdez, Keith Miller

Proceedings of the Special Interest Group on Computer Graphics and Interactive Techniques Conference, 2016

2014

Handling entities in MT/CAT/HLT.

Keith Miller, Linda Moreau, Sherri L. Condon

Proceedings of the 11th Conference of the Association for Machine Translation in the Americas, 2014

2011

Model checking timed properties of healthcare processes.

Keith Miller, Wendy MacCaull

J. Softw. Maintenance Res. Pract., 2011

2010

Lessons learned from moving earth system grid data sets over a 20 Gbps wide-area network.

Rajkumar Kettimuthu, Alex Sim, Dan Gunter, Bill Allcock, Peer-Timo Bremer, John Bresnahan, Andrew Cherry, Lisa Childers, Eli Dart, Ian T. Foster, Kevin Harms, Jason Hick, Jason Lee, Michael Link, Jeff Long, Keith Miller, Vijaya Natarajan, Valerio Pascucci, Ken Raffenetti, David Ressman, Dean N. Williams, Loren Wilson, Linda Winkler

Proceedings of the 19th ACM International Symposium on High Performance Distributed Computing, 2010

2009

Verification of Careflow Management Systems with Timed <i>BDI</i>_<i>CTL</i> Logic.

Keith Miller, Wendy MacCaull

Proceedings of the Business Process Management Workshops, 2009

2006

What's in a Name: Current Methods, Applications, and Evaluation in Multilingual Name Search and Matching.

Sherri L. Condon, Keith Miller

Proceedings of the Human Language Technology Conference of the North American Chapter of the Association of Computational Linguistics, 2006

2005

Stabilized Moving Finite Elements for Convection Dominated Problems.

Keith Miller

J. Sci. Comput., 2005

2002

Sharing Problems and Solutions for Machine Translation of Spoken and Written Interaction.

Sherri Lee Condon, Keith Miller

Proceedings of the Workshop on Speech-to-Speech Translation: Algorithms and Systems@ACL 2002, 2002

2001

Integrated Feasibility Experiment for Bio-Security: IFE-Bio, A TIDES Demonstration.

Lynette Hirschman, Kris Concepcion, Laurie E. Damianos, David Day, John Delmore, Lisa Ferro, John Griffith, John C. Henderson, Jeffrey L. Kurtz, Inderjeet Mani, Scott A. Mardis, Tom McEntee, Keith Miller, Beverly Nunam, Jay M. Ponte, Florence Reeder, Ben Wellner, George Wilson, Alexander S. Yeh

Proceedings of the First International Conference on Human Language Technology Research, 2001

1999

N Version Testing in the Undergraduate Curriculum.

Scott Grissom, Keith Miller

Comput. Sci. Educ., 1999

1998

Design and Application of a Gradient-Weighted Moving Finite Element Code II: in Two Dimensions.

Neil N. Carlson, Keith Miller

SIAM J. Sci. Comput., 1998

Design and Application of a Gradient-Weighted Moving Finite Element Code I: in One Dimension.

Neil N. Carlson, Keith Miller

SIAM J. Sci. Comput., 1998

1988

Integrating Computer Ethics into the Computer Science Curriculum.

Keith Miller

Comput. Sci. Educ., 1988