Verification in the Large via Symbolic Approximation.
Peter T. BreuerSimon PickinPublished in: ISoLA (2006)
Keyphrases
- formal analysis
- efficient computation
- face verification
- approximation error
- approximation methods
- neural network
- high level
- signature verification
- symbolic reasoning
- real time
- neural learning
- connectionist models
- fingerprint verification
- formal verification
- relative error
- approximation algorithms
- artificial intelligence
- genetic algorithm