Skip to search formSkip to main contentSkip to account menu

Model of computation

Known as: Models of computation, Computational formalism, Computational mechanism 
In computability theory and computational complexity theory, a model of computation is the definition of the set of allowable operations used in… 
Wikipedia (opens in a new tab)

Related topics

Related topics

49 relations
AI effectAI-completeAbstract machineAbstract rewriting system

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2019
Highly Cited
2019
Fuzzy rough set-based attribute reduction using distance measures
Highly Cited
2012
Highly Cited
2012
Near-optimal Differentially Private Principal Components
Principal components analysis (PCA) is a standard tool for identifying good low-dimensional approximations to data sets in high… 
Highly Cited
2009
Highly Cited
2009
A secure mobile healthcare system using trust-based multicast scheme
Due to the introduction of telecommunication technologies in telemedicine services, the expeditious development of wireless and… 
Highly Cited
2007
Highly Cited
2007
Mapping Applications to Tiled Multiprocessor Embedded Systems
Modern multiprocessor embedded systems execute a large number of tasks on shared processors and handle their complex… 
Highly Cited
2007
Highly Cited
2007
Special issue on echo state networks and liquid state machines
Highly Cited
2003
Highly Cited
2003
Output-Sensitive Algorithms for Computing Nearest-Neighbour Decision Boundaries
Given a set R of red points and a set B of blue points, the nearest-neighbour decision rule classifies a new point q as red… 
Review
1997
Review
1997
Design of embedded systems: formal models, validation, and synthesis
This paper addresses the design of reactive real-time embedded systems. Such systems are often heterogeneous in implementation… 
Highly Cited
1997
Highly Cited
1997
Scrambling and the PF Interface
Appeared in Miriam Butt and W. Geuder (eds.) The Projection of Arguments, CSLI Publications, Stanford, 1998, pp 309-353. 
Highly Cited
1992
Highly Cited
1992
CONVERSATION ACTS IN TASK‐ORIENTED SPOKEN DIALOGUE
A linguistic form's compositional, timeless meaning can be surrounded or even contradicted by various social, aesthetic, or… 
Highly Cited
1991
Highly Cited
1991
Handling Data Skew in Multiprocessor Database Computers Using Partition Tuning
Shared nothing multiprocessor archit.ecture is known t.o be more scalable to support very large databases. Compared to other join… 
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)