Modelling, Reduction and Analysis of Markov Automata.

Dennis Guck Hassan Hatefi Holger Hermanns Joost-Pieter Katoen Mark Timmer

Published in: QEST (2013)

Keyphrases

statistical analysis
computer vision
image analysis
database
information systems
feature selection
image processing
case study
three dimensional
natural language
data analysis
state space
cellular automata
finite state