Sciweavers

2834 search results - page 119 / 567
» A Probabilistic Approach to Measuring Robustness in Computin...
Sort
View
PVLDB
2008
111views more  PVLDB 2008»
13 years 8 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
ICCV
2005
IEEE
14 years 11 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
14 years 11 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
FORMATS
2009
Springer
14 years 1 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
ASPLOS
2010
ACM
14 years 2 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