4716 search results - page 8 / 944 » Tangible functional programming |
172
Voted
BCSHCI
2009
15 years 7 months ago
2009
Hybrid surfaces are interactive systems combining techniques of direct-manipulation multi-touch surface interaction with elements of tangible user interfaces (TUIs). The design sp...
650
click to vote
Source Code
SLEEF (SIMD Library for Evaluating Elementary Functions) is a library that facilitates programming with SIMD instructions. It implements the trigonometric functions, inverse trigon...
192
Voted
ICFP
2012
ACM
13 years 8 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
156
Voted
CHI
2003
ACM
16 years 6 months ago
2003
ACM
This paper describes preliminary results of research on the perception and usability of interfaces projected onto realworld objects. Using a projector setup that enables us to com...
149
Voted
INTERACT
2003
15 years 7 months ago
2003
: Resonance (Gibson, 1986) of users while interacting with a product should be a key issue in the development of human computer interaction. Because resonance requires developing o...