646 search results - page 27 / 130 » Hybrid decision diagrams |
UAI
1996
13 years 10 months ago
1996
Real-time Decision algorithms are a class of incremental resource-bounded [Horvitz, 89] or anytime [Dean, 93] algorithms for evaluating influence diagrams. We present a test domai...
AAAI
2008
13 years 11 months ago
2008
In distributed constraint optimization problems, dynamic programming methods have been recently proposed (e.g. DPOP). In dynamic programming many valuations are grouped together i...
INFOVIS
2005
IEEE
14 years 2 months ago
2005
IEEE
We investigate the use of elastic hierarchies for representing trees, where a single graphical depiction uses a hybrid mixture, or “interleaving”, of more basic forms at diffe...
ISCAS
2002
IEEE
14 years 1 months ago
2002
IEEE
New symmetries of degree two are introduced, along with spectral techniques for identifying these symmetries. Some applications of these symmetries are discussed, in particular th...
ISMIS
1994
Springer
14 years 27 days ago
1994
Springer
BDDs (binary decision diagrams) are a very succesful tool for handling boolean functions, but one which has not yet attracted the attention of many automated deduction specialists....