Exact Runtime Analysis Using Automata-Based Symbolic Simulation.

Tobias Schüle Klaus Schneider

Published in: MEMOCODE (2003)

Keyphrases

database
image analysis
simulation model
quantitative analysis
mathematical analysis
numerical analysis
stochastic simulation
data mining
learning algorithm
mobile robot
medical images
statistical analysis
complex systems
symbolic representation