Sciweavers

13026 search results - page 62 / 2606
» Probabilistic Relational Models
Sort
View
105
Voted
CORR
2008
Springer
107views Education» more  CORR 2008»
15 years 21 days ago
Model Checking Probabilistic Timed Automata with One or Two Clocks
Probabilistic timed automata are an extension of timed automata with discrete probability distributions. We consider model-checking algorithms for the subclasses of probabilistic t...
Marcin Jurdzinski, François Laroussinie, Je...
134
Voted
PKDD
2010
Springer
313views Data Mining» more  PKDD 2010»
14 years 11 months ago
Topic Modeling for Personalized Recommendation of Volatile Items
One of the major strengths of probabilistic topic modeling is the ability to reveal hidden relations via the analysis of co-occurrence patterns on dyadic observations, such as docu...
Maks Ovsjanikov, Ye Chen
117
Voted
CONCUR
2001
Springer
15 years 5 months ago
Compositional Methods for Probabilistic Systems
Abstract. We present a compositional trace-based model for probabilistic systems. The behavior of a system with probabilistic choice is a stochasticprocess, namely, a probability d...
Luca de Alfaro, Thomas A. Henzinger, Ranjit Jhala
103
Voted
CVIU
2008
179views more  CVIU 2008»
15 years 20 days ago
Incremental, scalable tracking of objects inter camera
This paper presents a scalable solution to the problem of tracking objects across spatially separated, uncalibrated cameras with non overlapping fields of view. The approach relie...
Andrew Gilbert, Richard Bowden
176
Voted
LICS
2003
IEEE
15 years 5 months ago
Model checking for probability and time: from theory to practice
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
Marta Z. Kwiatkowska