242 search results - page 12 / 49 » Building an interaction design pattern language: A case stud... |
187
Voted
ICFP
2009
ACM
16 years 9 days ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
ICMI
2004
Springer
15 years 5 months ago
2004
Springer
Mobile usage patterns often entail high and fluctuating levels of difficulty as well as dual tasking. One major theme explored in this research is whether a flexible multimodal in...
109
Voted
GECCO
2004
Springer
15 years 5 months ago
2004
Springer
This article summarizes two experiments utilizing building blocks to find analog electronic circuits on a CMOS Field Programmable Transistor Array (FPTA). The FPTA features 256 pr...
ICCV
2009
IEEE
16 years 4 months ago
2009
IEEE
Currently, video analysis algorithms suffer from lack of information
regarding the objects present, their interactions,
as well as from missing comprehensive annotated video
dat...
HAID
2007
Springer
15 years 5 months ago
2007
Springer
As the form factors of computational devices diversify, the concept of eyes-free interaction is becoming increasingly relevant: it is no longer hard to imagine use scenarios in whi...