9028 search results - page 1379 / 1806 » Human-Computer Interaction Experiments |
196
click to vote
NIME
2005
Springer
16 years 1 months ago
2005
Springer
Bangarama is a music controller using headbanging as the primary interaction metaphor. It consists of a head-mounted tilt sensor and a guitar-shaped controller that does not requi...
239
click to vote
CIKM
2003
Springer
16 years 23 days ago
2003
Springer
Given a snapshot of a social network, can we infer which new interactions among its members are likely to occur in the near future? We formalize this question as the link predicti...
188
click to vote
ICCAD
1995
IEEE
15 years 11 months ago
1995
IEEE
Partitioning for the ASIC designs is examined and the interaction between high-level synthesis and partitioning is studied and incorporated in the solution. Four algorithms (calle...
196
click to vote
WSC
2004
15 years 9 months ago
2004
The concept of operations for a micro-UAV system is adopted from nature from the appearance of flocking birds, movement of a school of fish, and swarming bees among others. This &...
222
click to vote
CADE
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. In the context of deductive program verification, supporting floatingpoint computations is tricky. We propose an expressive language to formally specify behavioral proper...