The B-Method for the Construction of Microkernel-Based Systems.
Sarah HoffmannGermain HaugouSophie GabrieleLilian BurdyPublished in: B (2007)
Keyphrases
- detection method
- prior knowledge
- dynamic programming
- high accuracy
- high precision
- error rate
- expert systems
- experimental evaluation
- distributed systems
- feature set
- generation method
- optimization algorithm
- main contribution
- mutual information
- management system
- support vector machine
- classification accuracy
- cost function
- pairwise
- learning algorithm
- maximum likelihood
- computationally efficient
- computational cost
- support vector machine svm
- detection algorithm
- preprocessing
- objective function
- fully automatic
- optimization method
- computer vision