Logical Verification and Systematic Parametric Analysis in Train Control.

André Platzer Jan-David Quesel

Published in: HSCC (2008)

Keyphrases

computer vision
image analysis
formal analysis
data mining
data analysis
information technology
data acquisition
databases
information retrieval
genetic algorithm
artificial intelligence
image sequences
similarity measure
relational databases
multiresolution