5387 search results - page 1011 / 1078 » Generating generic functions |
ICRA
2008
IEEE
14 years 3 months ago
2008
IEEE
— Planetary exploration systems, operating under severe environmental and operating conditions, have thus far successfully employed carefully calibrated stereo cameras and manipu...
IROS
2008
IEEE
14 years 3 months ago
2008
IEEE
— A hormone-inspired task scheduling method is described which assigns tasks to a group of robots, taking into account the robots’ performances. This method draws on previous w...
IROS
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— We describe a framework for detecting and tracking continuous ”trails” in images and image sequences for autonomous robot navigation. Continuous trails are extended...
LICS
2008
IEEE
14 years 3 months ago
2008
IEEE
We show that the asymptotic complexity of uniformly generated (expressible in First-Order (FO) logic) propositional tautologies for the Nullstellensatz proof system (NS) as well a...
MOBIQUITOUS
2008
IEEE
14 years 3 months ago
2008
IEEE
The big challenge related to the contemporary research on ubiquitous and pervasive computing is that of seamless integration. For the next generation of ubiquitous and distributed...