646 search results - page 25 / 130 » Hybrid decision diagrams |
ICDT
2011
ACM
13 years 7 days ago
2011
ACM
The goal of Knowledge Compilation is to represent a Boolean expression in a format in which it can answer a range of online-queries in PTIME. The online-query of main interest to ...
DAC
2011
ACM
12 years 8 months ago
2011
ACM
CAGD
2007
13 years 8 months ago
2007
We introduce a geometrical diagram to study the improvement in shape of triangles generated by iterative application of triangle subdivision. The four Triangles Longest Edge (4TLE...
SYNASC
2005
IEEE
14 years 2 months ago
2005
IEEE
Business process modeling is an important phase during requirements collection. Usually functional, dynamic and role models are needed. We propose to integrate Role Activity Diagr...
ISMVL
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper shows that particular classes of linear combinations of the coefficients of the circular Chrestenson-Vilenkin spectrum of ternary functions characterize whether cofacto...