Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Interactive_computation> ?p ?o }
Showing triples 1 to 42 of
42
with 100 triples per page.
- Interactive_computation abstract "In computer science, interactive computation is a mathematical model for computation that involves input/output communication with the external world during computation. This is in contrast to the traditional understanding of computation which assumes reading input only before computation and writing output only after computation, thus defining a kind of \"closed\" computation.The famous Church-Turing thesis attempts to define computation and computability in terms of Turing machines. However the Turing machine model only provides an answer to the question of what computability of functions means and, with interactive tasks not always being reducible to functions, it fails to capture our broader intuition of computation and computability. While this fact was admitted by Alan Turing himself, it was not until recently that the theoretical computer science community realized the necessity to define adequate mathematical models of interactive computation. Among the currently studied mathematical models of computation that attempt to capture interaction are Japaridze's hard- and easy-play machines elaborated within the framework of computability logic, Goldin's persistent Turing machines, and Gurevich's abstract state machines. Peter Wegner has additionally done a great deal of work on this area of computer science.".
- Interactive_computation wikiPageExternalLink ~gurevich.
- Interactive_computation wikiPageExternalLink home.html.
- Interactive_computation wikiPageExternalLink ~japaridz.
- Interactive_computation wikiPageExternalLink ~dqg.
- Interactive_computation wikiPageExternalLink ~dqg.
- Interactive_computation wikiPageExternalLink gasm.
- Interactive_computation wikiPageID "649418".
- Interactive_computation wikiPageLength "2505".
- Interactive_computation wikiPageOutDegree "16".
- Interactive_computation wikiPageRevisionID "628082587".
- Interactive_computation wikiPageWikiLink Alan_Turing.
- Interactive_computation wikiPageWikiLink Category:Theoretical_computer_science.
- Interactive_computation wikiPageWikiLink Category:Theory_of_computation.
- Interactive_computation wikiPageWikiLink Church–Turing_thesis.
- Interactive_computation wikiPageWikiLink Computability_logic.
- Interactive_computation wikiPageWikiLink Computation.
- Interactive_computation wikiPageWikiLink Computer_science.
- Interactive_computation wikiPageWikiLink Game_semantics.
- Interactive_computation wikiPageWikiLink Human-based_computation.
- Interactive_computation wikiPageWikiLink output.
- Interactive_computation wikiPageWikiLink Interactive_programming.
- Interactive_computation wikiPageWikiLink Mathematical_model.
- Interactive_computation wikiPageWikiLink Peter_Wegner.
- Interactive_computation wikiPageWikiLink Quasi-empiricism_in_mathematics.
- Interactive_computation wikiPageWikiLink Turing_machine.
- Interactive_computation wikiPageWikiLinkText "Interactive computation".
- Interactive_computation wikiPageWikiLinkText "interactive computation".
- Interactive_computation subject Category:Theoretical_computer_science.
- Interactive_computation subject Category:Theory_of_computation.
- Interactive_computation hypernym Model.
- Interactive_computation type Area.
- Interactive_computation type Person.
- Interactive_computation type Area.
- Interactive_computation comment "In computer science, interactive computation is a mathematical model for computation that involves input/output communication with the external world during computation. This is in contrast to the traditional understanding of computation which assumes reading input only before computation and writing output only after computation, thus defining a kind of \"closed\" computation.The famous Church-Turing thesis attempts to define computation and computability in terms of Turing machines.".
- Interactive_computation label "Interactive computation".
- Interactive_computation sameAs Q6045374.
- Interactive_computation sameAs Computação_interativa.
- Interactive_computation sameAs m.02_h8_.
- Interactive_computation sameAs Q6045374.
- Interactive_computation wasDerivedFrom Interactive_computation?oldid=628082587.
- Interactive_computation isPrimaryTopicOf Interactive_computation.