2550 search results - page 32 / 510 » Difference Decision Diagrams |
110
click to vote
ISCAS
2002
IEEE
15 years 6 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...
112
click to vote
ISMIS
1994
Springer
15 years 6 months 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....
130
Voted
AAAI
2008
15 years 4 months ago
2008
This paper investigates the impact of symbolic search for solving domain-independent action planning problems with binary decision diagrams (BDDs). Polynomial upper and exponential...
DIAGRAMS
2004
Springer
15 years 7 months ago
2004
Springer
People sometimes appear to build analogical representations in order to reason about graphical information. In this paper we consider the extent to which the tendency to represent ...
133
Voted
VTS
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper presents an improved method to accurately estimate signal probabilities using ordered partial decision diagrams (OPDDs) [Kodavarti 93] for partial representation of the...