11436 search results - page 411 / 2288 » Modeling Real Reasoning |
138
click to vote
FSEN
2009
Springer
15 years 11 months ago
2009
Springer
We present an automata theoretic framework for modular schedulability analysis of real time asynchronous objects modeled in the language Creol. In previous work we analyzed the sch...
164
click to vote
WSC
1998
15 years 6 months ago
1998
Taylor II is a menu-driven simulation package mainly used in manufacturing, warehousing, and material handling. It is developed for the analysis and quantitative evaluation of com...
107
Voted
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Creating virtual models of real spaces and objects is cumbersome and time consuming. This paper focuses on the problem of geometric reconstruction from sparse data obtained from c...
138
Voted
IGPL
2006
15 years 4 months ago
2006
Since 1996, some models of recursive functions over the real numbers have been analyzed by several researchers. It could be expected that they exhibit a computational power much g...
156
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
One of the most challenging aspects of reasoning, planning, and acting in a multi-agent domain is reasoning about what the agents know about the knowledge of their fellows, and to...