Sciweavers

1419 search results - page 105 / 284
» A Characterization of Constructive Dimension
Sort
View
IJRR
2000
113views more  IJRR 2000»
15 years 4 months ago
Sensor-Based Exploration: The Hierarchical Generalized Voronoi Graph
The hierarchical generalized Voronoi graph (HGVG) is a new roadmap developed for sensor-based exploration in unknown environments. This paper defines the HGVG structure: a robot c...
Howie Choset, Joel W. Burdick
POPL
2006
ACM
16 years 4 months ago
Adventures in time and space
Abstract. This paper investigates what is essentially a call-by-value version of PCF under a complexity-theoretically motivated type system. The programming formalism, ATR, has its...
Norman Danner, James S. Royer
RANDOM
1997
Springer
15 years 8 months ago
Resource-Bounded Randomness and Compressibility with Respect to Nonuniform Measures
Most research on resource-bounded measure and randomness has focused on the uniform probability density, or Lebesgue measure, on {0, 1}∞ ; the study of resource-bounded measure ...
Steven M. Kautz
VISUAL
2000
Springer
15 years 8 months ago
Statistical Motion-Based Retrieval with Partial Query
We present an original approach for motion-based retrieval involving partial query. More precisely, we propose an uni ed statistical framework both to extract entities of interest ...
Ronan Fablet, Patrick Bouthemy
AI
2000
Springer
15 years 4 months ago
Alternative foundations for Reiter's default logic
We introduce an alternative conceptual basis for default reasoning in Reiter's default logic. In fact, most formal or computational treatments of default logic suffer from th...
Thomas Linke, Torsten Schaub