1068 search results - page 52 / 214 » For completeness, sublogarithmic space is no space |
FOSSACS
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we present a theorem for defining fixed-points in categories of sheaves. This result gives a unifying and general account of most techniques used in computer science ...
109
click to vote
ICRA
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract-- This paper describes a navigation system that allowed a robot to complete 26.2 miles of autonomous navigation in a real office environment. We present the methods requir...
130
click to vote
ICIP
2007
IEEE
16 years 3 months ago
2007
IEEE
A key goal of far-field activity analysis is to learn the usual pattern of activity in a scene and to detect statistically anomalous behavior. We propose a method for unsupervised...
107
click to vote
ICRA
2008
IEEE
15 years 8 months ago
2008
IEEE
— Modeling robot motion planning with uncertainty in a Bayesian framework leads to a computationally intractable stochastic control problem. We seek hypotheses that can justify a...
93
Voted
DEXAW
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper presents an integrated study on possible topological relationship between multidimensional simple objects in 0,1,2 and 3 D space. The formal categorisation of spatial r...