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.
2013
2013
Decision Making with Assumption-Based Argumentation
In this paper, we present two different formal frameworks for representing decision making. In both frameworks, decisions have… 
2011
2011
Monitoring Water Level in Agriculture Using Sensor Networks
-Recent advances in communications technology and wireless sensor networks made new trends to emerge in agriculture sector. One… 
Review
2011
Review
2011
CARUS, an operational retasking application for a swarm of autonomous UAVs: First return on experience
The goal of the CARUS1 project is to demonstrate the effective operation of a swarm of UAVs. The objective is to keep under… 
Highly Cited
2008
Highly Cited
2008
MARS: A metamodel recovery system using grammar inference
Highly Cited
2005
Highly Cited
2005
Model-based tools for pervasive usability
2004
2004
Architecture independent parallel binomial tree option price valuations
Highly Cited
2003
Highly Cited
2003
Modeling and formal verification of embedded systems based on a Petri net representation
2002
2002
Efficient algorithms for centers and medians in interval and circular‐arc graphs
The p‐center problem is to locate p facilities on a network so as to minimize the largest distance from a demand point to its… 
1997
1997
Action selection mechanism for soccer robot
In this paper, an action selection mechanism (ASM) is proposed for each agent given its role in a multiagent system for robot… 
1990
1990
Two-Dimensional Processor Array with a Reconfigurable Bus System is at Least as Powerful as CRCW Model
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)