1000 search results - page 13 / 200 » order 2011 |
JAIR
2011
14 years 4 months ago
2011
In this paper, we propose a comprehensive study of second-order consistencies (i.e., consistencies identifying inconsistent pairs of values) for constraint satisfaction. We build ...
SIAMSC
2011
14 years 4 months ago
2011
Abstract. In this paper, we propose new adaptive local refinement (ALR) strategies for firstorder system least-squares (FOSLS) finite element in conjunction with algebraic multi...
87
Voted
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
In this work we concentrate on generating compound words with high order n-gram information for speech recognition. In most existing compound words generation methods, only bi-gra...
103
Voted
SAC
2011
ACM
14 years 10 days ago
2011
ACM
Higher-Order Logic (HOL) is based on a small logic kernel, whose
DCC
2011
IEEE
14 years 4 months ago
2011
IEEE
In this paper all cocyclic Hadamard matrices of order less than 40 are classified. That is, all such Hadamard matrices are explicitly constructed, up to Hadamard equivalence. Thi...