2203 search results - page 222 / 441 » Temporal Abstract Interpretation |
121
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
An organizational modeling language can be used to specify an agent organization in terms of its roles, organizational structure, norms, etc. Such an organizational specification ...
179
click to vote
ICCV
2011
IEEE
14 years 4 months ago
2011
IEEE
In this paper, we present an event parsing algorithm based on Stochastic Context Sensitive Grammar (SCSG) for understanding events, inferring the goal of agents, and predicting th...
123
click to vote
CSL
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We define an abstract pebble game that provides game interpretations for essentially all known consistency algorithms for constraint satisfaction problems including arc-...
135
click to vote
IWPC
2003
IEEE
15 years 9 months ago
2003
IEEE
In the last decades several tools and environments defined and introduced languages for querying, navigating sforming abstract syntax trees. These environments were meant to supp...
143
click to vote
EUROCAST
2001
Springer
15 years 8 months ago
2001
Springer
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...