Sciweavers

500 search results - page 28 / 100
» Context models on sequences of covers
Sort
View
MEMOCODE
2003
IEEE
14 years 2 months ago
Real-time Property Preservation in Approximations of Timed Systems
Formal techniques have been widely applied in the design of real-time systems and have significantly helped detect design errors by checking real-time properties of the model. Ho...
Jinfeng Huang, Jeroen Voeten, Marc Geilen
PERCOM
2006
ACM
14 years 8 months ago
Sentient Processes - Process-based Applications in Pervasive Computing
Users' tasks are typically a sequence of steps. Today, the goal of Pervasive Computing applications ? to support users in their tasks by using context information ? is only p...
Stephan Urbanski, Christian Becker, Kurt Rothermel
KDD
2008
ACM
176views Data Mining» more  KDD 2008»
14 years 9 months ago
Context-aware query suggestion by mining click-through and session data
Query suggestion plays an important role in improving the usability of search engines. Although some recently proposed methods can make meaningful query suggestions by mining quer...
Huanhuan Cao, Daxin Jiang, Jian Pei, Qi He, Zhen L...
IIHMSP
2006
IEEE
137views Multimedia» more  IIHMSP 2006»
14 years 3 months ago
Understanding Human Behavior Using a Language Modeling Approach
Visual analysis of human behavior has generated considerable interest in the field of computer vision because of the wide spectrum of potential applications. In this paper, we pre...
Yu-Ming Liang, Sheng-Wen Shih, Arthur Chun-Chieh S...
ICWE
2005
Springer
14 years 2 months ago
A Model-Driven Approach for Designing Distributed Web Information Systems
There is an apparent need for specifying the integration of multiple knowledge sources during the design of Web Information Systems (WIS) where the actual data is often retrieved f...
Richard Vdovjak, Geert-Jan Houben