Symbolic approximation: an approach to verification in the large.
Peter T. BreuerSimon PickinPublished in: Innov. Syst. Softw. Eng. (2006)
Keyphrases
- error bounds
- neural network
- artificial intelligence
- asynchronous circuits
- high level
- model checking
- formal methods
- connectionist learning
- approximation schemes
- approximation ratio
- relative error
- efficient computation
- approximation algorithms
- markov random field
- decision trees
- information systems
- search engine
- data mining