5243 search results - page 150 / 1049 » Reasoning About Strategies |
180
click to vote
SETN
2010
Springer
15 years 4 months ago
2010
Springer
Ambient Intelligence is an emerging discipline that requires the integration of expertise from a multitude of scientific fields. The role of Artificial Intelligence is crucial n...
149
click to vote
ICRA
2007
IEEE
16 years 24 days ago
2007
IEEE
— In this paper, multiple on-board sensors are used to assess the terrain safety in real-time during spacecraft descent. A linguistic, fuzzy rule-based reasoning engine is used t...
144
click to vote
IROS
2007
IEEE
16 years 24 days ago
2007
IEEE
— Robots’ interaction with humans raises new issues for geometrical reasoning where the humans must be taken explicitly into account. We claim that a human-aware motion system ...
174
click to vote
SARA
2007
Springer
16 years 18 days ago
2007
Springer
Relational databases have had great industrial success in computer science, their power evidenced by theoretical analysis and widespread adoption. Often, automated theorem provers...
157
click to vote
AI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper extends a mereotopological theory of spatiotemporal reasoning to vague ”egg-yolk” regions. In this extension, the egg and its yolk are allowed to move and ...