112 search results - page 11 / 23 » Compact explosion diagrams |
104
click to vote
ICCAD
1994
IEEE
15 years 6 months ago
1994
IEEE
We propose new techniques for efficient breadth-first iterative manipulation of ROBDDs. Breadth-first iterative ROBDD manipulation can potentially reduce the total elapsed time by...
89
Voted
TCAD
2008
15 years 1 months ago
2008
BDDs have proven to be an efficient means to represent and manipulate Boolean formulae [1] and sets [2] due to their compactness and canonicality. In this work, we leverage the eff...
110
Voted
MM
2005
ACM
15 years 7 months ago
2005
ACM
With the rapid explosion of video data, compact representation of videos is becoming more and more desirable for efficient browsing and communication, which leads to a number of r...
107
click to vote
ER
2003
Springer
15 years 7 months ago
2003
Springer
The integration of heterogeneous legacy databases requires understanding of database structure and content. We previously developed a theoretical and software infrastructure to sup...
148
click to vote
CPAIOR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In recent work binary decision diagrams (BDDs) were introduced as a technique for postoptimality analysis for integer programming. In this paper we show that much smaller...