292 search results - page 56 / 59 » Model-checking agent refinement |
IDMS
2000
Springer
13 years 11 months ago
2000
Springer
The requirements for the QoS of distributed applications are traditionally expressed in terms of network oriented or systems oriented parameters. In general, the users of these ser...
AI
2000
Springer
13 years 7 months ago
2000
Springer
We propose a framework for the representation of visual knowledge in a robotic agent, with special attention to the understanding of dynamic scenes. According to our approach, und...
JAIR
2000
13 years 7 months ago
2000
Partially observable Markov decision processes (POMDPs) provide an elegant mathematical framework for modeling complex decision and planning problems in stochastic domains in whic...
COMMA
2010
13 years 2 months ago
2010
Recently Argumentation Mechanism Design (ArgMD) was introduced as a paradigm for studying argumentation using game-theoretic techniques. To date, this framework has been used to st...
IUI
2010
ACM
14 years 4 months ago
2010
ACM
We present two studies that evaluate the accuracy of human responses to an intelligent agent’s data classification questions. Prior work has shown that agents can elicit accurat...