6020 search results - page 851 / 1204 » A New Approach to Model Counting |
178
click to vote
BVAI
2007
Springer
16 years 25 days ago
2007
Springer
In real life, visual learning is supposed to be a continuous process. Humans have an innate facility to recognize objects even under less-than-ideal conditions and to build robust ...
167
click to vote
CP
2007
Springer
16 years 25 days ago
2007
Springer
We propose a new top down search-based algorithm for compiling AND/OR Multi-Valued Decision Diagrams (AOMDDs), as representations of the optimal set of solutions for constraint opt...
144
click to vote
CSCWD
2007
Springer
16 years 25 days ago
2007
Springer
Mobile devices quickly become popular tools in collaborative design for their portability and supporting of graphics user interface. However, their limited resources may result in...
182
click to vote
FROCOS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
177
click to vote
FSTTCS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...