Sciweavers

5787 search results - page 434 / 1158
» Generic User Modeling Systems
Sort
View
HICSS
2007
IEEE
94views Biometrics» more  HICSS 2007»
16 years 2 months ago
Towards Model Transformation Generation By-Example
— With the advent of Model-Driven Engineering (MDE) several model transformation approaches and languages have been developed in the last 5 years. Most of these existing approach...
Manuel Wimmer, Michael Strommer, Horst Kargl, Gerh...
TACAS
2001
Springer
125views Algorithms» more  TACAS 2001»
16 years 3 days ago
Coverage Metrics for Temporal Logic Model Checking
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complet...
Hana Chockler, Orna Kupferman, Moshe Y. Vardi
CISST
2003
105views Hardware» more  CISST 2003»
15 years 9 months ago
Modality Conversion in Content Adaptation for Universal Multimedia Access
Modality conversion is an important part in the content adaptation process of a Universal Multimedia Access system. The decision on modality conversion is dependent on terminal/ne...
Truong Cong Thang, Yong Ju Jung, Yong Man Ro
WWW
2008
ACM
16 years 8 months ago
Collaborative knowledge semantic graph image search
In this paper, we propose a Collaborative Knowledge Semantic Graphs Image Search (CKSGIS) system. It provides a novel way to conduct image search by utilizing the collaborative na...
Jyh-Ren Shieh, Yang-Ting Yeh, Chih-Hung Lin, Ching...
ICMI
2003
Springer
128views Biometrics» more  ICMI 2003»
16 years 27 days ago
Modeling multimodal integration patterns and performance in seniors: toward adaptive processing of individual differences
Multimodal interfaces are designed with a focus on flexibility, although very few currently are capable of adapting to major sources of user, task, or environmental variation. The...
Benfang Xiao, Rebecca Lunsford, Rachel Coulston, R...