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...
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...
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...
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...
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...