Forward Analysis of Depth-Bounded Processes.

Thomas Wies Damien Zufferey Thomas A. Henzinger

Published in: FoSSaCS (2010)

Keyphrases

neural network
information systems
data analysis
medical images
statistical analysis
data mining
information retrieval
website
computational complexity
relational databases
evolutionary algorithm
quantitative analysis