Sciweavers

3984 search results - page 323 / 797
» A Model-Driven Transformation Method
Sort
View
CAIP
1997
Springer
161views Image Analysis» more  CAIP 1997»
15 years 10 months ago
A Framework for Feature-Based Motion Recovery in Ground Plane Vehicle Navigation
This paper describes a feature point matching strategy and motion recovery applied to vehicle navigation. A transformation of the image plane is used that keeps the motion of the v...
José M. Sanchiz, Filiberto Pla, John A. Mar...
COCO
1997
Springer
144views Algorithms» more  COCO 1997»
15 years 10 months ago
Polynomial Vicinity Circuits and Nonlinear Lower Bounds
We study families of Boolean circuits with the property that the number of gates at distance t fanning into or out of any given gate in a circuit is bounded above by a polynomial ...
Kenneth W. Regan
DAC
1996
ACM
15 years 10 months ago
A Parallel Precorrected FFT Based Capacitance Extraction Program for Signal Integrity Analysis
In order to optimize interconnect to avoid signal integrity problems, very fast and accurate 3-D capacitance extraction is essential. Fast algorithms, such as the multipole or prec...
Narayan R. Aluru, V. B. Nadkarni, James White
ICCD
1994
IEEE
142views Hardware» more  ICCD 1994»
15 years 10 months ago
Grammar-Based Optimization of Synthesis Scenarios
Systems for multi-level logic optimization are usually based on a set of specialized, loosely-related transformations which work on a network representation. The sequence of trans...
Andreas Kuehlmann, Lukas P. P. P. van Ginneken
CAV
2009
Springer
165views Hardware» more  CAV 2009»
15 years 10 months ago
Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences
Designers often apply manual or semi-automatic loop and data transformations on array and loop intensive programs to improve performance. The transformations should preserve the fu...
Sven Verdoolaege, Gerda Janssens, Maurice Bruynoog...