TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 CONT

The optimizer receives [the] initial logical query plan and performs two main phases of optimization. First, it considers algebraic rewrite rules that transform the initial relational algebra expression into an equivalent expression that will [allow for a quicker evaluation. ]  2, fiche 1, Anglais, - algebraic%20rewrite%20rule

Fiche 1,  Justifications,  Français

Fiche 1,  Justifications,  Espagnol

Fiche 2,  Justifications,  Anglais

Record number: 2, Textual support number: 1 DEF

A production system is a human or computer system that has a data base of production rules and some control mechanism that selects applicable production rules in an effort to reach some goal state.  4, fiche 2, Anglais, - production%20system

Record number: 2, Textual support number: 1 CONT

A key notion in the Newell-Simon scheme is the production system, in which an operation will be carried out if a certain specific condition is met. Programs consist of long sequences of such production systems operating on the data base. As described by the theorists, the production system is kind of a computational stimulus-response link; so long as the stimuli (or conditions) are appropriate, the response (or production) will be executed. In the course of developing the General Problem Solver, Simon and Newell have propounded a perspective on artificial intelligence, a theory of thinking, and an agenda for future research.  5, fiche 2, Anglais, - production%20system

Record number: 2, Textual support number: 2 CONT

A set of production rules (which is called a production system) can be interpreted in two distinct ways. ... One way to interpret a production system is to work through the rules one by one until a rule is found for which the condition ... is true. ... Alternatively, the production system could be "run backwards", with the rules being run from "right to left".  6, fiche 2, Anglais, - production%20system

Record number: 2, Textual support number: 1 OBS

A production system is a rule-based system. Computer scientists also call these systems general rewrite systems. Each rule is matched to the input, and the rules that apply rewrite the input according the action part of these rules.  3, fiche 2, Anglais, - production%20system

Record number: 2, Textual support number: 2 OBS

production system: Term standardized by ISO/IEC.  7, fiche 2, Anglais, - production%20system

Fiche 2,  Justifications,  Français

Record number: 2, Textual support number: 1 DEF

Système expert ayant adopté la représentation par règles de production [...] pour modéliser le comportement humain ou pour bâtir des bases de connaissances.  4, fiche 2, Français, - syst%C3%A8me%20de%20production

Record number: 2, Textual support number: 2 DEF

[système] constitué de trois parties : une base de faits, une base de règles de production et un moteur d'inférence.  5, fiche 2, Français, - syst%C3%A8me%20de%20production

Record number: 2, Textual support number: 1 OBS

système de production : Terme normalisé par ISO/CEI.  6, fiche 2, Français, - syst%C3%A8me%20de%20production

Fiche 2,  Justifications,  Espagnol

Fiche 3,  Justifications,  Anglais

Record number: 3, Textual support number: 1 DEF

An algorithm designed to complete a set of term-rewriting rules to have the most desired property of being confluent.  2, fiche 3, Anglais, - completion%20algorithm

Record number: 3, Textual support number: 1 CONT

As defined in universal algebra, identities are equalities of two terms : x=y. Presumably, the values of the two terms are equal for all values of variables occurring in them. A reduction order is another input to the completion algorithm provided that every identity is viewed as two candidates for rewrite rules transforming the left-hand side into the right-hand side and vice versa.  3, fiche 3, Anglais, - completion%20algorithm

Fiche 3,  Justifications,  Français

Record number: 3, Textual support number: 1 CONT

L'algorithme Knuth-Bendix est un algorithme de complétion. Il prend en entrée un ensemble d'équations qu'il va transformer en règles de réécriture.  2, fiche 3, Français, - algorithme%20de%20compl%C3%A9tion

Fiche 3,  Justifications,  Espagnol

Fiche 4,  Justifications,  Anglais

Record number: 4, Textual support number: 1 CONT

A completion procedure is a way to generate a rewrite system without such divergent critical pairs with the same proving power. It is based on inference rules like the following ones where one works on a data structure with two sets, namely E that contains the identities and R that contains the rules or oriented identities.  2, fiche 4, Anglais, - completion%20procedure

Fiche 4,  Justifications,  Français

Fiche 4,  Justifications,  Espagnol

Fiche 5,  Justifications,  Anglais

Record number: 5, Textual support number: 1 CONT

In order to have greater flexibility with regard to the various heuristic choices made during rewrite rule extraction, we [defined] a new theoretical framework for analysing instance-based learning of rewrite rule sets.  2, fiche 5, Anglais, - rewrite%20rule%20extraction

Fiche 5,  Justifications,  Français

Record number: 5, Textual support number: 1 CONT

Utilisation du module pour l'extraction de règles de réécriture depuis un corpus. [...] il est possible d'utiliser certaines des fonctionnalités [du] module pour construire une grammaire de réécriture d'après un corpus.  1, fiche 5, Français, - extraction%20de%20r%C3%A8gles%20de%20r%C3%A9%C3%A9criture

Fiche 5,  Justifications,  Espagnol

Fiche 6,  Justifications,  Anglais

Record number: 6, Textual support number: 1 OBS

rewrite the accounts : term extracted from the “Glossaire de l'économie” and reproduced with permission of the Organisation for Economic Co-operation and Development.  2, fiche 6, Anglais, - rewrite%20the%20accounts

Fiche 6,  Justifications,  Français

Record number: 6, Textual support number: 1 OBS

rectifier la comptabilité : terme extrait du «Glossaire de l’économie» et reproduit avec l’autorisation de l’Organisation de coopération et de développement économiques.  2, fiche 6, Français, - rectifier%20la%20comptabilit%C3%A9

Fiche 6,  Justifications,  Espagnol

Fiche 7,  Justifications,  Anglais

Record number: 7, Textual support number: 1 OBS

As Aboriginal and non-Aboriginal Canadians seek to move forward together in a process of renewal, it is essential that we deal with the legacies of the past affecting the Aboriginal peoples of Canada, including the First Nations, Inuit and Métis. Our purpose is not to rewrite history but, rather, to learn from our past and to find ways to deal with the negative impacts that certain historical decisions continue to have in our society today.  1, fiche 7, Anglais, - Statement%20of%20Declaration

Fiche 7,  Justifications,  Français

Record number: 7, Textual support number: 1 OBS

Dans cette quête d'un renouveau entreprise ensemble par les Canadiens autochtones et non autochtones, il est essentiel de guérir les séquelles que le passé a laissées aux peuples autochtones du Canada, y compris les Premières nations, les Inuits et les Métis. Notre but n'est pas de réinventer l'histoire, mais plutôt d'apprendre de nos expériences antérieures et de trouver des façons d'éliminer les influences négatives que certaines décisions historiques continuent d'avoir sur notre société contemporaine.  1, fiche 7, Français, - D%C3%A9claration%20de%20r%C3%A9conciliation

Fiche 7,  Justifications,  Espagnol

Fiche 8,  Justifications,  Anglais

Record number: 8, Textual support number: 1 CONT

Different types of EPROMs include electronically alterable programmable read-only memory(EAPROM), electrically erasable programmable read-only memory(EEPROM), and smart flash read-only memory(SFROM), which allows continuous read, write, and rewrite functions in the absence of ultraviolet erase.  1, fiche 8, Anglais, - smart%20flash%20read%2Donly%20memory

Fiche 8,  Justifications,  Français

Record number: 8, Textual support number: 1 OBS

Pluriel : des flashs ou des flashes.  2, fiche 8, Français, - m%C3%A9moire%20SFROM

Record number: 8, Textual support number: 2 OBS

flashs (pl.) : Cette graphie, puisée des Rectifications de l'orthographe recommandées par le Conseil supérieur de la langue française, est attestée dans le Petit Robert (2004).  3, fiche 8, Français, - m%C3%A9moire%20SFROM

Fiche 8,  Justifications,  Espagnol

Fiche 9,  Justifications,  Anglais

Record number: 9, Textual support number: 1 OBS

Context-free grammar : A phrase structure grammar in which the rewrite rules such as [rewrite X as Y] apply irrespective of the context of X.  3, fiche 9, Anglais, - context%2Dfree

Fiche 9,  Justifications,  Français

Record number: 9, Textual support number: 1 DEF

Se dit de règles où X peut être remplacé par Y quel que soit le contexte qui précède ou qui suit Y.  3, fiche 9, Français, - ind%C3%A9pendant%20du%20contexte

Fiche 9,  Justifications,  Espagnol

Fiche 10,  Justifications,  Anglais

Record number: 10, Textual support number: 1 OBS

Different types of EPROMs include electronically alterable programmable read-only memory(EAPROM), electrically erasable programmable read-only memory(EEPROM), and smart flash read-only memory(SFROM), which allows continuous read, write, and rewrite functions in the absence of ultraviolet erase.  1, fiche 10, Anglais, - electronically%20alterable%20programmable%20read%2Donly%20memory

Fiche 10,  Justifications,  Français

Fiche 10,  Justifications,  Espagnol

Fiche 11,  Justifications,  Anglais

Record number: 11, Textual support number: 1 OBS

HRDC [Human Resources Development Canada] project to rewrite the Employment Insurance Act in plain language.  1, fiche 11, Anglais, - Employment%20Insurance%20Plain%20Language%20Project

Record number: 11, Textual support number: 2 OBS

Source(s): Bilingual document provided by the policy team responsible for the project.  1, fiche 11, Anglais, - Employment%20Insurance%20Plain%20Language%20Project

Fiche 11,  Justifications,  Français

Fiche 11,  Justifications,  Espagnol

Fiche 12,  Justifications,  Anglais

Record number: 12, Textual support number: 1 DEF

A way of reaching into the heart of a storage medium so as to change a small piece of it.  1, fiche 12, Anglais, - two%2Dphoton%20excitation

Record number: 12, Textual support number: 1 CONT

Two-photon excitation has been used successfully in the past to store, erase and rewrite data in crystals of lithium niobate, one of the best-known photo-refractive materials.  1, fiche 12, Anglais, - two%2Dphoton%20excitation

Record number: 12, Textual support number: 1 OBS

The technique employs two laser beams, each composed of photons that are not, individually, energetic enough to change the refractive index, but which can do so if they both hit a molecule at the same time from different angles.  1, fiche 12, Anglais, - two%2Dphoton%20excitation

Fiche 12,  Justifications,  Français

Record number: 12, Textual support number: 1 OBS

Voir aussi «laser à deux photons».  1, fiche 12, Français, - excitation%20par%20deux%20photons

Fiche 12,  Justifications,  Espagnol

Fiche 13,  Justifications,  Anglais

Record number: 13, Textual support number: 1 CONT

Lithium niobate is one of the best-known photo-refractive materials... Two-photon excitation has been used successfully to store, erase and rewrite data on such materials.  1, fiche 13, Anglais, - photo%2Drefractive%20material

Fiche 13,  Justifications,  Français

Record number: 13, Textual support number: 1 OBS

Voir aussi «index de réfraction».  1, fiche 13, Français, - mat%C3%A9riau%20photo%2Dr%C3%A9fractif

Fiche 13,  Justifications,  Espagnol

Fiche 14,  Justifications,  Anglais

Record number: 14, Textual support number: 1 OBS

The pay coding rewrite is being performed to eliminate the high cost of maintaining obsolete equipment.  1, fiche 14, Anglais, - pay%20coding%20rewrite

Fiche 14,  Justifications,  Français

Fiche 14,  Justifications,  Espagnol

Fiche 15,  Justifications,  Anglais

Record number: 15, Textual support number: 1 CONT

Context-free grammar : a phrase-structure grammar in which the rewrite rules such as X-Y(which means rewrite X as Y) apply irrespective of the context of X.  2, fiche 15, Anglais, - context%2Dfree%20rule

Fiche 15,  Justifications,  Français

Record number: 15, Textual support number: 1 CONT

Soit une règle de réécriture N N + et + N. Cette règle s'appliquera sans aucune limitation contextuelle; c'est une règle indépendante du contexte.  1, fiche 15, Français, - r%C3%A8gle%20ind%C3%A9pendante%20du%20contexte

Fiche 15,  Justifications,  Espagnol

Fiche 16,  Justifications,  Anglais

Record number: 16, Textual support number: 1 CONT

the Press System will be implicitly applying a rewrite rule to an expression, the result being the binding of RHS. This constitutes a step in the object-level search. As the meta-level inference continues(top-down) continues, it experiments with different object-level steps(bottom-up) and if successful finds a proof or solution at the object-level. By this technique each object-level decision can be based on an arbitrary amount of inference at the meta-level.  1, fiche 16, Anglais, - object%2Dlevel%20search

Fiche 16,  Justifications,  Français

Fiche 16,  Justifications,  Espagnol

Fiche 17,  Justifications,  Anglais

Record number: 17, Textual support number: 1 DEF

A rule indicating expansion of a term by replacing the term by further elements. Rewrite rules are typical, for example, of phrase structure rules in transformational-generative grammar.  3, fiche 17, Anglais, - rewriting%20rule

Fiche 17,  Justifications,  Français

Record number: 17, Textual support number: 1 DEF

Règle qui spécifie une équivalence entre deux séquences de symboles.  1, fiche 17, Français, - r%C3%A8gle%20de%20r%C3%A9criture

Record number: 17, Textual support number: 1 CONT

Bien avant les débuts de l'intelligence artificielle, le formalisme des règles de production a été utilisé en logique symbolique par Post, puis dans les algorithmes de Markov et en linguistique par N. Chowsky sous forme de règles de récriture.  1, fiche 17, Français, - r%C3%A8gle%20de%20r%C3%A9criture

Fiche 17,  Justifications,  Espagnol

Fiche 18,  Justifications,  Anglais

Record number: 18, Textual support number: 1 OBS

Theoretical model which concerns the relationships between the various elements or constituents of a sentence, or which includes rules which rewrite constituent symbols into component constituent symbols, exclusive of transformations.  2, fiche 18, Anglais, - phrase%20structure%20model

Fiche 18,  Justifications,  Français

Record number: 18, Textual support number: 1 OBS

On donne le nom de grammaire syntagmatique à la grammaire de constituants dont N. Chomsky a fait la base de la composante syntaxique et dont les règles sont appelées règles syntagmatiques.  2, fiche 18, Français, - mod%C3%A8le%20syntagmatique

Fiche 18,  Justifications,  Espagnol

Fiche 19,  Justifications,  Anglais

Record number: 19, Textual support number: 1 DEF

It denotes the use of meta-level expressions to control or guide the application of object-level knowledge-sources(rewrite rules, axioms, production rules, etc.).  2, fiche 19, Anglais, - meta%2Dlevel%20inference

Fiche 19,  Justifications,  Français

Fiche 19,  Justifications,  Espagnol

Fiche 20,  Justifications,  Anglais

Record number: 20, Textual support number: 1 OBS

story : A rewrite or condensation of a literary work in which dramatic values are emphasized and which serves as the basis of the script of a film play.  1, fiche 20, Anglais, - story%20consultant

Fiche 20,  Justifications,  Français

Record number: 20, Textual support number: 1 DEF

Spécialiste de la rédaction des scénarios à qui on fait appel pour résoudre des difficultés particulières.  1, fiche 20, Français, - sc%C3%A9nariste%2Dconseil

Fiche 20,  Justifications,  Espagnol