141 search results - page 11 / 29 » Boolean Function Representation Using Parallel-Access Diagra... |
MC
2007
13 years 8 months ago
2007
The intelligent tutoring system LARGO allows law students to annotate a transcript of an oral argument using diagrams which can be linked to text portions. LARGO analyzes diagrams...
RELMICS
2000
Springer
13 years 10 months ago
2000
Springer
This paper presents a novel approach to the problem of finding all subgraph isomorphisms of a (pattern) graph into another (target) graph. A relational formulation of the problem, ...
DAC
1993
ACM
13 years 10 months ago
1993
ACM
The Walsh transform has numerous applications in computer-aided design, but the usefulness of these techniques in practice has been limited by the size of the boolean functions th...
CEC
2005
IEEE
14 years 10 days ago
2005
IEEE
Abstract- A new algorithm is presented for evolving Binary Decision Diagrams (BDD) that employs the neutrality implicit in the BDD representation. It is shown that an effortless ne...
ISMVL
2000
IEEE
13 years 11 months ago
2000
IEEE
Multiple-valued decision diagrams (MDDs) give a way of approaching problems by using symbolic variables which are often more naturally associated with the problem statement than t...