Sciweavers

4057 search results - page 242 / 812
» Linear combination of transformations
Sort
View
ICCAD
1996
IEEE
95views Hardware» more  ICCAD 1996»
15 years 10 months ago
Semi-analytical techniques for substrate characterization in the design of mixed-signal ICs
A number of methods are presentedfor highly efficient calculation of substratecurrenttransport. A three-dimensionalGreen'sFunction based substrate representation, in combinat...
Edoardo Charbon, Ranjit Gharpurey, Alberto L. Sang...
AAAI
2007
15 years 8 months ago
Detection of Multiple Deformable Objects using PCA-SIFT
In this paper, we address the problem of identifying and localizing multiple instances of highly deformable objects in real-time video data. We present an approach which uses PCA-...
Stefan Zickler, Alexei A. Efros
CAV
2010
Springer
286views Hardware» more  CAV 2010»
15 years 6 months ago
ABC: An Academic Industrial-Strength Verification Tool
ABC is a public-domain system for logic synthesis and formal verification of binary logic circuits appearing in synchronous hardware designs. ABC combines scalable logic transforma...
Robert K. Brayton, Alan Mishchenko
CORR
2010
Springer
79views Education» more  CORR 2010»
15 years 6 months ago
Variable elimination for building interpreters
In this paper, we build an interpreter by reusing host language functions instead of recoding mechanisms of function application that are already available in the host language (t...
Julien Cohen, Jean-Louis Giavitto, Olivier Michel
JGTOOLS
2008
109views more  JGTOOLS 2008»
15 years 6 months ago
Fast Equal-Area Mapping of the (Hemi)Sphere using SIMD
We present a fast vectorized implementation of a transform that maps points in the unit square to the surface of the sphere, while preserving fractional area. The mapping uses the ...
Petrik Clarberg