755 search results - page 80 / 151 » ideas 2005 |
85
Voted
CHI
2005
ACM
16 years 29 days ago
2005
ACM
ImproViz is a visualization technique for diagramming music that brings to light the signature patterns of a jazz musician's improvisational style. ImproViz consists of two p...
83
Voted
CHI
2005
ACM
16 years 29 days ago
2005
ACM
This paper discusses the design of a physical and digital system intended to allow for easy manipulation and interaction with the tremendous amount of options present in advanced ...
95
Voted
CHI
2005
ACM
16 years 29 days ago
2005
ACM
Physical and social interactions are constrained, and natural interactions are lost in most of present digital family entertainment systems [5]. Magic Cubes strive for bringing th...
208
Voted
POPL
2005
ACM
16 years 27 days ago
2005
ACM
Traditional class and object encodings are difficult to use in practical type-preserving compilers because of the complexity of the encodings. We propose a simple typed intermedia...
181
Voted
POPL
2005
ACM
16 years 27 days ago
2005
ACM
This paper proposes a novel approach to shape analysis: using local reasoning about individual heap locations of global reasoning about entire heap abstractions. We present an int...