Sciweavers

4306 search results - page 511 / 862
» Timed Testing with TorX
Sort
View
ITC
2003
IEEE
148views Hardware» more  ITC 2003»
15 years 9 months ago
HyAC: A Hybrid Structural SAT Based ATPG for Crosstalk
As technology evolves into the deep sub-micron era, signal integrity problems are growing into a major challenge. An important source of signal integrity problems is the crosstalk...
Xiaoliang Bai, Sujit Dey, Angela Krstic
ICPR
2002
IEEE
16 years 5 months ago
Tracking People
This paper describes a real-time computer vision system for tracking people in monocular video sequences. The system tracks people as they move through the camera's field of ...
Ng Kim Piau, Surendra Ranganath
DAC
2001
ACM
16 years 5 months ago
An Algorithm for Bi-Decomposition of Logic Functions
We propose a new BDD-based method for decomposition of multi-output incompletely specified logic functions into netlists of two-input logic gates. The algorithm uses the internal ...
Alan Mishchenko, Bernd Steinbach, Marek A. Perkows...
ICML
2008
IEEE
16 years 5 months ago
Structure compilation: trading structure for features
Structured models often achieve excellent performance but can be slow at test time. We investigate structure compilation, where we replace structure with features, which are often...
Dan Klein, Hal Daumé III, Percy Liang
KDD
2009
ACM
173views Data Mining» more  KDD 2009»
16 years 5 months ago
The offset tree for learning with partial labels
We present an algorithm, called the offset tree, for learning in situations where a loss associated with different decisions is not known, but was randomly probed. The algorithm i...
Alina Beygelzimer, John Langford