488 search results - page 31 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
AUSDM
2007
Springer
15 years 5 months ago
2007
Springer
Recommender systems are important to help users select relevant and personalised information over massive amounts of data available. We propose an unified framework called Prefer...
106
click to vote
IJCV
2008
14 years 11 months ago
2008
This paper presents a novel method for detecting and localizing objects of a visual category in cluttered real-world scenes. Our approach considers object categorization and figure...
SSS
2010
Springer
14 years 9 months ago
2010
Springer
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
103
click to vote
CMSB
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
DAGM
2005
Springer
15 years 4 months ago
2005
Springer
The ability to accurately localize objects in an observed scene is regarded as an important precondition for many practical applications including automatic manufacturing, quality ...