293 search results - page 25 / 59 » Decision Diagram Optimization Using Copy Properties |
ICCD
2001
IEEE
15 years 6 months ago
2001
IEEE
Reduced Ordered Binary Decision Diagrams (BDDs) are a data structure for representation and manipulation of Boolean functions which are frequently used in VLSI Design Automation. ...
KDD
2008
ACM
15 years 10 months ago
2008
ACM
IT problem management calls for quick identification of resolvers to reported problems. The efficiency of this process highly depends on ticket routing--transferring problem ticke...
FUZZIEEE
2007
IEEE
15 years 4 months ago
2007
IEEE
— The aim of this work is to analyze interval fuzzy S-implications and interval automorphisms. Starting from any fuzzy S-implication, it is shown how to obtain an interval fuzzy ...
93
Voted
CEC
2007
IEEE
14 years 9 months ago
2007
IEEE
— The computation of periodic orbits of nonlinear mappings is very important for studying and better understanding the dynamics of complex systems. Evolutionary algorithms have s...
APN
2008
Springer
14 years 11 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...