Optimizing sequential verification by retiming transformations.
Gianpiero CabodiStefano QuerFabio SomenziPublished in: DAC (2000)
Keyphrases
- model checking
- sequential search
- data structure
- formal verification
- real time
- verification method
- neural network
- fingerprint verification
- multimodal biometrics
- high security
- person identification
- signature verification
- face verification
- sequential data
- medical images
- image analysis
- relational databases
- multi agent systems
- computer vision
- information retrieval
- databases
- data sets