13917 search results - page 159 / 2784 » Abstraction of Probabilistic Systems |
173
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
163
click to vote
RECOMB
2002
Springer
16 years 7 months ago
2002
Springer
Biological data, such as gene expression profiles or protein sequences, is often organized in a hierarchy of classes, where the instances assigned to "nearby" classes in...
136
Voted
SSS
2007
Springer
16 years 1 months ago
2007
Springer
Research on fine tuning stabilization properties has received attention for nearly a decade. This paper presents a probabilistic algorithm for fault-containment, that confines th...
132
click to vote
NIPS
2004
15 years 8 months ago
2004
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...
194
Voted
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— 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. ...