System Refinement in Practice - Using a Formal Method to Modify Real-Life Knowledge.
Rainer KnaufIlka PhilippowAvelino J. GonzalezKlaus P. JantkeDirk SaleckerPublished in: FLAIRS Conference (2002)
Keyphrases
- real life
- synthetic data
- detection method
- high precision
- computational cost
- cost function
- high accuracy
- optimization algorithm
- domain knowledge
- significant improvement
- prior knowledge
- similarity measure
- dynamic programming
- real world
- knowledge acquisition
- support vector machine svm
- probabilistic model
- detection algorithm
- clustering method
- segmentation algorithm
- theoretical analysis
- data mining techniques
- classification accuracy
- color images
- pairwise
- preprocessing
- objective function
- knowledge base