330 search results - page 21 / 66 » Algorithms for Propositional Model Counting |
157
click to vote
ICDAR
2009
IEEE
15 years 3 days ago
2009
IEEE
This paper presents a new approach for the binarization of seriously degraded manuscript. We introduce a new technique based on a Markov Random Field (MRF) model of the document. ...
101
Voted
ISOLA
2004
Springer
15 years 7 months ago
2004
Springer
We study consistency, satisfiability, and validity problems for collectively model checking a set of views endowed with labelled transitions, hybrid constraints on states, and ato...
122
Voted
STOC
2001
ACM
16 years 2 months ago
2001
ACM
We consider static one dimensional range searching problems. These problems are to build static data structures for an integer set S U, where U = {0, 1, . . . , 2w - 1}, which su...
110
click to vote
AAAI
2010
15 years 3 months ago
2010
Methods for discovering causal knowledge from observational data have been a persistent topic of AI research for several decades. Essentially all of this work focuses on knowledge...
148
click to vote
CVPR
2012
IEEE
13 years 4 months ago
2012
IEEE
This paper addresses recognition of human activities with stochastic structure, characterized by variable spacetime arrangements of primitive actions, and conducted by a variable ...