5964 search results - page 100 / 1193 » A theory of speculative computation |
149
click to vote
CIE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We show that many so called discrete weak semilattices considered earlier in a series of author’s publications have hereditary undecidable first-order theories. Since ...
111
Voted
CGF
2008
15 years 4 months ago
2008
We present an approach for extracting extremal feature lines of scalar indicators on surface meshes, based on discrete Morse Theory. By computing initial Morse-Smale complexes of ...
116
click to vote
COLING
2004
15 years 4 months ago
2004
cross-linguistically valid claims about which discourses are easier to process, abstracting away from specific algorithms for anaphora resolution or anaphora generation (although m...
170
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
Abstract. Notoriously, quantum computation shatters complexity theory, but is innocuous to computability theory [17]. Yet several works have shown how quantum theory as it stands c...
126
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
Novelty detection is concerned with identifying abnormal system behaviours and abrupt changes from one regime to another. This paper proposes an on-line (causal) novelty detection...