Global rebuilding of OBDDs Avoiding Memory Requirement Maxima.

Jochen Bern Christoph Meinel Anna Slobodová

Published in: CAV (1995)

Keyphrases

memory requirements
computational complexity
memory space
memory usage
storage requirements
computational speed
computational power
scale space
model checking
mean shift
image analysis
temporal logic
multiscale
image processing
global information
website
multidatabase systems
neural network