1029 search results - page 8 / 206 » Compact representations of ordered sets |
110
Voted
AAAI
2006
15 years 2 months ago
2006
Two of the most efficient planners for planning in nondeterministic domains are MBP and ND-SHOP2. MBP achieves its efficiency by using Binary Decision Diagrams (BDDs) to represent...
209
Voted
CP
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a new way of formalizing the Coalition Structure Generation problem (CSG), so that we can apply constraint optimization techniques to it. Forming effective coal...
138
click to vote
CORR
2011
Springer
14 years 4 months ago
2011
Springer
We propose a new definition of the representation theorem for many-valued logics, with modal operators as well, and define the stronger relationship between algebraic models of ...
128
click to vote
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
Thousands of hours of video are recorded every second across the world. Due to the fact that searching for a particular event of interest within hours of video is time consuming, ...
SAT
2009
Springer
15 years 7 months ago
2009
Springer
Different quantifier types in Quantified Boolean Formulae (QBF) introduce variable dependencies which have to be taken into consideration when deciding satisfiability of a QBF....