Login / Signup
Edge Reduction for EVMDDs to Speed Up Analysis of Multi-state Systems.
Shinobu Nagayama
Tsutomu Sasao
Jon T. Butler
Mitchell A. Thornton
Theodore W. Manikas
Published in:
ISMVL (2015)
Keyphrases
</>
case study
state space
computer vision
edge detection
building blocks
data sets
decision making
database systems
data analysis
expert systems
distributed systems
computer systems
complex systems