Sciweavers

3392 search results - page 470 / 679
» Using Knowledge Representation to Understand Interactive Sys...
Sort
View
ICMI
2005
Springer
162views Biometrics» more  ICMI 2005»
15 years 10 months ago
Distributed pointing for multimodal collaboration over sketched diagrams
A problem faced by groups that are not co-located but need to collaborate on a common task is the reduced access to the rich multimodal communicative context that they would have ...
Paulo Barthelmess, Edward C. Kaiser, Xiao Huang, D...
ISSTA
2004
ACM
15 years 10 months ago
An optimizing compiler for batches of temporal logic formulas
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
James Ezick
CORR
2007
Springer
177views Education» more  CORR 2007»
15 years 4 months ago
N3Logic: A Logical Framework For the World Wide Web
The Semantic Web drives towards the use of the Web for interacting with logically interconnected data. Through knowledge models such as Resource Description Framework (RDF), the S...
Tim Berners-Lee, Dan Connolly, Lalana Kagal, Yosi ...
CHI
2009
ACM
16 years 5 months ago
Design of haptic interfaces for therapy
Touch is fundamental to our emotional well-being. Medical science is starting to understand and develop touch-based therapies for autism spectrum, mood, anxiety and borderline dis...
Cati Vaucelle, Leonardo Bonanni, Hiroshi Ishii
CHI
1998
ACM
15 years 9 months ago
Patterns of Change in Design Metaphor: A Case Study
Although design metaphors play an important role in many software projects, their influence on system functionality, project methodology and the interactions among members of the ...
William A. Stubblefield