Verification of Treaty Compliance Revisited.
Gustavus J. SimmonsPublished in: IEEE Symposium on Security and Privacy (1983)
Keyphrases
- intellectual property
- model checking
- face verification
- functional verification
- genetic algorithm
- computer vision
- asynchronous circuits
- formal verification
- face detection
- verification method
- fingerprint verification
- test generation
- database
- artificial neural networks
- case study
- website
- multimedia
- metadata
- artificial intelligence
- neural network