615 search results - page 67 / 123 » Completeness of Combinations of Constructor Systems |
EMNLP
2004
13 years 9 months ago
2004
We describe how simple, commonly understood statistical models, such as statistical dependency parsers, probabilistic context-free grammars, and word-to-word translation models, c...
ICAD
2004
13 years 9 months ago
2004
The Thought-Translation-Device (TTD) is a Brain-ComputerInterface (BCI) that enables completely paralyzed patients to communicate by the use of their brain signals only. Selfregul...
IMAGING
2004
13 years 9 months ago
2004
We investigate the hypothesis, recently published in Nature, that the human visual system may use some sort of luminance-redness correlation2 together with the scene average for i...
CADE
2010
Springer
13 years 8 months ago
2010
Springer
iProver-Eq is an implementation of an instantiation-based calculus Inst-Gen-Eq which is complete for first-order logic with equality. iProver-Eq extends the iProver system with sup...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Suppose a given observation matrix can be decomposed as the sum of a low-rank matrix and a sparse matrix (outliers), and the goal is to recover these individual components from th...