Integral Approximation of Rays and Verification of Feasibility.
Waltraud HuyerArnold NeumaierPublished in: Reliab. Comput. (2004)
Keyphrases
- approximation algorithms
- approximation error
- asynchronous circuits
- approximation ratio
- formal verification
- face verification
- error bounds
- model checking
- artificial intelligence
- information retrieval
- probabilistic model
- objective function
- learning algorithm
- approximation methods
- data mining
- person identification
- fingerprint verification
- data sets