2610 search results - page 429 / 522 » Computational Probabilistic Non-interference |
110
Voted
BMVC
2010
14 years 10 months ago
2010
Off-line trained class-specific object detectors are designed to detect any instance of the class in a given image or video sequence. In the context of object tracking, however, o...
98
Voted
FORMATS
2010
Springer
14 years 10 months ago
2010
Springer
In an expected reachability-time game (ERTG) two players, Min and Max, move a token along the transitions of a probabilistic timed automaton, so as to minimise and maximise, respec...
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
We present a new technique, early phase termination, for eliminating idle processors in parallel computations that use barrier synchronization. This technique simply terminates ea...
93
Voted
TVLSI
2008
15 years 15 days ago
2008
Abstract--The quantum-dot cellular automata (QCA) model offers a novel nano-domain computing architecture by mapping the intended logic onto the lowest energy configuration of a co...
146
click to vote
MOBICOM
2004
ACM
15 years 6 months ago
2004
ACM
We demonstrate a system built using probabilistic techniques that allows for remarkably accurate localization across our entire office building using nothing more than the built-...