3348 search results - page 210 / 670 » Around and Around |
165
click to vote
CP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this paper we consider the problem of computing the density of states of a Boolean formula in CNF, a generalization of both MAX-SAT and model counting. Given a Boolean...
205
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
—This paper introduces a simple algorithm for non-prehensile object transportation by a pushing robot on a flat surface. We assume that the global position and orientation of the...
146
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— This paper addresses a novel visibility-based pursuit-evasion problem in which a team of searchers with limited range sensors must coordinate to clear any evaders from an unkno...
204
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— It is frequently accepted in the manipulation literature that tactile sensing is needed to improve the precision of robot manipulation. However, there is no consensus on how th...
145
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— This paper presents a solution to decentralized Voronoi coverage in non-convex polygonal environments. We show that complications arise when existing approaches to Voronoi cove...