13917 search results - page 36 / 2784 » Abstraction of Probabilistic Systems |
RP
2009
Springer
15 years 2 months ago
2009
Springer
Counterexamples for Non-disjunctive ions K. L. McMillan1 and L. D. Zuck2 1 Cadence Research Labs 2 University of Illinois at Chicago Counterexample-guided abstraction refinement (...
EDBTW
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We discuss, compare and relate some old and some new models for incomplete and probabilistic databases. We characterize the expressive power of c-tables over infinite dom...
IJCAI
2001
14 years 11 months ago
2001
ive probabilistic networks are qualitative abstractions of probabilistic networks, summarising probabilistic influences by qualitative signs. As qualitative networks model influen...
ECML
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We propose a simple and efficient approach to building undirected probabilistic classification models (Markov networks) that extend na
ICRA
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— In this paper, simultaneous localisation and mapping (SLAM) is combined with landmark recognition to close large loops in unstructured, outdoor environments. Camera and...