4224 search results - page 720 / 845 » Reasoning about Choice |
131
click to vote
ICMI
2010
Springer
14 years 10 months ago
2010
Springer
Identifying verbally and non-verbally referred-to objects is an important aspect of human-robot interaction. Most importantly, it is essential to achieve a joint focus of attentio...
107
Voted
ICRA
2010
IEEE
14 years 10 months ago
2010
IEEE
A helicopter agent has to plan trajectories to track multiple ground targets from the air. The agent has partial information of each target's pose, and must reason about its u...
133
click to vote
IFIPTCS
2010
14 years 10 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
88
Voted
PAAMS
2010
Springer
14 years 10 months ago
2010
Springer
In this study, a new organization based system for forest fires prediction is presented. It is an Organization Based System for Forest Fires Forecasting (OBSFFF). The core of the s...
105
click to vote
PPDP
2010
Springer
14 years 10 months ago
2010
Springer
Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI. It has been successful in areas as diverse as workflows...