Search results for "Tim Miller"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Tim Miller, Paul A. Strooper	A case study in model-based testing of specifications and implementations.	Softw. Test., Verif. Reliab.	2012	DBLP DOI BibTeX RDF
1	Tim Miller, Peter McBurney	Propositional Dynamic Logic for Reasoning about First-Class Agent Interaction Protocols.	Computational Intelligence	2011	DBLP DOI BibTeX RDF
1	Dingcheng Li, Tim Miller, William Schuler	A Pronoun Anaphora Resolution System based on Factorial Hidden Markov Models.	ACL	2011	DBLP BibTeX RDF
1	Jacob Dumesny, Tim Miller, Michael Kirley, Liz Sonenberg	TATM: A Trust Mechanism for Social Traders in Double Auctions.	Australasian Conference on Artificial Intelligence	2011	DBLP DOI BibTeX RDF
1	Sonja Pedell, Tim Miller, Leon Sterling, Frank Vetere, Steve Howard	Substantiating Agent-Based Quality Goals for Understanding Socio-Technical Systems.	AAMAS Workshops	2011	DBLP DOI BibTeX RDF
1	Sonja Pedell, Tim Miller, Leon Sterling, Frank Vetere, Steve Howard, Jeni Paay	Substantiating quality goals with field data for socially-oriented requirements engineering.	AAMAS	2011	DBLP BibTeX RDF
1	William Schuler, Samir AbdelRahman, Tim Miller, Lane Schwartz	Broad-Coverage Parsing Using Human-Like Memory Constraints.	Computational Linguistics	2010	DBLP DOI BibTeX RDF
1	Tim Miller, Lin Padgham, John Thangarajah	Test Coverage Criteria for Agent Interaction Testing.	AOSE	2010	DBLP DOI BibTeX RDF
1	Tim Miller, Sonja Pedell, Leon Sterling, Bin Lu	Engaging Stakeholders with Agent-Oriented Requirements Modelling.	AOSE	2010	DBLP DOI BibTeX RDF
1	Tim Miller, Peter McBurney	Characterising and matching iterative and recursive agent interaction protocols.	AAMAS	2010	DBLP DOI BibTeX RDF
1	Sonja Pedell, Frank Vetere, Steve Howard, Tim Miller, Leon Sterling	Shared artefacts as participatory Babel fish.	PDC	2010	DBLP DOI BibTeX RDF
1	Tim Miller	Improved Syntactic Models for Parsing Speech with Repairs.	HLT-NAACL	2009	DBLP BibTeX RDF
1	Tim Miller, Luan Nguyen, William Schuler	Parsing Speech Repair without Specialized Grammar Symbols.	ACL/AFNLP (Short Papers)	2009	DBLP BibTeX RDF
1	Tim Miller	Word Buffering Models for Improved Speech Repair Parsing.	EMNLP	2009	DBLP BibTeX RDF
1	Sonja Pedell, Tim Miller, Frank Vetere, Leon Sterling, Steve Howard, Jeni Paay	Having fun at home: interleaving fieldwork and goal models.	OZCHI	2009	DBLP DOI BibTeX RDF	domestic domain, quality goals, probes, fieldwork, agent-oriented modelling
1	Tim Miller, William Schuler	A Unified Syntactic Model for Parsing Fluent and Disfluent Speech.	ACL (Short Papers)	2008	DBLP BibTeX RDF
1	Tim Miller, William Schuler	A Syntactic Time-Series Model for Parsing Fluent and Disfluent Speech.	COLING	2008	DBLP BibTeX RDF
1	William Schuler, Samir AbdelRahman, Tim Miller, Lane Schwartz	Toward a Psycholinguistically-Motivated Model of Language Processing.	COLING	2008	DBLP BibTeX RDF
1	Tim Miller, Peter McBurney	Annotation and Matching of First-Class Agent Interaction Protocols.	ArgMAS	2008	DBLP DOI BibTeX RDF	first-class protocols, multi-agent systems, annotation, matching, agent interaction
1	Tim Miller, Peter McBurney	Annotation and matching of first-class agent interaction protocols.	AAMAS	2008	DBLP DOI BibTeX RDF
1	Tim Miller, Peter McBurney	On illegal composition of first-class agent interaction protocols.	ACSC	2008	DBLP DOI BibTeX RDF	multi-agent systems, interaction protocols
1	Tim Miller, Peter McBurney	A formal semantics for Gaia liveness rules and expressions.	IJAOSE	2007	DBLP DOI BibTeX RDF
1	Tim Miller, Peter McBurney, Jarred McGinnis, Kostas Stathis	First-Class Protocols for Agent-Based Coordination of Scientific Instruments.	WETICE	2007	DBLP DOI BibTeX RDF	web services, multi-agent systems, coordination, interaction protocols
1	Tim Miller, Jarred McGinnis	Amongst First-Class Protocols.	ESAW	2007	DBLP DOI BibTeX RDF
1	Venkata Krishnan, Tim Miller, Herman Paraison	Dolphin express: A transparent approach to enhancing PCI Express.	CLUSTER	2007	DBLP DOI BibTeX RDF
1	Tim Miller, Andrew Exley, William Schuler	Elements of a spoken language programming interface for robots.	HRI	2007	DBLP DOI BibTeX RDF	natural language processing, human-robot interaction, language modeling, spoken language interfaces
1	Robert J. Kauffman, Tim Miller, Bin Wang	Reflections on: When Internet companies morph.	First Monday	2006	DBLP BibTeX RDF
1	Steve Munroe, Tim Miller, Roxana Belecheanu, Michal Pechoucek, Peter McBurney, Michael Luck	Crossing the agent technology chasm: Lessons, experiences and challenges in commercial applications of agents.	Knowledge Eng. Review	2006	DBLP DOI BibTeX RDF
1	Tim Miller, Peter McBurney	Using Constraints and Process Algebra for Specification of First-Class Agent Interaction Protocols.	ESAW	2006	DBLP DOI BibTeX RDF
1	Roxana Belecheanu, Steve Munroe, Michael Luck, Terry R. Payne, Tim Miller, Peter McBurney, Michal Pechoucek	Commercial applications of agents: lessons, experiences and challenges.	AAMAS	2006	DBLP DOI BibTeX RDF
1	William Schuler, Tim Miller, Stephen Wu, Andrew Exley	Dynamic evidence models in a DBN phone recognizer.	INTERSPEECH	2006	DBLP BibTeX RDF
1	Tim Miller, Leo Freitas, Petra Malik, Mark Utting	CZT Support for Z Extensions.	IFM	2005	DBLP DOI BibTeX RDF	Standard Z, typechecking, animation, framework, design patterns, parsing, Object-Z, AST, TCOZ
1	Tim Miller, Peter McBurney	Multi-agent System Specification Using TCOZ.	MATES	2005	DBLP DOI BibTeX RDF
1	Shana Watters, Brian McInnes, David McKoskey, Tim Miller, Daniel Boley, Maria L. Gini, William Schuler, A. Polukeyeva, Jeanette K. Gundel, Sergey V. Pakhomov, Guergana Savova	Using Volunteers to Annotate Biomedical Corpora for Anaphora Resolution.	AAAI Spring Symposium: Knowledge Collection from Volunteer Contributors	2005	DBLP BibTeX RDF
1	Shana Watters, Tim Miller, Praveen Balachandran, William Schuler, Richard M. Voyles	Exploiting a sensed environment to improve human-agent communication.	AAMAS	2005	DBLP DOI BibTeX RDF	robotics, language modeling, sensor fusion, multi-modal interfaces, spoken language interfaces
1	William Schuler, Tim Miller	Integrating denotational meaning into a DBN language model.	INTERSPEECH	2005	DBLP BibTeX RDF
1	Tim Miller, Paul A. Strooper	A Case Study in Specification and Implementation Testing.	APSEC	2004	DBLP DOI BibTeX RDF
1	Roger Duke, Tim Miller, Paul A. Strooper	Integrating Formal Specification and Software Verification and Validation.	TFM	2004	DBLP DOI BibTeX RDF
1	Jennifer J. Burg, Tim Miller	Fractal Computation in Step with Real-Time Dance.	ISCA PDCS	2004	DBLP BibTeX RDF
1	Tim Miller, Paul A. Strooper	A framework and tool support for the systematic testing of model-based specifications.	ACM Trans. Softw. Eng. Methodol.	2003	DBLP DOI BibTeX RDF	specification animation, testgraphs, testing, Formal verification
1	Tim Miller, Paul A. Strooper	Supporting the Software Testing Process through Specification Animation.	SEFM	2003	DBLP DOI BibTeX RDF
1	Robert J. Kauffman, Tim Miller, Bin Wang	When Internet Companies Morph: Understanding Organizational Strategy Changes in the 'New' New Economy.	First Monday	2002	DBLP BibTeX RDF
1	Tim Miller, Paul A. Strooper	Model-Based Specification Animation Using Testgraphs.	ICFEM	2002	DBLP DOI BibTeX RDF
1	Robert J. Kauffman, Bin Wang, Tim Miller	Strategic 'Morphing' and the Survivability of E-commerce Firms.	HICSS	2002	DBLP DOI BibTeX RDF	Dot, Business models, digital economy
1	Tim Miller, Paul A. Strooper	Animation Can Show Only the Presence of Errors, Never Their Absence.	Australian Software Engineering Conference	2001	DBLP DOI BibTeX RDF
1	Tim Miller, Paul A. Strooper	Combining the Animation and Testing of Abstract Data Types.	APAQS	2001	DBLP DOI BibTeX RDF

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