Sciweavers

897 search results - page 30 / 180
» promise 2010
Sort
View
TAP
2010
Springer
102views Hardware» more  TAP 2010»
15 years 2 months ago
Generating High-Quality Tests for Boolean Circuits by Treating Tests as Proof Encoding
Abstract. We consider the problem of test generation for Boolean combinational circuits. We use a novel approach based on the idea of treating tests as a proof encoding rather than...
Eugene Goldberg, Panagiotis Manolios
99
Voted
ECCV
2010
Springer
15 years 2 days ago
Optimum Subspace Learning and Error Correction for Tensors
Confronted with the high-dimensional tensor-like visual data, we derive a method for the decomposition of an observed tensor into a low-dimensional structure plus unbounded but spa...
DAWAK
2010
Springer
14 years 10 months ago
Discovery and Application of Functional Dependencies in Conjunctive Query Mining
Abstract. We present an algorithm for mining frequent queries in arbitrary relational databases, over which functional dependencies are assumed. Building upon previous results, we ...
Bart Goethals, Dominique Laurent, Wim Le Page
COLING
2010
14 years 4 months ago
Boosting Relation Extraction with Limited Closed-World Knowledge
This paper presents a new approach to improving relation extraction based on minimally supervised learning. By adding some limited closed-world knowledge for confidence estimation...
Feiyu Xu, Hans Uszkoreit, Sebastian Krause, Hong L...
ICASSP
2010
IEEE
14 years 9 months ago
Sparsity maximization under a quadratic constraint with applications in filter design
This paper considers two problems in sparse filter design, the first involving a least-squares constraint on the frequency response, and the second a constraint on signal-to-noi...
Dennis Wei, Alan V. Oppenheim