Keyphrases
- description logics
- analog vlsi
- conjunctive queries
- set valued attributes
- signal processing
- digital computer
- query containment
- neural network
- analog circuits
- circuit design
- digital circuits
- mixed signal
- data conversion
- vlsi architecture
- automated theorem proving
- regular path queries
- focal plane
- transitive closure
- data structure
- genetic algorithm
- machine learning