Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 231,121,639 papers from all fields of science
Search
Sign In
Create Free Account
Model of computation
Known as:
Models of computation
, Computational formalism
, Computational mechanism
Expand
In computability theory and computational complexity theory, a model of computation is the definition of the set of allowable operations used in…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
49 relations
AI effect
AI-complete
Abstract machine
Abstract rewriting system
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Decision Making with Assumption-Based Argumentation
Xiuyi Fan
,
Francesca Toni
International Workshop on Theorie and…
2013
Corpus ID: 16571456
In this paper, we present two different formal frameworks for representing decision making. In both frameworks, decisions have…
Expand
Highly Cited
2008
Highly Cited
2008
MARS: A metamodel recovery system using grammar inference
F. Javed
,
M. Mernik
,
J. Gray
,
Barrett R. Bryant
Information and Software Technology
2008
Corpus ID: 15011915
2006
2006
A neoclassical calculation of toroidal rotation profiles and comparison with DIII-D measurements
W. Stacey
,
R. W. Johnson
,
J. Mandrekas
2006
Corpus ID: 122412697
Momentum and particle balance and neoclassical viscosity were applied to calculate the radial profile of toroidal rotation…
Expand
Highly Cited
2005
Highly Cited
2005
Model-based tools for pervasive usability
F. Paternò
Interacting with computers
2005
Corpus ID: 13995529
2004
2004
Architecture independent parallel binomial tree option price valuations
A. Gerbessiotis
Parallel Computing
2004
Corpus ID: 6567726
Highly Cited
2003
Highly Cited
2003
Modeling and formal verification of embedded systems based on a Petri net representation
L. Cortés
,
P. Eles
,
Zebo Peng
Journal of systems architecture
2003
Corpus ID: 13280070
Highly Cited
2000
Highly Cited
2000
Silicon Platforms for the Next Generation Wireless Systems - What Role Does Reconfigurable Hardware Play?
J. Rabaey
International Conference on Field-Programmable…
2000
Corpus ID: 18401741
Wireless communication and networking is experiencing a dramatic growth, and all indicators point to an extension of this growth…
Expand
1997
1997
Action selection mechanism for soccer robot
Heung-Soo Kim
,
Hyun-Sik Shim
,
M. Jung
,
Jong-Hwan Kim
Proceedings IEEE International Symposium on…
1997
Corpus ID: 27759984
In this paper, an action selection mechanism (ASM) is proposed for each agent given its role in a multiagent system for robot…
Expand
Review
1995
Review
1995
Mapping combinatorial optimization problems onto neural networks
J. Ramanujam
,
P. Sadayappan
Information Sciences
1995
Corpus ID: 14914714
1994
1994
Local Consistency in Parallel Constraint Satisfaction Networks
S. Kasif
,
A. Delcher
Artificial Intelligence
1994
Corpus ID: 16596377
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)
ACCEPT & CONTINUE