247 search results - page 9 / 50 » Perspectives in Probabilistic Verification |
QEST
2010
IEEE
13 years 7 months ago
2010
IEEE
CVPR
2006
IEEE
14 years 11 months ago
2006
IEEE
Image understanding requires not only individually estimating elements of the visual world but also capturing the interplay among them. In this paper, we provide a framework for p...
FORMATS
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
AAAI
1994
13 years 11 months ago
1994
We analyze the amount of information needed to carry out model-based recognition tasks, in the context of a probabilistic data collection model, and independently of the recogniti...
ICALT
2010
IEEE
13 years 9 months ago
2010
IEEE
— This paper summarises the analyses of participant interaction within the Twitter microblogging environment. The study employs longitudinal probabilistic social network analysis...