5964 search results - page 303 / 1193 » A theory of speculative computation |
203
click to vote
CALCO
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. This is a theoretical paper giving the extended Stone duality perspective on the recently discovered connection between duality theory as studied in non-classical logic a...
328
click to vote
AISC
2010
Springer
16 years 7 days ago
2010
Springer
Krawtchouk polynomials appear in a variety of contexts, most notably as orthogonal polynomials and in coding theory via the Krawtchouk transform. We present an operator calculus fo...
210
click to vote
COSIT
1999
Springer
15 years 11 months ago
1999
Springer
We extend the theory about terminological default reasoning by using a logical base language that can represent spatioterminological phenomena. Based on this description logic lang...
238
click to vote
LPNMR
1999
Springer
15 years 11 months ago
1999
Springer
This paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action langua...
185
click to vote
EUROCAST
1997
Springer
15 years 11 months ago
1997
Springer
We show how to use recursive function theory to prove Turing universality of finite analog recurrent neural nets, with a piecewise linear sigmoid function as activation function. W...