5138 search results - page 695 / 1028 » Randomized Algorithms for 3-SAT |
144
click to vote
ICRA
2007
IEEE
16 years 29 days ago
2007
IEEE
Abstract— The Rapidly-exploring Random Tree (RRT) algorithm has found widespread use in the field of robot motion planning because it provides a single-shot, probabilistically c...
154
click to vote
MSS
2007
IEEE
16 years 28 days ago
2007
IEEE
Bourbon is a quality of service framework designed to work with the Ceph object-based storage system. Ceph is a highly scalable distributed file system that can scale up to tens ...
202
click to vote
QEST
2007
IEEE
16 years 28 days ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
183
click to vote
SYNASC
2007
IEEE
16 years 28 days ago
2007
IEEE
A trapdoor based on an extension of the RSA trapdoor is proposed. The same function as in the RSA cryptosystem is used, i.e. x modn, but there is no restriction for the exponent t...
170
click to vote
WACV
2007
IEEE
16 years 28 days ago
2007
IEEE
We present a method for the simultaneous detection and segmentation of objects from static images. We employ lowlevel contour features that enable us to learn the coarse object sh...