3907 search results - page 640 / 782 » Time, Knowledge, and Choice |
125
click to vote
ASPDAC
2008
ACM
15 years 2 months ago
2008
ACM
The quality of the input system model has a direct bearing on the effectiveness of the system exploration and synthesis tools. Given a well-structured system model, tools today are...
108
click to vote
ASSETS
2008
ACM
15 years 2 months ago
2008
ACM
Existing knowledge on how people use speech-based technologies in realistic settings is limited. We are conducting a longitudinal field study, spanning six months, to investigate ...
126
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
The beliefs of an agent reflecting her subjective view of the world constitute one of the main components of a BDI agent. In order to incorporate new information coming from other...
106
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
Two currently active strands of research on logics for multi-agent systems are dynamic epistemic logic, focusing on the epistemic consequences of actions, and logics of coalitiona...
117
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
Future applications of unmanned aerial vehicles (UAVs) especially in military missions require the operation of UAVs with a high level of autonomy. Autonomous UAVs could be develo...