5964 search results - page 63 / 1193 » A theory of speculative computation |
170
click to vote
FROCOS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
142
click to vote
ENTCS
2011
14 years 11 months ago
2011
We preliminarily recap what is meant by complexity and non-Turing computation, by way of explanation of our title, ‘Computational Complexity in Non-Turing Models of Computation�...
104
click to vote
NSPW
2004
ACM
15 years 9 months ago
2004
ACM
This paper presents a new paradigm for information theory which is a synthesis of Barwise-Seligman’s qualitative theory and Shannon’s quantitative theory. The new paradigm is ...
135
click to vote
ICPADS
2005
IEEE
15 years 9 months ago
2005
IEEE
: Image registration is a technique usually used for aligning two different images taken at different times and/or from different viewing points. A key challenge for medical image ...