Search results for "all"

Hits ?▲	Authors	Title	Venue	Year	Link
27	Ian Horswill, Karl Cheng-Heng Fua, Andrew Ortony	Conflict and Hesitancy in Virtual Actors.	AAAI Spring Symposium: It's All in the Timing	2010	DBLP BibTeX RDF
27	Hartmut Messerschmidt	Separating Moving Objects from Landmarks.	AAAI Spring Symposium: It's All in the Timing	2010	DBLP BibTeX RDF
27	Javier Snaider, Ryan James McCall, Stan Franklin	The Immediate Present Train Model Time Production and Representation for Cognitive Agents.	AAAI Spring Symposium: It's All in the Timing	2010	DBLP BibTeX RDF
27	Pinar Wennerberg, Klaus Schulz	An Ontology of Socio-Cultural Time Expressions.	AAAI Spring Symposium: It's All in the Timing	2010	DBLP BibTeX RDF
27	Bastian Hartmann, Ingo Schwab, Norbert Link	Prototype Optimization for Temporarily and Spatially Distorted Time Series.	AAAI Spring Symposium: It's All in the Timing	2010	DBLP BibTeX RDF
27	Guy Hoffman	Anticipation in Human-Robot Interaction.	AAAI Spring Symposium: It's All in the Timing	2010	DBLP BibTeX RDF
27	Julie A. Shah, Brian C. Williams, Cynthia Breazeal	Dynamic Execution of Temporal Plans for Temporally Fluid Human-Robot Teaming.	AAAI Spring Symposium: It's All in the Timing	2010	DBLP BibTeX RDF
27	Sonia Chernova, Cynthia Breazeal	Learning Temporal Plans from Observation of Human Collaborative Behavior.	AAAI Spring Symposium: It's All in the Timing	2010	DBLP BibTeX RDF
27	Hatice Kose-Bagci, Frank Broz, Qiming Shen, Kerstin Dautenhahn, Chrystopher L. Nehaniv	As Time Goes By: Representing and Reasoning About Timing in Human-Robot Interaction Studies.	AAAI Spring Symposium: It's All in the Timing	2010	DBLP BibTeX RDF
27	Eric Meisner, Selma Sabanovic	Grounding Communication Without Prior Structure.	AAAI Spring Symposium: It's All in the Timing	2010	DBLP BibTeX RDF
27	Jonathan K. Alt, Stephen Lieberman, Ahmed Al Rowaei	Exploring the Implications of Time in Discrete Event Social Simulations.	AAAI Spring Symposium: It's All in the Timing	2010	DBLP BibTeX RDF
27	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott (eds.)	All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic	All About Maude	2007	DBLP BibTeX RDF
27	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Adrián Riesco, Alberto Verdejo	Mobile Maude.	All About Maude	2007	DBLP DOI BibTeX RDF
27	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott	A Hierarchy of Data Types: From Trees to Sets.	All About Maude	2007	DBLP DOI BibTeX RDF
27	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott	Complete List of Maude Commands.	All About Maude	2007	DBLP DOI BibTeX RDF
27	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott	A Sampler of Application Areas.	All About Maude	2007	DBLP DOI BibTeX RDF
27	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott	LTL Model Checking.	All About Maude	2007	DBLP DOI BibTeX RDF
27	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott	Model Checking Invariants Through Search.	All About Maude	2007	DBLP DOI BibTeX RDF
27	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott	Metaprogramming Applications.	All About Maude	2007	DBLP DOI BibTeX RDF
27	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott	Debugging and Troubleshooting.	All About Maude	2007	DBLP DOI BibTeX RDF

Displaying result #101 - #120 of 82482 (20 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][>>]