Sciweavers

7393 search results - page 281 / 1479
» Synthesis-for-testability using transformations
Sort
View
DAC
1994
ACM
15 years 8 months ago
Optimizing Resource Utilization and Testability Using Hot Potato Techniques
This paper introduces hot potato high level synthesis transformation techniques. These techniques add deflection operations in a computation in such a way that a specific goal is ...
Miodrag Potkonjak, Sujit Dey
AAAI
2007
15 years 6 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
JGTOOLS
2008
109views more  JGTOOLS 2008»
15 years 4 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
IEEECIT
2010
IEEE
15 years 2 months ago
Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA
This article focuses on the essence and distinctive features of the AADL behavioral aspects, for which we use the code generation infrastructure of the synchronous modeling enviro...
Yue Ma, Jean-Pierre Talpin, Thierry Gautier
CORR
2010
Springer
108views Education» more  CORR 2010»
15 years 1 months ago
Affine Invariant, Model-Based Object Recognition Using Robust Metrics and Bayesian Statistics
We revisit the problem of model-based object recognition for intensity images and attempt to address some of the shortcomings of existing Bayesian methods, such as unsuitable prior...
Vasileios Zografos, Bernard F. Buxton