Sciweavers

342 search results - page 65 / 69
» An Adaptation Logic Framework for Java-based Component Syste...
Sort
View
ESWS
2008
Springer
13 years 9 months ago
Building a Semantic Web Image Repository for Biological Research Images
Abstract. Images play a vital role in scientific studies. An image repository would become a costly and meaningless data graveyard without descriptive metadata. We adapted EPrints,...
Jun Zhao, Graham Klyne, David M. Shotton
AIED
2009
Springer
14 years 1 months ago
Modeling Task-Based vs. Affect-based Feedback Behavior in Pedagogical Agents: An Inductive Approach
Affect has been the subject of increasing attention in cognitive accounts of learning. Many intelligent tutoring systems now seek to adapt pedagogy to student affective and motivat...
Jennifer L. Robison, Scott W. McQuiggan, James C. ...
HT
2007
ACM
13 years 11 months ago
User-tailored web accessibility evaluations
This paper presents a framework and system to evaluate the accessibility of web pages according to the individual requirements of users with disabilities. These requirements not o...
Markel Vigo, Alfred Kobsa, Myriam Arrue, Julio Aba...
TMC
2010
161views more  TMC 2010»
13 years 5 months ago
High-Rate Uncorrelated Bit Extraction for Shared Secret Key Generation from Channel Measurements
—Secret keys can be generated and shared between two wireless nodes by measuring and encoding radio channel characteristics without ever revealing the secret key to an eavesdropp...
Neal Patwari, Jessica Croft, Suman Jana, Sneha Kum...
ICFP
2005
ACM
14 years 7 months ago
Modular verification of concurrent assembly code with dynamic thread creation and termination
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
Xinyu Feng, Zhong Shao