4341 search results - page 336 / 869 » Quantitative Model checking |
182
click to vote
CIVR
2004
Springer
16 years 4 days ago
2004
Springer
In this paper, we present an approach for the retrieval of natural scenes based on a semantic modeling step. Semantic modeling stands for the classification of local image regions...
162
click to vote
ECCV
2010
Springer
16 years 2 days ago
2010
Springer
Abstract. We present a discriminatively trained model for joint modelling of object class labels (e.g. “person”, “dog”, “chair”, etc.) and their visual attributes (e.g....
199
click to vote
ACAL
2009
Springer
15 years 10 months ago
2009
Springer
Societal behaviour can be studied at a causal level by perturbing a stable multi-agent model with new microscopic behaviours and observing the statistical response over an ensembl...
189
click to vote
FGR
2004
IEEE
15 years 10 months ago
2004
IEEE
We wish to model the way in which faces move in video sequences. We represent facial behaviour as a sequence of short actions. Each action is a sample from a statistical model rep...
154
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
This paper addresses the quantitative analysis of gossiping protocols. In contrast to existing approaches which are entirely based on the simulation of the individual nodes' ...