Sciweavers

13026 search results - page 114 / 2606
» Probabilistic Relational Models
Sort
View
ATVA
2005
Springer
131views Hardware» more  ATVA 2005»
15 years 8 months ago
An MTBDD-Based Implementation of Forward Reachability for Probabilistic Timed Automata
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...
Fuzhi Wang, Marta Z. Kwiatkowska
IJCV
2002
133views more  IJCV 2002»
15 years 2 months ago
Probabilistic Tracking with Exemplars in a Metric Space
Abstract. A new, exemplar-based, probabilistic paradigm for visual tracking is presented. Probabilistic mechanisms are attractive because they handle fusion of information, especia...
Kentaro Toyama, Andrew Blake
ICML
2001
IEEE
16 years 4 months ago
Conditional Random Fields: Probabilistic Models for Segmenting and Labeling Sequence Data
We present conditional random fields, a framework for building probabilistic models to segment and label sequence data. Conditional random fields offer several advantages over hid...
John D. Lafferty, Andrew McCallum, Fernando C. N. ...
WOLLIC
2009
Springer
15 years 9 months ago
Logic-Based Probabilistic Modeling
After briefly mentioning the historical background of PLL/SRL, we examine PRISM, a logic-based modeling language, as an instance of PLL/SRL research. We first look at the distrib...
Taisuke Sato
STOC
1993
ACM
134views Algorithms» more  STOC 1993»
15 years 7 months ago
Quantum complexity theory
In this paper we study quantum computation from a complexity theoretic viewpoint. Our first result is the existence of an efficient universal quantum Turing machine in Deutsch’s...
Ethan Bernstein, Umesh V. Vazirani