2364 search results - page 362 / 473 » An Engine for Computing Well-Founded Models |
159
click to vote
VIS
2005
IEEE
16 years 5 months ago
2005
IEEE
In this paper, we present a volume roaming system dedicated to oil and gas exploration. Our system combines probebased volume rendering with data processing and computing. The dai...
151
click to vote
SMA
2008
ACM
15 years 4 months ago
2008
ACM
An algorithm and implementation is presented to compute the exact arrangement induced by arbitrary algebraic surfaces on a parametrized ring Dupin cyclide. The family of Dupin cyc...
157
click to vote
VIS
2004
IEEE
16 years 5 months ago
2004
IEEE
Computational simulation of time-varying physical processes is of fundamental importance for many scientific and engineering applications. Most frequently, time-varying simulation...
117
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
In 90-nm technology, dynamic power is still the largest power source in FPGAs [1], and signal glitches contribute a large portion of the dynamic power consumption. Previous powera...
135
click to vote
CHI
2009
ACM
16 years 5 months ago
2009
ACM
This paper presents a case study of the NASA Ames Research Center HCI Group's design and development of a problem reporting system for NASA's next generation vehicle (to...