13917 search results - page 254 / 2784 » Abstraction of Probabilistic Systems |
210
click to vote
QEST
2005
IEEE
16 years 25 days ago
2005
IEEE
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
215
click to vote
CVPR
1999
IEEE
16 years 9 months ago
1999
IEEE
In this work, we use points, lines, and the linear extremal contours of cylinders to estimate the position and orientation of the camera in the world coordinate system. Other line...
215
click to vote
CVPR
2005
IEEE
16 years 9 months ago
2005
IEEE
Objects can exhibit different dynamics at different scales, and this is often exploited by visual tracking algorithms. A local dynamic model is typically used to extract image fea...
298
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
We study the problem of computing query results with confidence values in ULDBs: relational databases with uncertainty and lineage. ULDBs, which subsume probabilistic databases, o...
208
click to vote
WWW
2006
ACM
16 years 8 months ago
2006
ACM
The increasing amount of communication between individuals in e-formats (e.g. email, Instant messaging and the Web) has motivated computational research in social network analysis...