Sciweavers

1051 search results - page 127 / 211
» Adaptive User Modelling in AthosMail
Sort
View

Publication
232views
15 years 3 months ago
Measurement in 802.11 Wireless Networks and its Applications
Ease of deployment, wireless connectivity and ubiquitous mobile on-the-go computing has made the IEEE 802.11 the most widely deployed Wireless Local Area Network (WLAN) sta...
Malik Ahmad Yar Khan
141
Voted
TAP
2007
Springer
92views Hardware» more  TAP 2007»
15 years 11 months ago
Generating Unit Tests from Formal Proofs
We present a new automatic test generation method for JAVA CARD based on attempts at formal verification of the implementation under test (IUT). Self-contained unit tests in JUnit...
Christian Engel, Reiner Hähnle
134
Voted
CADUI
2004
15 years 6 months ago
Generating Context-Sensitive Multiple Device Interfaces from Design
Abstract This paper shows a technique that allows adaptive user interfaces, spanning multiple devices, to be rendered from the task specification at runtime taking into account the...
Tim Clerckx, Kris Luyten, Karin Coninx
CADUI
2006
15 years 6 months ago
The Comets Inspector
Three types of representation are typically produced during the User Interface (UI) development life cycle: a conceptual representation holding the models used for elaborating a UI...
Alexandre Demeure, Gaëlle Calvary, Joëll...
NIPS
2004
15 years 6 months ago
Instance-Based Relevance Feedback for Image Retrieval
High retrieval precision in content-based image retrieval can be attained by adopting relevance feedback mechanisms. These mechanisms require that the user judges the quality of t...
Giorgio Giacinto, Fabio Roli