Systèmes de transformation de ramifications paramétrées : définitions et applications

Systèmes de transformation de ramifications paramétrées : définitions et applications

.

Bibliographic Details
Main Author:	Lopez Medina, Julio Ernesto
Language:	FRE
Published:	1979
Subjects:	[INFO:INFO_MO] Computer Science/Modeling and Simulation théorie des graphes Church-Rosser réseaux de transition automate PIAF Programmation Interactifs d'Analyse du Français langage indexation langues naturelles
Online Access:	http://tel.archives-ouvertes.fr/tel-00289625 http://tel.archives-ouvertes.fr/docs/00/28/96/25/PDF/Lopez-Medina.Julio-Ernesto_1979_these.pdf

Similar Items

Communication en langue naturelle avec un système d'aide à la conception d'assemblages physiques : un essai d'utilisation de réseaux sémantiques partitionnés
by: Lopez, Mauricio
Published: (1979)

Définition du langage CASSANDRE : pour la conception aidée et la simulation des systèmes logiques, leur analyse, description et réalisation
by: Mermet, Jean
Published: (1970)

Etude et réalisation d'un système permettant la construction de réseaux d'automates d'état [sic] finis : application à la production de documents en braille abrégé
by: Mathieu, Blaise
Published: (1980)

Conception et implantation d'un système de programmation de robots
by: Miribel, Jean-François
Published: (1984)

Réseaux de Pétri pour la sémantique et l'implémentation de processus parallèles
by: Autant, Cyril
Published: (1993)

Analyse syntaxique automatique du français écrit : applications à l'indexation automatique
by: Lallich-Boidin, Geneviève
Published: (1986)

Progiciel INDA pour l'analyse des données : INtelligent Data Analysis
by: Belaid, Djamel
Published: (1985)

Les Types génériques : propositions pour un mécanisme d'abstraction dans les langages de programmation
by: Jacquet, Paul
Published: (1978)

Langage normalisé pour la description des informations médicales en radiologie
by: Duquesnel, Philippe
Published: (1969)

Etude et réalisation d'une méthode de transport : traduction de programmes PL 360 en LP 80
by: Chassagne, Claudine
Published: (1978)

Réalisation d'un support expérimental de recherche pour le projet robotique PANDORE : définition et implantation du langage LM
by: Mazer, Emmanuel
Published: (1981)

Problèmes d'implantation, le programme DESMAG
by: Sarret, Michel J.
Published: (1969)

Langages de description de systèmes logiques : propositions pour une méthode formelle de définition
by: Borrione, Dominique
Published: (1981)

Etude d'automates et de grammaires de ramifications
by: Berlioux, Pierre
Published: (1972)

Sémantique relationnelle des programmes non-déterministes et des processus communicants
by: Guerreiro, Pedro J. V. D
Published: (1981)

Définition et implantation de la sémantique des langages de programmation
by: Willis, Bruce
Published: (1974)

Analyse du français comme langage de commande dans un système de construction graphique
by: De La Fayolle, Bruno
Published: (1976)

Unification d'arborescences : évaluation sémantique d'énoncés en langue naturelle
by: Joloboff, Vania
Published: (1978)

Aspects non numériques de la programmation algol
by: Nguyen, Huu Dung
Published: (1965)

Détermination automatique de relations linéaires vérifiées par les variables d'un programme
by: Halbwachs, Nicolas
Published: (1979)

Isomorphisme, immersion et recouvrement de graphes
by: Turcat, Claudine
Published: (1974)

Le traitement des exceptions dans les programmes modulaires
by: Cristian, Flaviu
Published: (1979)

Langage de spécifications
by: Caplain, Michel
Published: (1978)

Propriétés et méthodes de calcul de la fiabilité diamètre-bornée des réseaux
by: Sartor, Pablo
Published: (2013)

Conception descendante de machine informatique : étude et définition du langage intermédiaire et d'une machine formelle multiprocesseurs orientée vers l'exécution du langage PASCAL
by: Fortier, Robert
Published: (1975)

Langages bornés arithmétiques
by: Butzbach, Philippe
Published: (1968)

Définition formelle d'un générateur de solutions d'allocation spatiale en deux dimensions : application à l'urbanisme
by: Villamayor, Rita
Published: (1980)

Etude algorithmique de certaines classes de graphes parfaits : les graphes de parité, les graphes i-triangulés, les graphes parfaits trois chromatiques
by: Burlet, Michel
Published: (1981)

Algorithmes pour le traitement interactif des langues naturelles
by: Courtin, Jacques
Published: (1977)

De l'optimisation des programmes
by: Exel, Matija
Published: (1975)

Algèbre de programmes dans un univers type
by: Bensalem, Saddek
Published: (1985)

LASCAR : un langage pour la simulation et l'évaluation des architectures d'ordinateurs
by: Borrione, Dominique
Published: (1976)

Etude des possibilités d'interaction homme-machine dans un processus de traduction automatique : spécification d'un système d'aide à la rédaction en vue d'une traduction par machine, définition d'un langage de spécification linguistique
by: Zajac, Rémi
Published: (1986)

Analyse et simulation de réseaux d'automates
by: Legendre, Marc
Published: (1982)

Langages analysables de gauche à droite, construction d'un analyseur pour langages LR (1)
by: Courtin, Jacques
Published: (1968)

Contribution à l'algorithmique des graphes: quelques représentations pertinentes de graphes
by: Berthomé, Pascal
Published: (2006)

Etudes et algorithmes liés à une nouvelle structure de données en T.A : les E-graphes
by: Clemente-Salazar, Marco Antonio
Published: (1982)

Métaheuristiques : Stratégies pour l'optimisation de la production de biens et de services.
by: Sevaux, Marc
Published: (2004)

Évaluation de l'impact des facteurs émotionnels lors d'interactions physiques entre humains réels et virtuels
by: Perrinet, Jonathan
Published: (2013)

Le Calcul du Gradient d'Erreur dans les Réseaux de Neurones : Applications aux Telecom et aux Sciences Environnementales
by: Aussem, Alexandre
Published: (2002)