Towards Dynamically Communicating Abstract Machines in the B Method.
Nazareno AguirreMarcelo ArroyoJuan BicarreguiLucio GuzmánT. S. E. MaibaumPublished in: ICFEM (2005)
Keyphrases
- high accuracy
- computational cost
- prior knowledge
- objective function
- experimental evaluation
- feature set
- neural network
- synthetic data
- theoretical analysis
- main contribution
- detection method
- clustering method
- mutual information
- high precision
- classification method
- segmentation method
- segmentation algorithm
- input data
- dynamic programming
- cost function
- face recognition