Sciweavers

5787 search results - page 434 / 1158
» Generic User Modeling Systems
Sort
View
HICSS
2007
IEEE
94views Biometrics» more  HICSS 2007»
16 years 1 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»
15 years 11 months 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 8 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 7 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 1 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...