6020 search results - page 2 / 1204 » A New Approach to Model Counting |
IJCAI
2007
13 years 7 months ago
2007
We introduce a new technique for counting models of Boolean satisfiability problems. Our approach incorporates information obtained from sampling the solution space. Unlike previ...
AAAI
2006
13 years 7 months ago
2006
The ability to update the structure of a Bayesian network when new data becomes available is crucial for building adaptive systems. Recent work by Sang, Beame, and Kautz (AAAI 200...
SEFM
2005
IEEE
13 years 11 months ago
2005
IEEE
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...
CISS
2008
IEEE
13 years 7 months ago
2008
IEEE
ICIP
2003
IEEE
13 years 11 months ago
2003
IEEE
This paper introduces a new approach to automatic car detection in monocular large scale aerial images. The extraction is based on a hierarchical 3D-model that describes the promi...