637 search results - page 42 / 128 » Filtering with Approximate Predicates |
VMCAI
2010
Springer
15 years 7 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
TACAS
2004
Springer
15 years 3 months ago
2004
Springer
We present a method of deriving Craig interpolants from proofs in the quantifier-free theory of linear inequality and uninterpreted function symbols, and an interpolating theorem...
IJCAI
1989
14 years 11 months ago
1989
Nilsson's Probabilistic Logic is a set theoretic mechanism for reasoning with uncertainty. We propose a new way of looking at the probability constraints enforced by the fram...
ICML
2010
IEEE
14 years 11 months ago
2010
IEEE
Learning undirected graphical models such as Markov random fields is an important machine learning task with applications in many domains. Since it is usually intractable to learn...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
This paper presents a method for mitigating the impact of reverberation upon speaker identification. In particular, two reverberation mitigation techniques were studied: one that ...