Sciweavers

1855 search results - page 59 / 371
» Probabilistic Frame-Based Systems
Sort
View
93
Voted
NIPS
2004
15 years 4 months ago
Harmonising Chorales by Probabilistic Inference
We describe how we used a data set of chorale harmonisations composed by Johann Sebastian Bach to train Hidden Markov Models. Using a probabilistic framework allows us to create a...
Moray Allan, Christopher K. I. Williams
137
Voted
ICRA
2009
IEEE
147views Robotics» more  ICRA 2009»
15 years 9 months ago
Equipping robot control programs with first-order probabilistic reasoning capabilities
— An autonomous robot system that is to act in a real-world environment is faced with the problem of having to deal with a high degree of both complexity as well as uncertainty. ...
Dominik Jain, Lorenz Mösenlechner, Michael Be...
100
Voted
FOSSACS
2004
Springer
15 years 8 months ago
Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
Ajith Ramanathan, John C. Mitchell, Andre Scedrov,...
130
Voted
ENTCS
2006
136views more  ENTCS 2006»
15 years 2 months ago
Automated Game Analysis via Probabilistic Model Checking: a case study
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...
Paolo Ballarini, Michael Fisher, Michael Wooldridg...
215
Voted
ICDE
2008
IEEE
135views Database» more  ICDE 2008»
16 years 4 months ago
Online Filtering, Smoothing and Probabilistic Modeling of Streaming data
In this paper, we address the problem of extending a relational database system to facilitate efficient real-time application of dynamic probabilistic models to streaming data. he ...
Bhargav Kanagal, Amol Deshpande