On Fitting a Formal Method into Practice.
Rainer GmehlichKatrin GrauStefan HallerstedeMichael LeuschelFelix LöschDaniel PlaggePublished in: ICFEM (2011)
Keyphrases
- high accuracy
- computational complexity
- fitting method
- high precision
- classification method
- cost function
- prior knowledge
- neural network
- detection method
- experimental evaluation
- objective function
- genetic algorithm
- data sets
- pairwise
- significant improvement
- training set
- dynamic programming
- preprocessing
- video sequences
- clustering method
- statistical model
- multiscale
- curve fitting