Logical approximation for program analysis.
Robert J. SimmonsFrank PfenningPublished in: High. Order Symb. Comput. (2011)
Keyphrases
- social networks
- approximation error
- approximation methods
- approximation algorithms
- relative error
- knowledge base
- search algorithm
- closed form
- approximation schemes
- real time
- greedy algorithm
- evolutionary algorithm
- objective function
- feature selection
- artificial intelligence
- information retrieval
- neural network
- databases