13917 search results - page 238 / 2784 » Abstraction of Probabilistic Systems |
204
click to vote
TASE
2008
IEEE
15 years 7 months ago
2008
IEEE
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
204
click to vote
CORR
2012
Springer
14 years 2 months ago
2012
Springer
This paper presents a query evaluation technique for positive relational algebra queries with aggregates on a representation system for probabilistic data based on the algebraic s...
224
click to vote
ICDT
2010
ACM
16 years 4 months ago
2010
ACM
The work reported here lays the foundations of data exchange in the presence of probabilistic data. This requires rethinking the very basic concepts of traditional data exchange, ...
220
click to vote
VLDB
2002
ACM
15 years 6 months ago
2002
ACM
Whereas traditional databases manage only deterministic information, many applications that use databases involve uncertain data. This paper presents a Probabilistic Tree Data Bas...
207
click to vote
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
This work presents a novel people tracking approach, able to cope with frequent shape changes and large occlusions. In particular, the tracks are described by means of probabilist...