6045 search results - page 305 / 1209 » Computable Linearizations of Well-partial-orderings |
178
click to vote
DCC
1998
IEEE
15 years 7 months ago
1998
IEEE
A group code defined over a group G is a subset of Gn which forms a group under componentwise group operation. The well known matrix characterization of MDS (Maximum Distance Sepa...
237
click to vote
TCS
1998
15 years 7 months ago
1998
A method is described for proving “always possibly” properties of specifications in formalisms with linear-time trace semantics. It is shown to be relatively complete for TLA...
195
click to vote
ACL
2010
15 years 5 months ago
2010
We investigate a recently proposed Bayesian adaptation method for building style-adapted maximum entropy language models for speech recognition, given a large corpus of written la...
295
click to vote
CVPR
2011
IEEE
15 years 3 months ago
2011
IEEE
Recently the sparse representation (or coding) based classification (SRC) has been successfully used in face recognition. In SRC, the testing image is represented as a sparse lin...
215
click to vote
CAP
2010
15 years 2 months ago
2010
The multiplication of the sparse multivariate polynomials using the recursive representations is revisited to take advantage on the multicore processors. We take care of the memor...