1341 search results - page 30 / 269 » Probabilistic Abstraction Hierarchies |
80
Voted
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
CAV
2008
Springer
15 years 7 days ago
2008
Springer
Counterexample-guided abstraction refinement (CEGAR) has been en vogue for the automatic verification of very large systems in the past years. When trying to apply CEGAR to the ver...
177
Voted
Book
"This book has evolved from materials used in an undergraduate course intended for final year undergraduate students whose background includes at least one year's experie...
81
Voted
ML
2008
ACM
14 years 10 months ago
2008
ACM
Abstract. We revisit an application developed originally using Inductive Logic Programming (ILP) by replacing the underlying Logic Program (LP) description with Stochastic Logic Pr...
91
Voted
VIS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract-- Volumetric datasets are often modeled using a multiresolution approach based on a nested decomposition of the domain into a polyhedral mesh. Nested tetrahedral meshes ge...