Practical Reasoning About Invocations and Implementations of Pure Methods.

Ádám Darvas K. Rustan M. Leino

Published in: FASE (2007)

Keyphrases

neural network
computational cost
expert systems
data mining
preprocessing
machine learning methods
information retrieval
computer vision
website
data structure
real world
significant improvement
databases
benchmark datasets
efficient implementation
practical problems
methods require
computationally demanding