An Operational Formal Definition of PROLOG: A Specification Method and Its Application.
Pierre DeransartGérard FerrandPublished in: New Gener. Comput. (1992)
Keyphrases
- detection method
- mutual information
- high accuracy
- evaluation method
- main contribution
- computational cost
- decision making
- preprocessing
- artificial neural networks
- computationally efficient
- logic programming
- data sets
- classification method
- mathematical model
- error rate
- detection algorithm
- optimization algorithm
- high level
- maximum likelihood
- image quality
- pairwise
- image registration
- classification accuracy
- experimental evaluation
- k means