Sciweavers

6693 search results - page 139 / 1339
» Methods of Automatic Algorithm Generation
Sort
View
ATS
2003
IEEE
98views Hardware» more  ATS 2003»
15 years 10 months ago
Automatic Design Validation Framework for HDL Descriptions via RTL ATPG
We present a framework for high-level design validation using an efficient register-transfer level (RTL) automatic test pattern generator (ATPG). The RTL ATPG generates the test ...
Liang Zhang, Michael S. Hsiao, Indradeep Ghosh
BMCBI
2010
78views more  BMCBI 2010»
15 years 4 months ago
The curvHDR method for gating flow cytometry samples
High-throughput flow cytometry experiments produce hundreds of large multivariate samples of cellular characteristics. These samples require specialized processing to obtain clini...
Ulrike Naumann, George Luta, Matthew P. Wand
JMLR
2012
13 years 7 months ago
Primal-Dual methods for sparse constrained matrix completion
We develop scalable algorithms for regular and non-negative matrix completion. In particular, we base the methods on trace-norm regularization that induces a low rank predicted ma...
Yu Xin, Tommi Jaakkola
SMI
2007
IEEE
164views Image Analysis» more  SMI 2007»
15 years 11 months ago
Automatic multiview quadruple alignment of unordered range scans
This paper presents a new multiview alignment algorithm that performs both the coarse and fine alignment of unordered sets of range scans. Our algorithm selects quadruples of ran...
Frank B. ter Haar, Remco C. Veltkamp
ACL
2012
13 years 7 months ago
Joint Learning of a Dual SMT System for Paraphrase Generation
SMT has been used in paraphrase generation by translating a source sentence into another (pivot) language and then back into the source. The resulting sentences can be used as can...
Hong Sun, Ming Zhou