Sciweavers

3429 search results - page 201 / 686
» Modelling the Operational Semantics of Domain-Specific Model...
Sort
View
164
Voted
APN
2001
Springer
15 years 8 months ago
Rewriting Logic as a Unifying Framework for Petri Nets
We propose rewriting logic as a unifying framework for a wide range of Petri nets models. We treat in detail place/transition nets and important extensions of the basic model by in...
Mark-Oliver Stehr, José Meseguer, Peter Csa...
ACL
2009
15 years 1 months ago
Learning Semantic Correspondences with Less Supervision
A central problem in grounded language acquisition is learning the correspondences between a rich world state and a stream of text which references that world state. To deal with ...
Percy Liang, Michael I. Jordan, Dan Klein
ENTCS
2010
125views more  ENTCS 2010»
15 years 1 months ago
Concrete Memory Models for Shape Analysis
This paper discusses four store-based concrete memory models. We characterize memory models by the class of pointers they support and whether they use numerical or symbolic offset...
Pascal Sotin, Bertrand Jeannet, Xavier Rival
IJCAI
2001
15 years 5 months ago
IBAL: A Probabilistic Rational Programming Language
In a rational programming language, a program specifies a situation faced by an agent; evaluating the program amounts to computing what a rational agent would believe or do in the...
Avi Pfeffer
ICMI
2003
Springer
164views Biometrics» more  ICMI 2003»
15 years 9 months ago
A visually grounded natural language interface for reference to spatial scenes
Many user interfaces, from graphic design programs to navigation aids in cars, share a virtual space with the user. Such applications are often ideal candidates for speech interfa...
Peter Gorniak, Deb Roy