5580 search results - page 764 / 1116 » Randomized priority algorithms |
160
Voted
QEST
2007
IEEE
15 years 10 months 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...
139
Voted
SYNASC
2007
IEEE
15 years 10 months 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...
123
Voted
WACV
2007
IEEE
15 years 10 months 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...
110
Voted
COLT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We establish a generic theoretical tool to construct probabilistic bounds for algorithms where the output is a subset of objects from an initial pool of candidates (or mo...
136
Voted
CSCLP
2007
Springer
15 years 10 months ago
2007
Springer
We formulate a problem of goal satisfaction in mutex networks in this paper. The proposed problem is motivated by problems that arise in concurrent planning. For more efficient sol...