Tim Miller
This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.
Bibliography
2024
2023
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023
2022
Identifying patterns in amyotrophic lateral sclerosis progression from sparse longitudinal data.
Nat. Comput. Sci., 2022
Concept-based Explanations using Non-negative Concept Activation Vectors and Decision Tree for CNN Models.
CoRR, 2022
Are we measuring trust correctly in explainability, interpretability, and transparency research?
CoRR, 2022
2021
Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021
2020
CoRR, 2020
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
2018
Proceedings of the 2018 International Conference on Biometrics, 2018
Proceedings of the 14th International Conference on Semantic Systems, 2018
2017
CoRR, 2017
Proceedings of the 2017 IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2017
2016
A Comparison of Human and Automated Face Verification Accuracy on Unconstrained Image Sets.
Proceedings of the 2016 IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2016
Proceedings of the 2016 IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2016
2015
Proceedings of the ISWC 2015 Posters & Demonstrations Track co-located with the 14th International Semantic Web Conference (ISWC-2015), 2015
TR Discover: A Natural Language Interface for Querying and Analyzing Interlinked Datasets.
Proceedings of the Semantic Web - ISWC 2015, 2015
Structural Alignment as the Basis to Improve Significant Change Detection in Versioned Sentences.
Proceedings of the Australasian Language Technology Association Workshop, 2015
2013
Proceedings of the International Conference on Computer Graphics and Interactive Techniques, 2013
2012
J. Am. Medical Informatics Assoc., 2012
2009
Proceedings of the Human Language Technologies: Conference of the North American Chapter of the Association of Computational Linguistics, Proceedings, May 31, 2009
Proceedings of the 2009 Conference on Empirical Methods in Natural Language Processing, 2009
2007
Proceedings of the International Conference on Computer Graphics and Interactive Techniques, 2007
Proceedings of the 2007 IEEE International Conference on Cluster Computing, 2007
2004
Proceedings of the Teaching Formal Methods, CoLogNET/FME Symposium, 2004
Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004
Fractal Computation in Step with Real-Time Dance.
Proceedings of the ISCA 17th International Conference on Parallel and Distributed Computing Systems, 2004
2003
A framework and tool support for the systematic testing of model-based specifications.
ACM Trans. Softw. Eng. Methodol., 2003
Proceedings of the ACM SIGGRAPH 2003 Video Review on Animation Theater Program, 2003
Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003
Proceedings of the 2003 IEEE International Geoscience and Remote Sensing Symposium, 2003
2002
Proceedings of the Formal Methods and Software Engineering, 2002
2001
Proceedings of the ACM SIGGRAPH 2001 Video Review on Electronic Theater Program, 2001
Proceedings of the ACM SIGGRAPH 2001 Video Review on Animation Theater Program, 2001
Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001