7168 search results - page 569 / 1434 » A Factorization Approach to Grouping |
152
click to vote
ICRA
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— This paper revisits the multi-robot boundary coverage problem in which a group of k robots must inspect every point on the boundary of a 2-dimensional environment. We f...
164
click to vote
IROS
2006
IEEE
16 years 1 months ago
2006
IEEE
— This paper presents a calibration method for eye-in-hand systems in order to estimate the hand-eye and the robot-world transformations. The estimation takes place in terms of a...
222
click to vote
HICSS
2005
IEEE
16 years 20 days ago
2005
IEEE
Abstract— In this paper we propose a novel location management scheme tailored for multicasting in Mobile Ad-hoc Networks (MANETs). We furthermore propose AMDLM, a locationbased ...
169
Voted
LPAR
2005
Springer
16 years 17 days ago
2005
Springer
An overview is given of a number of recent developments in SAT and SAT Modulo Theories (SMT). In particular, based on our k of Abstract DPLL and Abstract DPLL modulo Theories, we e...
199
click to vote
SACRYPT
2005
Springer
16 years 16 days ago
2005
Springer
We present two left-to-right integer recodings which can be used to perform scalar multiplication with a fixed sequence of operations. These recodings make it possible to have a s...