Formal Analysis and Automatic Generation of User Interfaces: Approach, Methodology, and an Algorithm.
Michael HeymannAsaf DeganiPublished in: Hum. Factors (2007)
Keyphrases
- formal analysis
- dynamic programming
- optimization algorithm
- objective function
- cost function
- preprocessing
- user interface
- k means
- learning algorithm
- matching algorithm
- worst case
- significant improvement
- search space
- computational complexity
- machine learning
- np hard
- optimal solution
- computational cost
- knowledge representation
- case study
- particle swarm optimization
- expectation maximization
- web services
- detection algorithm
- artificial intelligence
- convergence rate
- recognition algorithm
- automatically generate