The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Tim Miller" ( http://dblp.L3S.de/Authors/Tim_Miller )

  Author page on DBLP  Author page in RDF  Community of Tim Miller in ASPL-2

Publication years (Num. hits)
2001-2012 (15) 2013-2019 (16)
Publication types (Num. hits)
article(9) inproceedings(22)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 9 occurrences of 9 keywords

Results
Found 32 publication records. Showing 31 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Tim Miller Explanation in artificial intelligence: Insights from the social sciences. Search on Bibsonomy Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tim Miller "But why?" Understanding explainable artificial intelligence. Search on Bibsonomy ACM Crossroads The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tim Miller Contrastive Explanation: A Structural-Model Approach. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Robert R. Hoffman, Tim Miller, Shane T. Mueller, Gary Klein, William J. Clancey Explaining Explanation, Part 4: A Deep Dive on Deep Nets. Search on Bibsonomy IEEE Intelligent Systems The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Brianna Maze, Jocelyn C. Adams, James A. Duncan, Nathan D. Kalka, Tim Miller, Charles Otto, Anil K. Jain 0001, W. Tyler Niggel, Janet Anderson, Jordan Cheney, Patrick Grother IARPA Janus Benchmark - C: Face Dataset and Protocol. Search on Bibsonomy ICB The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Aba-Sah Dadzie, Victoria S. Uren, Tim Miller, Al-Amin Abba-Dabo Value-driven partner search for Energy from Waste projects. Search on Bibsonomy SEMANTICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tim Miller Explanation in Artificial Intelligence: Insights from the Social Sciences. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Cameron Whitelam, Emma Taborsky, Austin Blanton, Brianna Maze, Jocelyn C. Adams, Tim Miller, Nathan D. Kalka, Anil K. Jain 0001, James A. Duncan, Kristen Allen, Jordan Cheney, Patrick Grother IARPA Janus Benchmark-B Face Dataset. Search on Bibsonomy CVPR Workshops The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jocelyn C. Adams, Kristen C. Allen, Tim Miller, Nathan D. Kalka, Anil K. Jain 0001 Grouper: Optimizing Crowdsourced Face Annotations. Search on Bibsonomy CVPR Workshops The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Austin Blanton, Kristen C. Allen, Tim Miller, Nathan D. Kalka, Anil K. Jain 0001 A Comparison of Human and Automated Face Verification Accuracy on Unconstrained Image Sets. Search on Bibsonomy CVPR Workshops The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dezhao Song, Frank Schilder, Charese Smiley, Chris Brew, Tom Zielund, Hiroko Bretz, Robert Martin, Chris Dale, John Duprey, Tim Miller, Johanna Harrison TR Discover: A Natural Language Interface for Querying and Analyzing Interlinked Datasets. Search on Bibsonomy International Semantic Web Conference (2) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dezhao Song, Frank Schilder, Charese Smiley, Chris Brew, Tom Zielund, Hiroko Bretz, Robert Martin, Chris Dale, Steven Pomerville, John Duprey, Tim Miller, Johanna Harrison TR Discover: A Natural Language Question Answering System for Interlinked Datasets. Search on Bibsonomy International Semantic Web Conference (Posters & Demos) The full citation details ... 2015 DBLP  BibTeX  RDF
1Ping Ping Tan, Karin Verspoor, Tim Miller Structural Alignment as the Basis to Improve Significant Change Detection in Versioned Sentences. Search on Bibsonomy ALTA The full citation details ... 2015 DBLP  BibTeX  RDF
1Sirui Li, Weixing Sun, Tim Miller Communication in Human-Agent Teams for Tasks with Joint Action. Search on Bibsonomy COIN@AAMAS/IJCAI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Shifa-e-Zehra Haidry, Tim Miller Using Dependency Structures for Prioritization of Functional Test Suites. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Tim Miller Elder Scrolls. Search on Bibsonomy SIGGRAPH Computer Animation Festival The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Balaji Polepalli Ramesh, Rashmi Prasad, Tim Miller, Brian Harrington 0001, Hong Yu Automatic discourse connective detection in biomedical text. Search on Bibsonomy JAMIA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Tim Miller, Paul A. Strooper A case study in model-based testing of specifications and implementations. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Tim Miller Improved Syntactic Models for Parsing Speech with Repairs. Search on Bibsonomy HLT-NAACL The full citation details ... 2009 DBLP  BibTeX  RDF
1Tim Miller Word Buffering Models for Improved Speech Repair Parsing. Search on Bibsonomy EMNLP The full citation details ... 2009 DBLP  BibTeX  RDF
1Tim Miller A gentlemen's duel. Search on Bibsonomy SIGGRAPH Computer Animation Festival The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Venkata Krishnan, Tim Miller, Herman Paraison Dolphin express: A transparent approach to enhancing PCI Express. Search on Bibsonomy CLUSTER The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Tim Miller, Leo Freitas, Petra Malik, Mark Utting CZT Support for Z Extensions. Search on Bibsonomy IFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Standard Z, typechecking, animation, framework, design patterns, parsing, Object-Z, AST, TCOZ
1Tim Miller, Paul A. Strooper A Case Study in Specification and Implementation Testing. Search on Bibsonomy APSEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jennifer J. Burg, Tim Miller Fractal Computation in Step with Real-Time Dance. Search on Bibsonomy ISCA PDCS The full citation details ... 2004 DBLP  BibTeX  RDF
1Roger Duke, Tim Miller, Paul A. Strooper Integrating Formal Specification and Software Verification and Validation. Search on Bibsonomy TFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Tim Miller, Paul A. Strooper A framework and tool support for the systematic testing of model-based specifications. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF specification animation, testgraphs, testing, Formal verification
1Tim Miller, Paul A. Strooper Supporting the Software Testing Process through Specification Animation. Search on Bibsonomy SEFM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Tim Miller, Paul A. Strooper Model-Based Specification Animation Using Testgraphs. Search on Bibsonomy ICFEM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Tim Miller, Paul A. Strooper Animation Can Show Only the Presence of Errors, Never Their Absence. Search on Bibsonomy Australian Software Engineering Conference The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Tim Miller, Paul A. Strooper Combining the Animation and Testing of Abstract Data Types. Search on Bibsonomy APAQS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #31 of 31 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license