2465 search results - page 175 / 493 » Automata on Linear Orderings |
SIGIR
2006
ACM
14 years 4 months ago
2006
ACM
Large scale learning is often realistic only in a semi-supervised setting where a small set of labeled examples is available together with a large collection of unlabeled data. In...
RTA
2010
Springer
14 years 2 months ago
2010
Springer
For the whole class of linear term rewriting systems and for each integer k, we define k-bounded rewriting as a restriction of the usual notion of rewriting. We show that the k-bo...
BMCBI
2006
13 years 10 months ago
2006
Background: The identification of differentially expressed genes (DEGs) from Affymetrix GeneChips arrays is currently done by first computing expression levels from the low-level ...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
— Block based motion compensation techniques are commonly used in video encoding to reduce the temporal redundancy of the signal. In these techniques, each block in a video frame...
HASKELL
2006
ACM
14 years 4 months ago
2006
ACM
Many numerical algorithms are specified in terms of operations on vectors and matrices. Matrix operations can be executed extremely efficiently using specialized linear algebra k...