5499 search results - page 844 / 1100 » Generalized Rewrite Theories |
183
click to vote
ML
2008
ACM
15 years 7 months ago
2008
ACM
Call-by-value languages commonly restrict recursive definitions by only allowing functions and syntactically explicit values in the right-hand sides. As a consequence, some very a...
217
click to vote
KAIS
2006
15 years 7 months ago
2006
Abstract. Many supervised machine learning tasks can be cast as multi-class classification problems. Support vector machines (SVMs) excel at binary classification problems, but the...
155
click to vote
NA
2008
15 years 7 months ago
2008
We treat the evaluation of a fixed-amplitude variable-phase integral of the form b a exp[ikG(x)]dx, where G (x) 0 and has moderate differentiability in the integration interval. ...
182
click to vote
LMCS
2006
15 years 7 months ago
2006
tract Stone Duality) is a re-axiomatisation of general topology in which the topology on a space is treated, not as an infinitary lattice, but as an exponential object of the same...
178
click to vote
NN
2006
Springer
15 years 7 months ago
2006
Springer
Identification of the short DNA sequence motifs that serve as binding targets for transcription factors is an important challenge in bioinformatics. Unsupervised techniques from t...