Sciweavers

3116 search results - page 408 / 624
» Positively dependent types
Sort
View
EUROS
2006
224views Robotics» more  EUROS 2006»
15 years 10 months ago
Metric Localization with Scale-Invariant Visual Features Using a Single Perspective Camera
Abstract. The Scale Invariant Feature Transform (SIFT) has become a popular feature extractor for vision-based applications. It has been successfully applied to metric localization...
Maren Bennewitz, Cyrill Stachniss, Wolfram Burgard...
FSTTCS
2006
Springer
15 years 10 months ago
Multi-stack Boundary Labeling Problems
The boundary labeling problem was recently introduced in [5] as a response to the problem of labeling dense point sets with large labels. In boundary labeling, we are given a recta...
Michael A. Bekos, Michael Kaufmann, Katerina Potik...
ISER
2000
Springer
112views Robotics» more  ISER 2000»
15 years 10 months ago
Simulation and Experimental Evaluation of Complete Sensor-Based Coverage in Rectilinear Environments
: Although sensor-based coverage is a skill which is applicable to a variety of robot tasks, its implementation has so far been limited, mostly by the physical limitations of tradi...
Zack J. Butler, Alfred A. Rizzi, Ralph L. Hollis
SOFSEM
2000
Springer
15 years 10 months ago
Towards High Speed Grammar Induction on Large Text Corpora
Abstract. In this paper we describe an e cient and scalable implementation for grammar induction based on the EMILE approach ( 2], 3], 4], 5], 6]). The current EMILE 4.1 implementa...
Pieter W. Adriaans, Marten Trautwein, Marco Vervoo...
SDB
1995
91views Database» more  SDB 1995»
15 years 10 months ago
Semantics in Spatial Databases
In this paper we discuss two data models for spatial database systems: the linear data model and the topological data model. Both can be used to model a wide range of applications....
Bart Kuijpers, Jan Paredaens, Luc Vandeurzen