Keith Miller

Orcid: 0000-0002-5968-1985

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Co-Constructing a Community of Practice for Early-Career Computer Science Academics in the UK.
Proceedings of the CEP 2022: Computing Education Practice 2022, 2022

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

2017
Can We Program Ethics into AI? [Reflections].
IEEE Technol. Soc. Mag., 2017

2016
The VFX of Disney's "The Jungle Book".
Proceedings of the Special Interest Group on Computer Graphics and Interactive Techniques Conference, 2016

2014
Handling entities in MT/CAT/HLT.
Proceedings of the 11th Conference of the Association for Machine Translation in the Americas, 2014

2011
Model checking timed properties of healthcare processes.
J. Softw. Maintenance Res. Pract., 2011

2010
Lessons learned from moving earth system grid data sets over a 20 Gbps wide-area network.
Proceedings of the 19th ACM International Symposium on High Performance Distributed Computing, 2010

2009
Verification of Careflow Management Systems with Timed <i>BDI</i><sub><i>CTL</i></sub> Logic.
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.
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.
J. Sci. Comput., 2005

2002
Sharing Problems and Solutions for Machine Translation of Spoken and Written Interaction.
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.
Proceedings of the First International Conference on Human Language Technology Research, 2001

1999
N Version Testing in the Undergraduate Curriculum.
Comput. Sci. Educ., 1999

1998
Design and Application of a Gradient-Weighted Moving Finite Element Code II: in Two Dimensions.
SIAM J. Sci. Comput., 1998

Design and Application of a Gradient-Weighted Moving Finite Element Code I: in One Dimension.
SIAM J. Sci. Comput., 1998

1988
Integrating Computer Ethics into the Computer Science Curriculum.
Comput. Sci. Educ., 1988


  Loading...