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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2013

In this paper, we present two different formal frameworks for representing decision making. In both frameworks, decisions have…

2011

-Recent advances in communications technology and wireless sensor networks made new trends to emerge in agriculture sector. One…

2010

At a macroscopic scale, the details of mechanical behaviour are often uncertain, due to incomplete knowledge of details at small…

2006

Momentum and particle balance and neoclassical viscosity were applied to calculate the radial profile of toroidal rotation…

2004

1995

Abstract Our contribution is twofold. First, we show that Ω(log n) is a time lower bound on the CREW-PRAM and the mesh with…

1993

Internally illuminated signs incorporating light-transmissive retroreflective sheeting between the internal illumination source…

1993

SLS resolution is an abstract query answering procedure for computing the well-founded semantics of normal programs. It is…

1991

A selection of 39 papers present novel and emerging approaches to VLSI implementation of machines for artificial intelligence and…

1991

Many human and machine reasoning tasks require complicated inferences between objects and events, in which the constituting…