model

(redirected from symbolic model)
Also found in: Dictionary, Thesaurus, Medical, Financial, Encyclopedia.

model

noun antetype, archetype, copy, copy in miniature, design, example, exemplar, exemplum, gauge, guide, ideal, image, imitation, miniature, mold, paradigm, paragon, pattern, plan, precedent, prototype, replica, representation, sample, specimen, standard
Associated concepts: Model Code
See also: absolute, arrangement, build, case, code, copy, criterion, design, epitome, example, exemplar, exemplary, forge, form, guide, ideal, illustration, instance, laudable, make, norm, paradigm, paragon, paramount, pattern, precedent, principle, produce, professional, prototype, representative, rule, sample, specimen, standard, stellar, style, symbol, typical

MODEL. A machine made on a small scale to show the manner in which it is to be worked or employed.
     2. The Act of Congress of July 4, 1836, section 6, requires an inventor who is desirous to take out a patent for his invention, to furnish a model of his invention, in all cases which admit of representation by model, of a convenient size to exhibit advantageously its several parts.

References in periodicals archive ?
proposed a specification and classification scheme for Indoor spatio-temporal Model, and suggested a list of specifications that can be followed by an Symbolic Model [9].
In symbolic model, concepts are represented by symbols, knowledge is conceived of as objects in individual minds (Bereiter & Scardamalia, 1996).
After introducing the Presburger encodings and partitioning techniques in Section 4, in Section 5 we describe our symbolic model checker and show how it exploits the Presburger representation.
Certain essential differences separate the model checking method from the symbolic model checking method.
When considering a sweater worn by good or bad people, they tended to use the symbolic model.
In this article, we consider symbolic model checking for event-driven real-time systems.
Embedding an operational symbolic model in a document that annotates and explains it supports human users in their understanding of the model, its application and its ongoing development.
Today it is standard practice for hardware engineers to use OBDD-based equivalence checkers, and symbolic model checkers.
We implemented the symbolic model using AI object-oriented symbolic representation tools and methods.
Pederson Best Paper Award, titled "On symbolic model order reduction.
As an example, Schmidt and Ling's (1996) symbolic model of the balance-scale task can explain the task with any number of weights, but the connectionist models work only for the five-weight version.
Both symbolic model checking (SMC) and bounded model checking (BMC), where binary decision diagrams (BDDs) and propositional satisfiability (SAT) solvers respectively provide the core engines, are restricted to designs represented at the Boolean level.

Full browser ?