Add to ORKGabstract: Modern computers interact with the external environment in complex ways — for instance, they interact with human users via keyboards, mouses, monitors, etc., and with other computers via networking. Existing models of computation — Turing machines, λ-calculus functions, etc. — cannot model these behaviors completely. Some additional conceptual apparatus is required in order to model processes of interactive computation
In this article, we show that, in agreement with Alan Turing’s original view, but contrary to many o...
This Turing Year has been the occasion for lively debates about the nature of computing. Are we on t...
htmlabstractWe enhance the notion of a computation of the classical theory of computing with the no...
Abstract. We enhance the notion of a computation of the classical the-ory of computing with the noti...
We enhance the notion of a computation of the classical theory of computing with the notion of inter...
The increased interactivity and connectivity of computational devices along with the spreading of co...
In [31] a theory of human computation, analogous to Turing’s theory of ma-chine computation is discu...
classical view of computing positions computation as a closed-box transformation of inputs (rational...
Nowadays computation is typically understood through the Turing machine model, in the fields of comp...
AbstractThe claim that interactive systems have richer behavior than algorithms is surprisingly easy...
The notion of computation is well understood, and well formalized, in the classical context of digit...
It is a great pleasure to write this tribute in honor of Scott A. Smolka on his 65th birthday. We re...
AbstractThis paper reviews and extends previous work on the domain-theoretic notion of Machine Devel...
What is the relation between intelligence and computation? Although the difficulty of defining "...
This paper reviews and extends previous work on the domain-theoretic notion of Machine Development. ...
In this article, we show that, in agreement with Alan Turing’s original view, but contrary to many o...
This Turing Year has been the occasion for lively debates about the nature of computing. Are we on t...
htmlabstractWe enhance the notion of a computation of the classical theory of computing with the no...
Abstract. We enhance the notion of a computation of the classical the-ory of computing with the noti...
We enhance the notion of a computation of the classical theory of computing with the notion of inter...
The increased interactivity and connectivity of computational devices along with the spreading of co...
In [31] a theory of human computation, analogous to Turing’s theory of ma-chine computation is discu...
classical view of computing positions computation as a closed-box transformation of inputs (rational...
Nowadays computation is typically understood through the Turing machine model, in the fields of comp...
AbstractThe claim that interactive systems have richer behavior than algorithms is surprisingly easy...
The notion of computation is well understood, and well formalized, in the classical context of digit...
It is a great pleasure to write this tribute in honor of Scott A. Smolka on his 65th birthday. We re...
AbstractThis paper reviews and extends previous work on the domain-theoretic notion of Machine Devel...
What is the relation between intelligence and computation? Although the difficulty of defining "...
This paper reviews and extends previous work on the domain-theoretic notion of Machine Development. ...
In this article, we show that, in agreement with Alan Turing’s original view, but contrary to many o...
This Turing Year has been the occasion for lively debates about the nature of computing. Are we on t...
htmlabstractWe enhance the notion of a computation of the classical theory of computing with the no...