6020 search results - page 131 / 1204 » A New Approach to Model Counting |
133
click to vote
CSCLP
2004
Springer
15 years 7 months ago
2004
Springer
Covering arrays have been studied for their applications to drug screening and software and hardware testing. In this paper, we model the problem as a constraint program. Our propo...
139
click to vote
AAAI
2010
15 years 5 months ago
2010
Understanding conceptual change is an important problem in modeling human cognition and in making integrated AI systems that can learn autonomously. This paper describes a model o...
179
click to vote
PE
2010
Springer
15 years 2 months ago
2010
Springer
We propose a trace fitting algorithm for Markovian Arrival Processes (MAPs) that can capture statistics of any order of interarrival times between measured events. By studying re...
ICML
2009
IEEE
16 years 4 months ago
2009
IEEE
We present a novel approach for learning nonlinear dynamic models, which leads to a new set of tools capable of solving problems that are otherwise difficult. We provide theory sh...
168
Voted
IJCV
2011
14 years 11 months ago
2011
This paper is devoted to the optimization problem of continuous multipartitioning, or multi-labeling, which is based on a convex relaxation of the continuous Potts model. In contr...