2715 search results - page 175 / 543 » An Implementation of Narrowing Strategies |
166
click to vote
EEMMAS
2007
Springer
16 years 11 days ago
2007
Springer
Behind the curtains at check-in desks in airports hide some of the most complex material handling systems, which manage to get your bag transported to the correct departure gate of...
148
click to vote
IROS
2006
IEEE
16 years 6 days ago
2006
IEEE
Abstract— This paper explores autonomous locomotion, reaching, grasping and manipulation for the domain of Navigation Among Movable Obstacles (NAMO). The robot perceives and cons...
163
click to vote
ISORC
2006
IEEE
16 years 6 days ago
2006
IEEE
Integrated architectures promise substantial technical and economic benefits in the development of distributed embedded real-time systems. In the context of diagnosis new diagnos...
167
click to vote
ITCC
2005
IEEE
15 years 11 months ago
2005
IEEE
Developing large multi-agent systems is a complex task involving the processes of the requirement, architecture, design and implementation of these systems. In particular, the arc...
160
Voted
TPHOL
2005
IEEE
15 years 11 months ago
2005
IEEE
Wouldn’t it be nice to be able to conveniently use ordinary real number expressions within proof assistants? In this paper we outline how this can be done within a theorem provin...