4463 search results - page 796 / 893 » computing 2000 |
118
click to vote
AI
2000
Springer
15 years 15 days 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...
108
Voted
AI
2000
Springer
15 years 15 days ago
2000
Springer
We introduce an alternative conceptual basis for default reasoning in Reiter's default logic. In fact, most formal or computational treatments of default logic suffer from th...
104
click to vote
AI
2000
Springer
15 years 15 days ago
2000
Springer
We investigate the improvement of theorem proving by reusing previously computed proofs. We have developed and implemented the PLAGIATOR system which proves theorems by mathematic...
91
Voted
ALGORITHMICA
2000
15 years 15 days ago
2000
Abstract. We consider the problem of planning sensor control strategies that enable a sensor to be automatically configured for robot tasks. In this paper we present robust and eff...
117
Voted
AROBOTS
2000
15 years 15 days ago
2000
In this article, we present the design of a team of heterogeneous, centimeter-scale robots that collaborate to map and explore unknown environments. The robots, called Millibots, a...