12774 search results - page 2398 / 2555 » A Framework for Proof Systems |
181
click to vote
VISUALIZATION
1991
IEEE
15 years 10 months ago
1991
IEEE
or vectors at every mesh point may lead to a very cluttered image. Continuous coloring or data mapping, on the other hand, provide a smooth representation of the data. The use of t...
195
click to vote
SCA
2007
15 years 9 months ago
2007
In this paper, we present an intuitive interface for interactively posing 3D facial expressions. The user can create and edit facial expressions by drawing freeform strokes, or by...
163
click to vote
USENIX
2007
15 years 8 months ago
2007
Data Structure Abstractions for Asynchronous Web Applications Daniel S. Myers MIT CSAIL Jennifer N. Carlisle MIT CSAIL James A. Cowling MIT CSAIL Barbara H. Liskov MIT CSAIL The c...
213
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
In wireless systems, neighbor discovery (ND) is a fundamental building block: determining which devices are within direct radio communication is an enabler for networking protocol...
201
click to vote
DAC
2008
ACM
15 years 8 months ago
2008
ACM
Model order reduction is an efficient technique to reduce the system complexity while producing a good approximation of the input-output behavior. However, the efficiency of reduc...