2610 search results - page 115 / 522 » Computational Probabilistic Non-interference |
111
click to vote
DC
2000
15 years 2 months ago
2000
ms, to use abstraction mappings to prove probabilistic properties, and to apply random walk theory in a distributed computational setting. We apply all of these techniques to analy...
126
Voted
FMSD
2010
15 years 1 months ago
2010
In this paper, we consider verifying properties of mixed-signal circuits, i.e., circuits for which there is an interaction between analog (continuous) and digital (discrete) values...
126
click to vote
ECCV
2008
Springer
16 years 4 months ago
2008
Springer
A probabilistic system for recognition of individual objects is presented. The objects to recognize are composed of constellations of features, and features from a same object shar...
146
click to vote
AIPS
2006
15 years 3 months ago
2006
The current best conformant probabilistic planners encode the problem as a bounded length CSP or SAT problem. While these approaches can find optimal solutions for given plan leng...
111
click to vote
CVPR
2004
IEEE
16 years 4 months ago
2004
IEEE
We propose an original probabilistic parameter-free method for the detection of independently moving objects in an image sequence. We apply a probabilistic perceptual principle, t...