Sciweavers

3972 search results - page 510 / 795
» Palpability Support Demonstrated
Sort
View
FM
2003
Springer
169views Formal Methods» more  FM 2003»
15 years 12 months ago
Checking and Reasoning about Semantic Web through Alloy
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
Jin Song Dong, Jing Sun, Hai H. Wang
ICADL
2003
Springer
149views Education» more  ICADL 2003»
15 years 12 months ago
Approximating Fair Use in LicenseScript
Current rights management systems are not able to enforce copyright laws because of both legal and technological reasons. The contract rights granted by a copyright owner are often...
Cheun Ngen Chong, Sandro Etalle, Pieter H. Hartel,...
ICMI
2003
Springer
110views Biometrics» more  ICMI 2003»
15 years 12 months ago
SmartKom: adaptive and flexible multimodal access to multiple applications
The development of an intelligent user interface that supports multimodal access to multiple applications is a challenging task. In this paper we present a generic multimodal inte...
Norbert Reithinger, Jan Alexandersson, Tilman Beck...
DATE
2010
IEEE
137views Hardware» more  DATE 2010»
15 years 11 months ago
Deterministic, predictable and light-weight multithreading using PRET-C
—We present a new language called Precision Timed C, for predictable and lightweight multithreading in C. PRET-C supports synchronous concurrency, preemption, and a high-level co...
Sidharta Andalam, Partha S. Roop, Alain Girault
UM
2010
Springer
15 years 11 months ago
PersonisJ: Mobile, Client-Side User Modelling
The increasing trend towards powerful mobile phones opens many possibilities for valuable personalised services to be available on the phone. Client-side personalisation for these ...
Simon Gerber, Michael Fry, Judy Kay, Bob Kummerfel...