7623 search results - page 1258 / 1525 » Constructive Volume Modeling |
132
click to vote
DCC
2004
IEEE
16 years 4 months ago
2004
IEEE
Abstract: We consider lossy source coding when side information affecting the distortion measure may be available at the encoder, decoder, both, or neither. For example, such disto...
112
click to vote
PLDI
2010
ACM
16 years 1 months ago
2010
ACM
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algor...
131
click to vote
ICCAD
2004
IEEE
16 years 1 months ago
2004
IEEE
Closed formed expressions for buffered interconnect delay approximation have been around for some time. However, previous approaches assume that buffers are free to be placed anyw...
130
click to vote
IUI
2009
ACM
16 years 1 months ago
2009
ACM
The small physical size of mobile devices imposes dramatic restrictions on the user interface (UI). With the ever increasing capacity of these devices as well as access to large o...
122
click to vote
CSCW
2010
ACM
16 years 1 months ago
2010
ACM
The success of Wikipedia and the relative high quality of its articles seem to contradict conventional wisdom. Recent studies have begun shedding light on the processes contributi...