MDG-Based Verification of the Look-Aside Interface.
Donglin LiOtmane Aït MohamedPublished in: CCECE (2006)
Keyphrases
- user interface
- user friendly
- model checking
- machine learning
- computer vision
- verification method
- image sequences
- digital libraries
- interface design
- functional verification
- real time
- visual interface
- direct manipulation
- graphical interface
- signature verification
- human computer interface
- formal analysis
- formal methods
- metadata
- information retrieval
- neural network