Sciweavers

125 search results - page 10 / 25
» Intention, interpretation and the computational structure of...
Sort
View
CONCUR
1999
Springer
13 years 11 months ago
On the Semantics of Place/Transition Nets
We present several interpretations of the behavior of P/T nets in terms of traces, event structures, and partial orders. Starting from results of Hoogers, Kleijn and Thiagarajan, w...
Rémi Morin, Brigitte Rozoy
EUROCAST
2001
Springer
118views Hardware» more  EUROCAST 2001»
14 years 23 hour ago
A Language Prototyping Tool Based on Semantic Building Blocks
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...
José Emilio Labra Gayo, Juan Manuel Cueva L...
POPL
2007
ACM
14 years 7 months ago
Lazy multivariate higher-order forward-mode AD
A method is presented for computing all higher-order partial derivatives of a multivariate function Rn R. This method works by evaluating the function under a nonstandard interpre...
Barak A. Pearlmutter, Jeffrey Mark Siskind
PROMAS
2005
Springer
14 years 1 months ago
Programming Deliberative Agents for Mobile Services: The 3APL-M Platform
3APL-M is a platform for building deliberative multi-agent systems whose components execute on handheld and embedded computational devices. The solution takes advantage of the 3APL...
Fernando Koch, John-Jules Ch. Meyer, Frank Dignum,...
AI
2005
Springer
13 years 7 months ago
Semiotic schemas: A framework for grounding language in action and perception
A theoretical framework for grounding language is introduced that provides a computational path from sensing and motor action to words and speech acts. The approach combines conce...
Deb Roy