Sciweavers

4099 search results - page 279 / 820
» A Framework for Interactive Proof
Sort
View
SIGCSE
2012
ACM
513views Education» more  SIGCSE 2012»
14 years 2 months ago
Calico: a multi-programming-language, multi-context framework designed for computer science education
The Calico project is a multi-language, multi-context programming framework and learning environment for computing education. This environment is designed to support several inter...
Douglas S. Blank, Jennifer S. Kay, James B. Marsha...
ICSOC
2005
Springer
16 years 3 days ago
Pattern-Based Specification and Validation of Web Services Interaction Properties
There have been significant efforts in providing semantic descriptions for Web services, including the approach as exemplified by OWLS. Part of the semantic description in OWL-S is...
Zheng Li, Jun Han, Yan Jin
CHI
2007
ACM
16 years 7 months ago
Authoring sensor-based interactions by demonstration with direct manipulation and pattern recognition
Sensors are becoming increasingly important in interaction design. Authoring a sensor-based interaction comprises three steps: choosing and connecting the appropriate hardware, cr...
Björn Hartmann, Leith Abdulla, Manas Mittal, ...
132
Voted
TEI
2010
ACM
135views Hardware» more  TEI 2010»
16 years 1 months ago
Designing interactive kinetic surfaces for everyday objects and environments
This research focuses on the topic of interactive surfaces, especially those which embody kinetic interactions. Through the research, I will provide a definition and a theoretical...
Hyunjung Kim
HRI
2009
ACM
16 years 1 months ago
The oz of wizard: simulating the human for interaction research
The Wizard of Oz experiment method has a long tradition of acceptance and use within the field of human-robot interaction. The community has traditionally downplayed the importanc...
Aaron Steinfeld, Odest Chadwicke Jenkins, Brian Sc...