Peter Wegner and Dina Goldin Brown University Providence, RI  Home/Search
Context Related
| brown.edu/people/pw/papers/cm.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: uconn.edu/~dqg/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The irreducibility of interactive to algorithmic computing requires fundamental questions concerning models of computation to be reexamined. This paper reviews single-stream and multiple-stream interaction machines, extensions of set theory and algebra for models of sequential interaction, and interactive extensions of the Turing test. It motivates the use of interactive models as a basis for applications to computer architecture, software engineering, and arti cial intelligence. (Update)
Cited by: More
IS=DBS+Interaction: Towards Principles of Information.. - Goldin, Srinivasa.. (2000) (Correct)
Towards Foundations of Information Systems Based on Interaction.. - Srinivasa (2001) (Correct)
Active Databases as Information Systems - Dina Goldin Computer (Correct)
Similar documents (at the sentence level):
23.4%: Mathematical Models of Interactive Computing - Wegner, Goldin (1999) (Correct)
7.3%: Towards Empirical Computer Science - Wegner (1998) (Correct)
Active bibliography (related documents): More All
1.3: Coinductive Models of Finite Computing Agents - Wegner, Goldin (1999) (Correct)
0.3: Interactive Foundations of Computing - Wegner (1997) (Correct)
0.3: Adding Functional Programming into the Holo Language - Bois, Barbosa, Geyer (2001) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text:
0.3: Turing Machines, Transition Systems, and Interaction - Goldin, Smolka, Wegner (2000) (Correct)
Related documents from co-citation: More All
12: Why Interaction Is More Powerful Than Algorithms - Peter - 1997
9: Persistent Turing Machines as a Model of Interactive Computation - Goldin - 2000
8: The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1992
BibTeX entry: (Update)
Peter Wegner, Dina Goldin. Interaction as a Framework for Modeling. To appear in LNCS #1565. 13 http://citeseer.ist.psu.edu/710298.html More
@article{ wegner99interaction,
author = "Peter Wegner and Dina Goldin",
title = "Interaction as a Framework for Modeling",
journal = "Lecture Notes in Computer Science",
volume = "1565",
pages = "243--257",
year = "1999",
url = "citeseer.ist.psu.edu/710298.html" }
Citations (may not include all citations):1180 The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1992
176 Computing Machinery and Intelligence (context) - Turing - 1950
159 Non Well-Founded Sets (context) - Aczel - 1988
111 Readings in Object-Oriented Database Systems (context) - Zdonik, Maier - 1990
95 On Computable Numbers with an Application to the Entscheidun.. (context) - Turing - 1936
94 Why Interaction is More Powerful Than Algorithms - Wegner - 1997
84 The Emperor's New Mind (context) - Penrose - 1989
71 The Behavioral and Brain Sciences (context) - Searle, Brains - 1980
48 Emotional Intelligence (context) - Goleman - 1997
45 Interactive Foundations of Computing - Wegner - 1998
37 Information Modeling: An Object-Oriented Approach (context) - Kilov, Ross - 1994
36 CSLI Lecture Notes (context) - Barwise, Moss et al. - 1996
31 Systems of Logic Based on Ordinals (context) - Turing - 1939
27 Chu Spaces and their Interpretation as Concurrent Objects - Pratt - 1995
17 The Entity Relationship Model: Towards a Uni ed View of Data (context) - Chen - 1976
14 Operational and Algebraic Semantics of Concurrent Processes (context) - Milner - 1990
8 Mathematical Models of Interactive Computing - Wegner, Goldin - 1998
6 Towards Empirical Computer Science - Wegner - 1999
3 Between Reasoning and Modeling (context) - Wegner - 1993
3 Finsler Set Theory: Platonism and Circularity (context) - Finsler - 1996
3 Handbook of Computer Science and Engineering (context) - Wegner, Technology - 1996
2 A Tutorial on Coalgebras and Coinduction (context) - Rutten - 1997
1 anthology edited by Henry Hardy and Roger Hausheer (context) - Berlin, Study et al. - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cse.uconn.edu/~dqg/papers/): More
Variable Independence and Aggregation Closure - Chomicki, Goldin, Kuper (1996) (Correct)
Active Databases as Information Systems - Dina Goldin Computer (Correct)
Coinductive Models of Finite Computing Agents - Wegner, Goldin (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC