From professional translators, enterprises, web pages and freely available translation repositories.
the architecture can simultaneouslysupport and integrate the structured reasoning involving both sentential and graphical representations of information
cette architecture peut, de façon simultanée, prendre en charge et intégrer le raisonnement structuré mettant en jeu à la fois des représentations phrastiques et graphiques d'une information
the architecture can simultaneouslysupport and integrate the structured reasoning involving both sentential and graphical representations of information.
cette architecture peut, de façon simultanée, prendre en charge et intégrer le raisonnement structuré mettant en jeu à la fois des représentations phrastiques et graphiques d'une information.
these are executed after the four major analysis passes but before synthesis and major rearrangement of sentential constituents.
en fait, celle-là concerne les structures de l'objet considéré (le langage) et ceux-ci les moyens de réalisation.
since testing for sentential validity is a mechanical process, herbrand's theorem is today of major importance in software developed for theorem proving by computer.
depuis les essais pour sentential validité est un processus mécanique, théorème de herbrand est aujourd'hui d'une importance majeure pour les logiciels développés pour théorème prouvant par ordinateur.
herbrand's theorem establishes a link between quantification theory and sentential logic which is important in that it gives a method to test a formula in quantification theory by successively testing formulae for sentential validity.
théorème de herbrand établit un lien entre la théorie et la quantification sentential logique qui est important dans la mesure où il donne une méthode pour tester une formule en théorie par la quantification de test successivement sentential formules de validité.
generation of rules from samples encompasses a wide range of constructs and granularities that occur in text, from individual words to intrasentential patterns, to sentential, paragraph, section, and other formats that occur in text documents.
la génération de règles à partir d'échantillons englobe une vaste quantité de constructions et de granularités apparaissant dans le texte, depuis des mots individuels à des configurations à l'intérieur des phrases, des phrases, des paragraphes, des sections et d'autres formats apparaissant dans les documents textuels.
a compositional poetic/sentential board game which may be played competitively by a number of individual players, including a game board (100) featuring a demarcated array of playing spaces (104) on each of which is selectively positionable one of a multiplicity of alternatively selectable playing pieces (120) from a population of game pieces. the game pieces bear visually observable indicia thereon including (i) formatives for creation of linearly displayable poetic/sentential lines on said game board and (ii) value-indicating indicia, so that upon formation of a poetic/sentential line on said game board the values indicated by the value-indicating indicia are summable to determine a correlative score for said poetic/sentential line. in play of the game, each player in turn places game piece(s) on the board to create a new linearly displayed poetic/sentential line which includes at least one formative on the game board from prior play. the winner of the game is established as the holder of the highest cumulative score among the players of the game.
l'invention a trait à un jeu de combinaison par compositions poétiques /phrastiques dans le cadre duquel un certain nombre de joueurs peuvent se mesurer individuellement. ce jeu comporte une table de jeu (100) portant un ensemble délimité d'emplacements de jeu (104), sur chacun desquels peut être placée, au choix, l'une des nombreuses pièces de jeu (120) appartenant à un ensemble de pièces de jeu, à choisir tour à tour. ces pièces portent des signes visibles comportant i), des morphèmes servant à constituer des lignes poétiques/phrastiques à étaler de façon linéaire sur ladite table de jeu et ii), des signes indiquant une valeur, de sorte qu'au moment de la mise en place d'une ligne poétique/phrastique sur ladite table de jeu, les valeurs indiquées par les signes puissent s'ajouter pour donner un score en corrélation avec la dite ligne poétique/phrastique. en cours de jeu, chaque joueur dispose, à son tour, sa pièce ou ses pièces sur la table afin de constituer une nouvelle ligne poétique/phrastique, étalée de façon linéaire, incluant au moins un morphème ayant appartenu au jeu précédent. le vainqueur est celui des joueurs qui détient le score cumulé le plus élevé.
