Sciweavers

3346 search results - page 350 / 670
» A Generic Rendering System
Sort
View
VISUALIZATION
2000
IEEE
15 years 11 months ago
A level-set method for flow visualization
In this paper we propose a technique for visualizing steady flow. Using this technique, we first convert the vector field data into a scalar level-set representation. We then a...
Rüdiger Westermann, Christopher Johnson, Thom...
MM
2000
ACM
131views Multimedia» more  MM 2000»
15 years 11 months ago
A virtual media (Vmedia) JPEG 2000 interactive image browser
A Vmedia JPEG 2000 interactive image browser is developed. Two key technologies make our system unique: it is the first to implement the decoder ROI access functionality of JPEG 2...
Jin Li, Hong-Hui Sun
SIGGRAPH
2000
ACM
15 years 11 months ago
Interactive multi-pass programmable shading
Programmable shading is a common technique for production animation, but interactive programmable shading is not yet widely available. We support interactive programmable shading ...
Mark S. Peercy, Marc Olano, John Airey, P. Jeffrey...
CADE
2000
Springer
15 years 11 months ago
Automated Proof Construction in Type Theory Using Resolution
We provide techniques to integrate resolution logic with equality in type theory. The results may be rendered as follows. − A clausification procedure in type theory, equipped w...
Marc Bezem, Dimitri Hendriks, Hans de Nivelle
ITC
1998
IEEE
61views Hardware» more  ITC 1998»
15 years 11 months ago
Test session oriented built-in self-testable data path synthesis
Existing high-level BIST synthesis methods focus on one objective, minimizing either area overhead or test time. Hence, those methods do not render exploration of large design spa...
Han Bin Kim, Takeshi Takahashi, Dong Sam Ha