679 search results - page 43 / 136 » codes 2002 |
109
Voted
HICSS
2002
IEEE
15 years 7 months ago
2002
IEEE
Ideally, software is derived from requirements whose properties have been established as good. However, it is difficult to define and analyze requirements. Moreover, derivation of...
100
Voted
SCAM
2002
IEEE
15 years 7 months ago
2002
IEEE
Tools that analyze and enhance large-scale software systems using symbolic reasoning are computationally expensive, and yet processors are cheap. We believe that enabling tools wi...
110
click to vote
VISUALIZATION
2002
IEEE
15 years 7 months ago
2002
IEEE
We present a method to code the multiresolution structure of a 3D triangle mesh in a manner that allows progressive decoding and efficient rendering at a client machine. The code ...
124
Voted
NIPS
2004
15 years 3 months ago
2004
The representation of acoustic signals at the cochlear nerve must serve a wide range of auditory tasks that require exquisite sensitivity in both time and frequency. Lewicki (2002...
102
click to vote
IEEEPACT
2002
IEEE
15 years 7 months ago
2002
IEEE
Data parallel compilers have long aimed to equal the performance of carefully hand-optimized parallel codes. For tightly-coupled applications based on line sweeps, this goal has b...