Sciweavers

3844 search results - page 1 / 769
» Modular interpreted systems
Sort
View
ATAL
2007
Springer
13 years 11 months ago
Modular interpreted systems
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
Wojciech Jamroga, Thomas Ågotnes
ROBOCUP
2005
Springer
96views Robotics» more  ROBOCUP 2005»
13 years 10 months ago
Self Task Decomposition for Modular Learning System Through Interpretation of Instruction by Coach
One of the most formidable issues of RL application to real robot tasks is how to find a suitable state space, and this has been much more serious since recent robots tends to hav...
Yasutake Takahashi, Tomoki Nishi, Minoru Asada
POPL
1995
ACM
13 years 9 months ago
Monad Transformers and Modular Interpreters
We show how a set of building blocks can be used to construct programming language interpreters, and present implementations of such building blocks capable of supporting many com...
Sheng Liang, Paul Hudak, Mark P. Jones
ACSD
2010
IEEE
251views Hardware» more  ACSD 2010»
13 years 3 months ago
Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...
Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, L...
ALIFE
2005
13 years 5 months ago
Modular Interdependency in Complex Dynamical Systems
Hierarchical modularity is a familiar characteristic of a large class of natural dynamical systems. A normal interpretation of modularity is that interactions between subsystems a...
Richard A. Watson, Jordan B. Pollack