3130 search results - page 536 / 626 » Design Correctness of Digital Systems |
150
Voted
IUI
2004
ACM
15 years 8 months ago
2004
ACM
In this paper, we describe a new approach to the creation of virtual environments, which uses qualitative physics to implement object behaviour. We adopted Qualitative Process The...
117
Voted
IUI
2004
ACM
15 years 8 months ago
2004
ACM
Technical support procedures are typically very complex. Users often have trouble following printed instructions describing how to perform these procedures, and these instructions...
148
click to vote
MM
2004
ACM
15 years 8 months ago
2004
ACM
Approximately 2 degrees in our 140 degree vision span has sharp vision. Many researchers have been fascinated by the idea of eyetracking integrated perceptual compression of an im...
145
Voted
MOBICOM
2004
ACM
15 years 8 months ago
2004
ACM
Advances in wireless communication, storage and processing are realizing next-generation in-vehicle entertainment systems. Even if hundreds of different video or audio titles are...
144
Voted
PLDI
2004
ACM
15 years 8 months ago
2004
ACM
It has long been known that a fixed ordering of optimization phases will not produce the best code for every application. One approach for addressing this phase ordering problem ...