Reconciling Axiomatic and Model-Based Specifications Using the B Method.
Ken RobinsonPublished in: ZB (2000)
Keyphrases
- pairwise
- synthetic data
- high accuracy
- neural network
- computational cost
- evolutionary algorithm
- error rate
- experimental evaluation
- detection method
- em algorithm
- evaluation method
- data sets
- optimization method
- experimental study
- computationally efficient
- maximum likelihood
- feature set
- cost function
- significant improvement
- preprocessing
- input data
- mutual information
- main contribution
- prior knowledge
- computational complexity