1560 search results - page 81 / 312 » interfaces 2010 |
CHI
2010
ACM
14 years 3 months ago
2010
ACM
Researchers have explored pointing devices operated by a single finger, but their advantage was not clear compared to conventional mice controlled by the whole hand. To incorporat...
CEC
2010
IEEE
13 years 11 months ago
2010
IEEE
Rather than attempting to evolve a complete program from scratch we demonstrate genetic interface programming (GIP) by automatically generating a parallel CUDA kernel with identica...
TEI
2010
ACM
14 years 4 months ago
2010
ACM
I propose the concept of expressive surfaces as a research theme to investigate and explore aesthetics of computational objects with its emphasis on forms and materials. In this p...
ITP
2010
14 years 12 hour ago
2010
We present a new formalization of the algebraic hierarchy in Coq, exploiting its new type class mechanism to make practical a solution formerly thought infeasible. Our approach add...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
A variety of applications are emerging to support streaming video from mobile devices. However, many tasks can benefit from streaming specific content rather than the full video f...