Sciweavers

3984 search results - page 397 / 797
» A Model-Driven Transformation Method
Sort
View
DATE
1999
IEEE
86views Hardware» more  DATE 1999»
15 years 11 months ago
Glitch Power Minimization by Gate Freezing
This paper presents a technique for glitch power minimization in combinational circuits. The total number of glitches is reduced by replacing some existing gates with functionally...
Luca Benini, Giovanni De Micheli, Alberto Macii, E...
CBMS
1997
IEEE
15 years 11 months ago
3D reconstruction of magnetic resonance imaging using largely spaced slices
This paper presents a full process of reconstruction of magnetic resonance images. The first step is to bring theacquired data fromthefrequencydomain,using a FastFourier Transform...
Agma J. M. Traina, Afonso H. M. A. Prado, Josiane ...
INFOVIS
1997
IEEE
15 years 11 months ago
Nonlinear Magnification Fields
Thematic variables are commonly used to encode additional information such as population density within the spatial layout of a map. Such «themes» are typically encoded using co...
Alan Keahey, Edward L. Robertson
SIGGRAPH
1997
ACM
15 years 11 months ago
Processing images and video for an impressionist effect
This paper describes a technique that transforms ordinary video segments into animations that have a hand-painted look. Our method is the first to exploit temporal coherence in vi...
Peter Litwinowicz
LICS
1994
IEEE
15 years 10 months ago
Higher-Order Narrowing
Higher-order narrowing is a general method for higher-order equational reasoning and serves for instance as the foundation for the integration of functional and logic programming. ...
Christian Prehofer