Sciweavers

729 search results - page 78 / 146
» A Transitive Closure Based Algorithm for Test Generation
Sort
View
ITC
2003
IEEE
148views Hardware» more  ITC 2003»
15 years 3 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
WSCG
2004
158views more  WSCG 2004»
14 years 11 months ago
Fully Automatic Elastic Registration of MR Images with Statistical Feature Extraction
We present a fully automatic scheme for the registration of MR images. The registration is carried out as a combination of an affine and an elastic transformation. The affine part...
Martin Held, Werner Weiser, Franz Wilhelmstöt...
TSP
2008
173views more  TSP 2008»
14 years 9 months ago
Gaussian Mixture Modeling by Exploiting the Mahalanobis Distance
In this paper, the expectation-maximization (EM) algorithm for Gaussian mixture modeling is improved via three statistical tests. The first test is a multivariate normality criteri...
Dimitrios Ververidis, Constantine Kotropoulos
AAAI
2008
15 years 3 days ago
Computing Observation Vectors for Max-Fault Min-Cardinality Diagnoses
Model-Based Diagnosis (MBD) typically focuses on diagnoses, minimal under some minimality criterion, e.g., the minimal-cardinality set of faulty components that explain an observa...
Alexander Feldman, Gregory M. Provan, Arjan J. C. ...
BMCBI
2008
116views more  BMCBI 2008»
14 years 10 months ago
Clustering exact matches of pairwise sequence alignments by weighted linear regression
Background: At intermediate stages of genome assembly projects, when a number of contigs have been generated and their validity needs to be verified, it is desirable to align thes...
Alvaro J. González, Li Liao