391 search results - page 27 / 79 » Constructive Equivalence Relations on Computable Probability... |
ITP
2010
15 years 3 months ago
2010
CertiCrypt is a general framework to certify the security of cryptographic primitives in the Coq proof assistant. CertiCrypt adopts the code-based paradigm, in which the statement ...
110
click to vote
CVPR
2010
IEEE
14 years 11 months ago
2010
IEEE
This article presents a new method for non-rigid surface registration between a surface model and a surface of an internal organ in a given 3D medical image. The surface is repres...
NIPS
1998
15 years 21 days ago
1998
There has been much recent work on measuring image statistics and on learning probability distributions on images. We observe that the mapping from images to statistics is many-to...
TCS
2008
14 years 11 months ago
2008
Suppose we are given a set W of logical structures, or possible worlds, a set of logical formulas called possible data and a logical formula . We then consider the classification p...
LCN
2008
IEEE
15 years 5 months ago
2008
IEEE
—Hyperbolic position bounding (HPB) provides a mechanism to probabilistically delimit the location of a wireless network malicious insider to a candidate area. A large scale path...