Skip to search formSkip to main contentSkip to account menu

Theory of computation

Known as: Computational theory, Computation theory, Theory (disambiguation) 
In theoretical computer science and mathematics, the theory of computation is the branch that deals with how efficiently problems can be solved on a… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
ACM Turing AwardAbstract machineAutomata theoryBachelor of Computer Science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
Commentary: Research Needed on Cross-Cultural Generational Knowledge Flows
The primary concern for this commentary is to examine and assess the current state of the research performed in the domain of… 
2006
2006
Small Sweeping 2NFAs Are Not Closed Under Complement
A two-way nondeterministic finite automaton is sweeping (snfa) if its input head can change direction only on the end-markers… 
2006
2006
Theory of Computation (Texts in Computer Science)
This textbook is uniquely written with dual purpose. It cover cores material in the foundations of computing for graduate… 
2005
2005
Information Retrieval and Categorisation using a Cell Assembly Network
Simulated networks of spiking leaky integrators are used to categorise and for Information Retrieval (IR). Neurons in the network… 
2003
2003
Parallelization of the QC-Lib Quantum Computer Simulator Library
We report on work to parallelize QC-lib, a C++ library for the simulation of quantum computers at an abstract functional level… 
Highly Cited
2000
Highly Cited
2000
Function-Follows-Form Transformations in Scientific Problem Solving
This paper presents a pattern of reasoning called “function-follows-form” (FFF) uncovered through a study of scientific problem… 
1997
1997
An Analogical Theory of Creativity in Design
Creative design often involves large, complex modifications to the design topology. Making these modifications typically requires… 
1994
1994
Stereo Correspondence Based on Line Matching in Hough Space Using Dynamic Programming
This paper presents a method of using Hough space for solving the correspondence problem in stereo vision. It is shown that the… 
1992
1992
The Logic of Architecture: Design, Computation, and Cognition
1991
1991
Program Calculation Properties of Continuous Algebras
Defining data types as initial algebras, or dually as final co-algebras, is beneficial, if not indispensible, for an algebraic… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)