Sciweavers

1029 search results - page 93 / 206
» Probabilistic Recurrence Relations
Sort
View
CVPR
2010
IEEE
15 years 6 months ago
Real-time Tracking of Multiple Occluding Objects using Level Sets
We derive a probabilistic framework for robust, realtime, visual tracking of multiple previously unseen objects from a moving camera. This framework models the discrete depth orde...
Charles Bibby, Ian Reid
132
Voted
ESORICS
2002
Springer
16 years 3 months ago
Confidentiality-Preserving Refinement is Compositional - Sometimes
Confidentiality-preserving refinement describes a relation between a specification and an implementation that ensures that all confidentiality properties required in the specificat...
Thomas Santen, Maritta Heisel, Andreas Pfitzmann
122
Voted
CORR
2000
Springer
116views Education» more  CORR 2000»
15 years 3 months ago
Algorithmic Statistics
While Kolmogorov complexity is the accepted absolute measure of information content of an individual finite object, a similarly absolute notion is needed for the relation between a...
Péter Gács, John Tromp, Paul M. B. V...
140
Voted
ILP
2005
Springer
15 years 9 months ago
A Framework for Set-Oriented Computation in Inductive Logic Programming and Its Application in Generalizing Inverse Entailment
We propose a new approach to Inductive Logic Programming that systematically exploits caching and offers a number of advantages over current systems. It avoids redundant computati...
Héctor Corrada Bravo, David Page, Raghu Ram...
135
Voted
SOFSEM
2007
Springer
15 years 9 months ago
Incremental Learning of Planning Operators in Stochastic Domains
In this work we assume that there is an agent in an unknown environment (domain). This agent has some predefined actions and it can perceive its current state in the environment c...
Javad Safaei, Gholamreza Ghassem-Sani