Formal Validation of Java/Swing User Interfaces with the Event B Method.
Alexandre CortierBruno d'AusbourgYamine Aït AmeurPublished in: HCI (1) (2007)
Keyphrases
- detection method
- experimental evaluation
- optimization method
- fully automatic
- dynamic programming
- cost function
- pairwise
- objective function
- image processing
- evolutionary algorithm
- expert systems
- neural network
- computational cost
- model selection
- theoretical analysis
- clustering method
- segmentation method
- similarity measure