Sciweavers

2652 search results - page 185 / 531
» Positioning using local maps
Sort
View
ICTAI
2006
IEEE
15 years 8 months ago
Computing Horn Strong Backdoor Sets Thanks to Local Search
In this paper a new approach for computing Strong Backdoor sets of boolean formula in conjunctive normal form (CNF) is proposed. It makes an original use of local search technique...
Lionel Paris, Richard Ostrowski, Pierre Siegel, La...
ICALP
2005
Springer
15 years 8 months ago
Improved Lower Bounds for Locally Decodable Codes and Private Information Retrieval
We prove new lower bounds for locally decodable codes and private information retrieval. We show that a 2-query LDC encoding nbit strings over an ℓ-bit alphabet, where the decode...
Stephanie Wehner, Ronald de Wolf
AAAI
2006
15 years 3 months ago
Bayesian Calibration for Monte Carlo Localization
Localization is a fundamental challenge for autonomous robotics. Although accurate and efficient techniques now exist for solving this problem, they require explicit probabilistic...
Armita Kaboli, Michael H. Bowling, Petr Musí...
103
Voted
CVIU
2007
107views more  CVIU 2007»
15 years 2 months ago
Robot-vision architecture for real-time 6-DOF object localization
This paper presents a new robot-vision system architecture for real-time moving object localization. The 6-DOF (3 translation and 3 rotation) motion of the objects is detected and...
Yasushi Sumi, Yutaka Ishiyama, Fumiaki Tomita
ENDM
2007
96views more  ENDM 2007»
15 years 2 months ago
Sub-Ramsey Numbers for Arithmetic Progressions and Schur Triples
For a given positive integer k, sr(m, k) denotes the minimal positive integer such that every coloring of [n], n ≥ sr(m, k), that uses each color at most k times, yields a rainb...
Jacob Fox, Veselin Jungic, Rados Radoicic