967 search results - page 63 / 194 » Cycle spaces in topological spaces |
IJCAI
1997
13 years 11 months ago
1997
cal maps provide a useful abstraction for robotic navigation and planning. Although stochastic mapscan theoreticallybe learned using the Baum-Welch algorithm,without strong prior ...
APAL
2007
13 years 10 months ago
2007
I modify the standard coverage construction of the reals to obtain the irrationals. However, this causes a jump in ordinal complexity from ω + 1 to Ω. The coverage technique ha...
FOSSACS
2005
Springer
14 years 3 months ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
ICRA
2000
IEEE
14 years 2 months ago
2000
IEEE
Exact cellular decompositions are structures that globally encode the topology of a robot's free space, while locally describing the free space's geometry. These structu...
IJCAI
1989
13 years 11 months ago
1989
We review a neuroplanner architecture for use in constructing subcognitive controllers and new application that uses it. These controllers have wo important properties: (1) the ab...