Translation of a DDL Digital System Specification to Boolean Equations.
James R. DuleyDonald L. DietmeyerPublished in: IEEE Trans. Computers (1969)
Keyphrases
- real valued
- machine translation
- data sets
- definition language
- description language
- boolean functions
- mathematical model
- image segmentation
- case study
- machine learning
- databases
- specification language
- cross language information retrieval
- formal specification
- numerical solution
- linear equations
- finite difference
- database
- digital topology