Experiences with a Formal Method for Design and Automatic Checking of User Interfaces.
Alessandro CampiEliseo MartinezPierluigi San PietroPublished in: MBUI (2004)
Keyphrases
- user interface
- fully automatic
- preprocessing
- synthetic data
- detection algorithm
- design principles
- high accuracy
- experimental evaluation
- computational cost
- optimization algorithm
- semi automatic
- mathematical model
- probabilistic model
- segmentation algorithm
- classification accuracy
- detection method
- segmentation method
- high precision
- user experience
- computationally efficient
- input data
- data sets
- dynamic programming
- significant improvement
- color images
- prior knowledge
- evolutionary algorithm
- clustering algorithm
- image processing
- learning algorithm
- neural network