232 search results - page 21 / 47 » Abstract Reasoning for Planning and Coordination |
ABIALS
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. Prediction and Planning are essential elements of successful human driving, making them equally important for autonomously driving systems. Many approaches achieve planni...
AAECC
2007
Springer
14 years 29 days ago
2007
Springer
Abstract. Edwards curves have attracted great interest for several reasons. When curve parameters are chosen properly, the addition formulas use only 10M + 1S. The formulas are str...
SAC
2008
ACM
13 years 5 months ago
2008
ACM
One reasonable categorization of coordination models is into data sharing or message passing, based on whether the information necessary to coordination is persistently stored and...
JAR
1998
13 years 6 months ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
DAGSTUHL
2006
13 years 8 months ago
2006
Cognitive Vision has to represent, reason and learn about objects in its environment it has to manipulate and react to. There are deformable objects like humans which cannot be des...