6045 search results - page 242 / 1209 » Computable Linearizations of Well-partial-orderings |
MVA
1998
13 years 8 months ago
1998
In this paper, we present a fast method for the detection of die extrusion defects in IC packages. The optical and lighting set-up as well as the details of the algorithm used for ...
SPAA
2010
ACM
13 years 6 months ago
2010
ACM
We describe parallel implementations of LU factorization with pivoting for multicore architectures. Implementations that differ in two different dimensions are discussed: (1) usin...
ACL
2010
13 years 6 months ago
2010
We propose a global algorithm for learning entailment relations between predicates. We define a graph structure over predicates that represents entailment relations as directed ed...
ACL
2009
13 years 6 months ago
2009
This paper presents an unsupervised opinion analysis method for debate-side classification, i.e., recognizing which stance a person is taking in an online debate. In order to hand...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
We derive closed formulas for the condition number of a linear function of the total least squares solution. Given an over determined linear systems Ax = b, we show that this condi...