4341 search results - page 349 / 869 » Quantitative Model checking |
161
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose a novel technique for estimating the number of people in a video sequence; it has the advantages of being stable even in crowded situations and needing no ground-truth ...
189
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Recently, trust establishment is recognized as an important approach to defend distributed networks, such as mobile ad hoc networks and sensor networks, against malicious attac...
168
click to vote
NMR
2004
Springer
16 years 3 days ago
2004
Springer
In this paper, a possible worlds framework for representing general belief change operators is presented. In common with many approaches, an agent’s set of beliefs are specifie...
201
Voted
DAGM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this work, we propose a model-based approach for estimating the 3D position and orientation of a dummy's head for crash test video analysis. Instead of relying on...
139
click to vote
AAAI
2010
15 years 8 months ago
2010
In an interlinked corpus of documents, the context in which a citation appears provides extra information about the cited document. However, associating terms in the context to th...