Sciweavers

4099 search results - page 420 / 820
» A Framework for Interactive Proof
Sort
View
194
Voted
CHI
2010
ACM
16 years 1 months ago
Using concept maps to evaluate the usability of APIs
Application programming interfaces (APIs) are the interfaces to existing code structures, such as widgets, frameworks, or toolkits. Therefore, they very much do have an impact on ...
Jens Gerken, Hans-Christian Jetter, Harald Reitere...
SIES
2007
IEEE
16 years 1 months ago
Protocol Modelling Semantics for Embedded Systems
The properties of a domain oriented modelling approach or language are determined by the dominant semantics of the domain. A significant subclass that needs particular attention,...
Ashley T. McNeile, Ella E. Roubtsova
TABLETOP
2006
IEEE
16 years 25 days ago
Gesture Registration, Relaxation, and Reuse for Multi-Point Direct-Touch Surfaces
Freehand gestural interaction with direct-touch computation surfaces has been the focus of significant research activity recently. While many interesting gestural interaction tech...
Mike Wu, Chia Shen, Kathy Ryall, Clifton Forlines,...
NIME
2005
Springer
107views Music» more  NIME 2005»
16 years 9 days ago
The Role of Time in Engineering Computer Music Systems
Discussion of time in interactive computer music systems engineering has been largely limited to data acquisition rates and latency. Since music is an inherently time-based medium...
Eric Lee, Jan Borchers
HAPTICS
2003
IEEE
16 years 3 days ago
The Effect of Sensor/Actuator Asymmetries in Haptic Interfaces
Haptic interfaces enable us to interact with virtual objects by sensing our actions and communicating them to a virtual environment. A haptic interface with force feedback capabil...
Federico Barbagli, John Kenneth Salisbury Jr.