1380 search results - page 168 / 276 » Reasoning about Input-Output Modeling of Dynamical Systems |
ASE
2008
13 years 10 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
AAAI
2008
14 years 13 days ago
2008
Research has shown promise in the design of large scale common sense probabilistic models to infer human state from environmental sensor data. These models have made use of mined ...
CSE
2009
IEEE
14 years 4 months ago
2009
IEEE
—This paper presents a model of collaborative decision-making for groups that involve people and computer agents. The model distinguishes between actions relating to participants...
NLDB
2004
Springer
14 years 3 months ago
2004
Springer
Human interaction occurs always in a specific context and in a particular environment, and a common knowledge base about them is essential for understanding each other. By immersi...
AOSE
2001
Springer
14 years 2 months ago
2001
Springer
Agent orientation is currently pursued primarily as a software paradigm. Software with characteristics such as autonomy, sociality, reactivity and proactivity, and communicative an...