1594 search results - page 215 / 319 » An Algorithm to Compute Collusion Paths |
140
click to vote
DAC
1994
ACM
15 years 7 months ago
1994
ACM
In current research, the minimum cycle times of finite state machines are estimated by computing the delays of the combinational logic in the finite state machines. Even though th...
135
click to vote
CVPR
2008
IEEE
16 years 5 months ago
2008
IEEE
We present a fully probabilistic stick-figure model that uses a nonparametric Bayesian distribution over trees for its structure prior. Sticks are represented by nodes in a tree i...
135
Voted
ICPR
2006
IEEE
16 years 4 months ago
2006
IEEE
Dynamic Time Warping (DTW) has been widely used to align and compare two sequences. DTW can efficiently deal with local warp or deformation between sequences. However, it can'...
113
click to vote
DAC
2004
ACM
16 years 4 months ago
2004
ACM
Starting from a model of the within-die systematic variations using principal components analysis, a model is proposed for estimation of the parametric yield, and is then applied ...
132
click to vote
DAC
2006
ACM
16 years 4 months ago
2006
ACM
In this paper, we present a method that helps improve the performance of Bounded Model Checking by automatically strengthening invariants so that the termination proof may be obta...