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… 
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… 
1999
1999
HYPERCOMPOSITIONAL STRUCTURES FROM THE COMPUTER THEORY
Abstract This paper presents the several types of hypercompositional structures that have been introduced and used for the… 
1997
1997
Getting Results with the Object-Oriented Enterprise Model
From the Publisher: Enterprise modeling is the primary tool used in business reengineering. Historically, the number one 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… 
1989
1989
A continuous model of robot hand preshaping
The continuous spaces of grasps are formulated and an algorithmic procedure is derived for robot hand preshaping. The proposed… 
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)