Sciweavers

1813 search results - page 56 / 363
» Instance Pruning Techniques
Sort
View
AICCSA
2006
IEEE
107views Hardware» more  AICCSA 2006»
15 years 1 months ago
Exciting Stuck-Open faults in CMOS Circuits Using ILP Techniques
To excite a stuck-open fault in a CMOS combinational circuit, it is only necessary that the output of the gate containing the fault takes on opposite values during the application...
Fadi A. Aloul, Assim Sagahyroon, Bashar Al Rawi
DSD
2010
IEEE
171views Hardware» more  DSD 2010»
14 years 10 months ago
Test Patterns Compression Technique Based on a Dedicated SAT-Based ATPG
— In this paper we propose a new method of test patterns compression based on a design of a dedicated SAT-based ATPG (Automatic Test Pattern Generator). This compression method i...
Jiri Balcarek, Petr Fiser, Jan Schmidt
ICIP
2007
IEEE
16 years 1 months ago
Hierarchical Tensor Approximation of Multidimensional Images
Visual data comprises of multi-scale and inhomogeneous signals. In this paper, we exploit these characteristics and develop an adaptive data approximation technique based on a hie...
Qing Wu, Tian Xia, Yizhou Yu
GCB
1997
Springer
74views Biometrics» more  GCB 1997»
15 years 4 months ago
Using constraint programming for lattice protein folding
We present a global search technique for nding the global minimal conformation of a sequence in Dill's HP-lattice model5;6 . The HP-lattice model is a simpli ed model of prot...
Rolf Backofen
ANTS
2010
Springer
246views Algorithms» more  ANTS 2010»
15 years 3 months ago
On the Extremality of an 80-Dimensional Lattice
Abstract. We show that a specific even unimodular lattice of dimension 80, first investigated by Schulze-Pillot and others, is extremal (i.e., the minimal nonzero norm is 8). Thi...
Damien Stehlé, Mark Watkins