A scalable formal method for design and automatic checking of user interfaces.
Jean BerstelStefano Crespi-ReghizziGilles RousselPierluigi San PietroPublished in: ACM Trans. Softw. Eng. Methodol. (2005)
Keyphrases
- user interface
- fully automatic
- similarity measure
- segmentation method
- cost function
- high accuracy
- significant improvement
- computational cost
- end users
- optimization algorithm
- evaluation method
- machine learning
- semi automatic
- synthetic data
- detection method
- segmentation algorithm
- input data
- feature set
- edge detection
- support vector machine
- experimental evaluation
- prior knowledge
- multiresolution
- pairwise
- preprocessing