Sciweavers

2834 search results - page 119 / 567
» A Probabilistic Approach to Measuring Robustness in Computin...
Sort
View
113
Voted
PVLDB
2008
111views more  PVLDB 2008»
15 years 3 months ago
Approximate lineage for probabilistic databases
In probabilistic databases, lineage is fundamental to both query processing and understanding the data. Current systems s.a. Trio or Mystiq use a complete approach in which the li...
Christopher Ré, Dan Suciu
149
Voted
ICCV
2005
IEEE
16 years 5 months ago
Object Recognition in High Clutter Images Using Line Features
We present an object recognition algorithm that uses model and image line features to locate complex objects in high clutter environments. Finding correspondences between model an...
Philip David, Daniel DeMenthon
CVPR
2007
IEEE
16 years 5 months ago
Probabilistic Reverse Annotation for Large Scale Image Retrieval
Automatic annotation is an elegant alternative to explicit recognition in images. In annotation, the image is matched with keyword models, and the most relevant keywords are assig...
K. Pramod Sankar, C. V. Jawahar
143
Voted
FORMATS
2009
Springer
15 years 7 months ago
Stochastic Games for Verification of Probabilistic Timed Automata
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...
Marta Z. Kwiatkowska, Gethin Norman, David Parker
127
Voted
ASPLOS
2010
ACM
15 years 9 months ago
Probabilistic job symbiosis modeling for SMT processor scheduling
Symbiotic job scheduling boosts simultaneous multithreading (SMT) processor performance by co-scheduling jobs that have ‘compatible’ demands on the processor’s shared resour...
Stijn Eyerman, Lieven Eeckhout