1738 search results - page 147 / 348 » Local Consistency and SAT-Solvers |
137
click to vote
ICRA
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper investigates controllability of underactuated rolling systems consisting of a smooth object rolling on a moving smooth surface. Our system consists of a spherical ball ...
190
click to vote
IPPS
1997
IEEE
15 years 10 months ago
1997
IEEE
Sorting is an important component of many applications, and parallel sorting algorithms have been studied extensively in the last three decades. One of the earliest parallel sorti...
145
click to vote
3DPVT
2004
IEEE
15 years 9 months ago
2004
IEEE
We present a novel range sensing method that is capable of constructing accurate 3D models of specular objects. Our method utilizes a new range imaging concept called multi-peak r...
150
click to vote
ESORICS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We revisit the classical notion of noninterference for statebased systems, as presented by Rushby in 1992. We strengthen his results in several ways, in particular clarif...
148
click to vote
ECAI
2006
Springer
15 years 9 months ago
2006
Springer
A new search algorithm for solving distributed constraint optimization problems (DisCOPs) is presented. Agents assign variables sequentially and propagate their assignments asynchr...