Timing Diagrams: Formalization and Algorithmic Verification.
Kathi FislerPublished in: J. Log. Lang. Inf. (1999)
Keyphrases
- asynchronous circuits
- formal analysis
- model checking
- neural network
- artificial intelligence
- knowledge representation
- face detection
- graphical representation
- face verification
- expert systems
- data sets
- search algorithm
- multiscale
- database systems
- formal methods
- image processing
- person identification
- fingerprint verification
- data mining
- graphical representations
- verification method