Sciweavers

4332 search results - page 213 / 867
» A Probabilistic Identification Result
Sort
View
ILP
2007
Springer
16 years 18 days ago
Combining Clauses with Various Precisions and Recalls to Produce Accurate Probabilistic Estimates
Statistical Relational Learning (SRL) combines the benefits of probabilistic machine learning approaches with complex, structured domains from Inductive Logic Programming (ILP). W...
Mark Goadrich, Jude W. Shavlik
ROBOCUP
2007
Springer
105views Robotics» more  ROBOCUP 2007»
16 years 17 days ago
Probabilistic Decision Making in Robot Soccer
Decision making is an important issue in robot soccer, which has not been investigated deeply enough by the RoboCup research community. This paper proposes a probabilistic approach...
Pablo Guerrero, Javier Ruiz-del-Solar, Gonzalo D&i...
TACAS
2007
Springer
136views Algorithms» more  TACAS 2007»
16 years 16 days ago
Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking
This paper studies the effect of bisimulation minimisation in model checking of monolithic discrete-time and continuous-time Markov chains as well as variants thereof with rewards...
Joost-Pieter Katoen, Tim Kemna, Ivan S. Zapreev, D...
TACAS
2007
Springer
110views Algorithms» more  TACAS 2007»
16 years 16 days ago
Counterexamples in Probabilistic Model Checking
This paper considers algorithms and complexity results for the generation of counterexamples in model checking of probabilistic until-formulae in discrete-time Markov chains (DTMCs...
Tingting Han, Joost-Pieter Katoen
IJCNN
2006
IEEE
16 years 14 days ago
Methods for Parallelizing the Probabilistic Neural Network on a Beowulf Cluster Computer
—In this paper, we present three different methods for implementing the Probabilistic Neural Network on a Beowulf cluster computer. The three methods, Parallel Full Training Set ...
Jimmy Secretan, Michael Georgiopoulos, Ian Maidhof...