Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite Values.

Nils Anders Danielsson Patrik Jansson

Published in: MPC (2004)

Keyphrases

real numbers
data mining
multiscale
machine learning
decision making
case study
three dimensional
high level
image sequences
feature space
relational databases
artificial neural networks
parameter values