Reachability Analysis via Face Lifting.

Thao Dang Oded Maler

Published in: HSCC (1998)

Keyphrases

reachability analysis
model checking
markov decision processes
timed automata
incremental algorithms
state space
facial expressions
face images
human faces
recognition algorithm
facial features
low cost
dynamical systems
real time
multiresolution
natural language
bayesian networks
machine learning
data mining