6020 search results - page 2 / 1204 » A New Approach to Model Counting |
133
click to vote
IJCAI
2007
15 years 5 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...
135
click to vote
AAAI
2006
15 years 5 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...
125
click to vote
SEFM
2005
IEEE
15 years 9 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...
165
Voted
CISS
2008
IEEE
15 years 5 months ago
2008
IEEE
130
Voted
ICIP
2003
IEEE
15 years 9 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...