Sciweavers

4306 search results - page 324 / 862
» Timed Testing with TorX
Sort
View
101
Voted
ICASSP
2009
IEEE
15 years 10 months ago
Adaptive quickest change detection with unknown parameter
Quickest detection of an abrupt distribution change with an unknown time varying parameter is considered. A novel adaptive approach is proposed to tackle this problem, which is sh...
Chengzhi Li, Huaiyu Dai, Husheng Li
VLDB
2002
ACM
112views Database» more  VLDB 2002»
15 years 2 months ago
Fast and Accurate Text Classification via Multiple Linear Discriminant Projections
Abstract. Support vector machines (SVMs) have shown superb performance for text classification tasks. They are accurate, robust, and quick to apply to test instances. Their only po...
Soumen Chakrabarti, Shourya Roy, Mahesh V. Soundal...
DDECS
2008
IEEE
97views Hardware» more  DDECS 2008»
15 years 9 months ago
Incremental SAT Instance Generation for SAT-based ATPG
— Due to ever increasing design sizes more efficient tools for Automatic Test Pattern Generation (ATPG) are needed. Recently ATPG based on Boolean satisfiability (SAT) has been ...
Daniel Tille, Rolf Drechsler
DATE
2003
IEEE
102views Hardware» more  DATE 2003»
15 years 8 months ago
Non-Enumerative Path Delay Fault Diagnosis
The first non-enumerative framework for diagnosing path delay faults using zero suppressed binary decision diagrams is introduced. We show that fault free path delay faults with ...
Saravanan Padmanaban, Spyros Tragoudas
GD
2009
Springer
15 years 8 months ago
On Planar Supports for Hypergraphs
A graph G is a support for a hypergraph H = (V, S) if the vertices of G correspond to the vertices of H such that for each hyperedge Si ∈ S the subgraph of G induced by Si is co...
Kevin Buchin, Marc J. van Kreveld, Henk Meijer, Be...