Sciweavers

1747 search results - page 191 / 350
» Location, Localization, and Localizability
Sort
View
ICPR
2004
IEEE
16 years 5 months ago
Grey Scale Image Skeletonisation from Noise-Damped Vector Potential
This paper describes a method for curvature dependant Skeletonisation in grey-scale images. We commence from a magnetostatic analogy, where the tangential edge flow (the cross pro...
Edwin R. Hancock, Huaijun Qiu
PERCOM
2003
ACM
16 years 3 months ago
System Design of Smart Table
This paper describes the system design of Smart Table, a table that can track and identify multiple objects simultaneously when placed on top of its surface. The table has been de...
Philipp Steurer, Mani B. Srivastava
CAV
2004
Springer
77views Hardware» more  CAV 2004»
15 years 9 months ago
Understanding Counterexamples with explain
The counterexamples produced by model checkers are often lengthy and difficult to understand. In practical verification, showing the existence of a (potential) bug is not enough: ...
Alex Groce, Daniel Kroening, Flavio Lerda
EGOV
2004
Springer
15 years 9 months ago
e-Government Intermediation
The recently proposed intermediation schemes in e-government are meant to speed up and facilitate integration and access to services offered by local and regional public sector ser...
Aljosa Pasic, Anne-Marie Sassen, Alicia Garcia
ICRA
2003
IEEE
116views Robotics» more  ICRA 2003»
15 years 9 months ago
Linear time vehicle relocation in SLAM
Abstract— In this paper we propose an algorithm to determine the location of a vehicle in an environment represented by a stochastic map, given a set of environment measurements ...
José Neira, Juan D. Tardós, Jos&eacu...