Sciweavers

6941 search results - page 743 / 1389
» Testing as a Certification Approach
Sort
View
ICCAD
2006
IEEE
113views Hardware» more  ICCAD 2006»
16 years 4 months ago
Layer minimization of escape routing in area array packaging
We devise a central triangular sequence to minimize the escape routing layers in area array packaging. We use a network flow model to analyze the bottleneck of the routable pins. ...
Renshen Wang, Rui Shi, Chung-Kuan Cheng
ICCAD
2005
IEEE
160views Hardware» more  ICCAD 2005»
16 years 4 months ago
Equivalence verification of polynomial datapaths with fixed-size bit-vectors using finite ring algebra
— This paper addresses the problem of equivalence verification of RTL descriptions. The focus is on datapathoriented designs that implement polynomial computations over fixed-s...
Namrata Shekhar, Priyank Kalla, Florian Enescu, Si...
CVPR
2010
IEEE
16 years 3 months ago
Temporal Causality for the Analysis of Visual Events
We present a novel approach to the causal temporal analysis of event data from video content. Our key observation is that the sequence of visual words produced by a space-time dic...
Karthir Prabhakar, James Rehg, Ping Wang, Sangmin ...
CVPR
2010
IEEE
16 years 2 months ago
Geo-location estimation from two shadow trajectories
The position of a world point’s solar shadow depends on its geographical location, the geometrical relationship between the orientation of the sunshine and the ground plane wher...
Lin Wu, Xiaochun Cao
ICPR
2010
IEEE
16 years 2 months ago
Partial Face Biometry Using Shape Decomposition on 2D Conformal Maps of Faces
In this paper, we introduce a new approach for partial 3D face recognition, which makes use of shape decomposition over the rigid1 part of a face. To explore the descriptiveness o...
Przemyslaw Szeptycki, Mohsen Ardabilian, Liming Ch...