Disse er ordets examples relateret til abstraction. Klik på et vilkårligt ord for at gå til dets ords detaljeside. Eller, gå til definitionen af abstraction.
In this paper, we put forward the environment as a first-order abstraction in multiagent systems.
However, the transformation tools support symbolic reasoning, which may be used to explore the meaning of a specification at a much higher level of abstraction.
Higher order abstract syntax is an abstract syntax representation that extends syntax trees with the abstraction mechanism of the lambda calculus.
The abstraction by our imagination means we earn the approbation (or disapprobation) from those unlike as well as those like us.
More interesting are the translations of function types and region abstraction types.
To further understanding of policy problems, experimental economists construct small-scale abstractions of real-world problems (although typically these miniature replicas are framed in abstract terms).
They can be applied at varying scales of resolution: at the design event level, or over groupings or abstractions of design events.
Type variables play a role in type abstractions (obj or pro), which behave as a kind of fixed point.
This requires some overhead, but might be a useful abstraction for programmers.
By reducing the size of an abstraction, abstract unification works on smaller objects and is therefore faster, even if no precision is gained.
To address the above difficulties, our method of compositional analogy performs analogy at multiple levels of abstraction.
An abstraction for this machine is defined with an implementation of a signature that we will describe piece by piece.
Note that the hole in an evaluation context can occur within the scope of a constructor abstraction.
Internalization as a process of abstraction is geared toward finding default solutions.
Nevertheless, when it is economically conceived in this simplicity, "labor" is as modern a category as are the relations which create this simple abstraction.
