4401 search results - page 602 / 881 » Computing with Default Logic |
147
click to vote
CHI
2007
ACM
16 years 5 months ago
2007
ACM
It is difficult to design and test location-enhanced applications. A large part of this difficulty is due to the added complexity of supporting location. Wizard of Oz (WOz) has be...
160
Voted
ICCD
2008
IEEE
16 years 2 months ago
2008
IEEE
—One of the major design verification challenges in the development of Anton, a massively parallel special-purpose machine for molecular dynamics, was to provide evidence that co...
135
click to vote
PEPM
2009
ACM
16 years 2 months ago
2009
ACM
This article introduces a new program transformation in order to enhance the numerical accuracy of floating-point computations. We consider that a program would return an exact r...
165
click to vote
SI3D
2010
ACM
15 years 12 months ago
2010
ACM
Obscurance and Ambient Occlusion (AO) are popular techniques in both film and games that model how ambient light is shadowed. While it is largely a solved problem for static scen...
135
Voted
IPPS
2009
IEEE
15 years 11 months ago
2009
IEEE
We propose a novel design estimation method for adaptive streaming applications to be implemented on a partially reconfigurable FPGA. Based on experimental results we enable accu...