1415 search results - page 147 / 283 » Verified systems by composition from verified components |
158
click to vote
ICRA
2007
IEEE
16 years 21 days ago
2007
IEEE
— In this paper we present an observability analysis for a mobile robot performing SLAM with a single monocular camera. The aim is to get a better understanding of the well known...
178
click to vote
DSN
2006
IEEE
16 years 13 days ago
2006
IEEE
—Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management systems. To achieve the h...
198
click to vote
CRV
2005
IEEE
16 years 17 hour ago
2005
IEEE
— Efficient exploration of unknown environments is a fundamental problem in mobile robotics. In this paper we present an approach to distributed multi-robot mapping and explorat...
146
click to vote
ICADL
2005
Springer
15 years 12 months ago
2005
Springer
As tools and systems for producing and disseminating image data have improved significantly in recent years, the volume of digital images has grown rapidly. An efficient mechanism ...
232
click to vote
ITRUST
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Past evidence has shown that generic approaches to recommender systems based upon collaborative filtering tend to poorly scale. Moreover, their fitness for scenarios su...