Stochastic evolution via graph grammars

Inference grammaticale reguliere : fondements theoriques et principaux algorithmes

Dupont, Pierre
Miclet, Laurent
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1998

Theme 3 - Interaction homme-machine, images, donnees, connaissances. Projet REPCOAvailable from INIS...

Lissage de processus markoviens sur un graphe

Fabre, Eric
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1994

Programme 5 - Traitement du signal, automatique et productique. Projet ASAvailable at INIST (FR), Do...

Dynamic attribute grammars

Roussel, Gilles
Jourdan, Martin
Duris, Etienne
Parigot, Didier
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1996

Theme 2 - Genie logiciel et calcul symbolique - Projet OscarAvailable at INIST (FR), Document Supply...

Admission control in stochastic event graphs

Altman, Eitan
Gaujal, Bruno
Hordijk, Arie
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1997

Theme 1 - Reseaux et systemes - Projet Mistral, SloopSIGLEAvailable from INIST (FR), Document Supply...

On the transition graphs of automata and grammars

Caucal, Didier
Monfort, Roland
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1990 ...

MD-21250, USA.

Shailesh P. Doshi
Fang Huang
Dr. Tim Oates
Coral Lab Csee

April 2008

Graphs can be used to represent such diverse entities as chemical compounds, transportation networks...

Graphes d'evenements stochastiques Temps de cycle moyen et marquage

Sauer, Nathalie
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Vandoeuvre-les-Nancy (France). Unite de Recherche de Lorraine
Centre d'Etudes des Systemes de Communication (CESCOM), 57 - Metz (France)

January 1991

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1991 ...

Graph interpolation grammars as context-free automata

Larcheveque, John
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1998

Theme 3 - Interaction homme-machine, images, donnees, connaissances - Projet AtollSIGLEAvailable fro...

Graph rewrite systems for program optimization

Assmann, Uwe
Joly, Patrick
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1996

Theme 2 - Genie logiciel et calcul symbolique - Projet OSCARSIGLEAvailable at INIST (FR), Document S...

Model-checking of infinite graphs defined by graph grammars

Burkart, Olaf
Quemener, Yves-Marie
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1996

Theme 1 - Reseaux et systemes Projet PampaSIGLEAvailable at INIST (FR), Document Supply Service, und...

Graph interpolation grammars : a rule-based approach to the incremental parsing of natural languages

Larcheveque, John
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1998

Theme 3 - Interaction homme-machine, images, donnees, connaissances. Projet AtollSIGLEAvailable from...

Stochastic automata networks : product forms and iterative solutions

Plateau, Brigitte
Stewart, William J.
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Grenoble (France). Unite de Recherche Rhone-Alpes

January 1996

Theme 1 - Reseaux et systemes - Projet APACHESIGLEAvailable at INIST (FR), Document Supply Service, ...

Graphes de dependance pour les demonstrateurs de theoremes interactifs

Pons, Olivier
Bertot, Yves
Pottier, Loic
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2000

Theme 2 - Genie logiciel et calcul symbolique - Projet LemmeSIGLEAvailable from INIST (FR), Document...

State graphs of stratified flip-flop nets

Darondeau, Philippe
Schmitt, Vincent
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1998

Theme 1 - Reseaux et systemes - Projet ParagrapheSIGLEAvailable from INIST (FR), Document Supply Ser...

Modeling railway control systems using graph grammars : a case study

Perin, Michael
Sudholt, Mario
Holzbacher, Anne-Alexandra
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en= Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1997

Theme 4 - Simulation et optimisation de systemes complexes - Projet Sigma2SIGLEAvailable from INIST ...

Inference grammaticale reguliere : fondements theoriques et principaux algorithmes

Dupont, Pierre
Miclet, Laurent
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1998

Theme 3 - Interaction homme-machine, images, donnees, connaissances. Projet REPCOAvailable from INIS...

Lissage de processus markoviens sur un graphe

Fabre, Eric
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1994

Programme 5 - Traitement du signal, automatique et productique. Projet ASAvailable at INIST (FR), Do...

Dynamic attribute grammars

Roussel, Gilles
Jourdan, Martin
Duris, Etienne
Parigot, Didier
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1996

Theme 2 - Genie logiciel et calcul symbolique - Projet OscarAvailable at INIST (FR), Document Supply...

Admission control in stochastic event graphs

Altman, Eitan
Gaujal, Bruno
Hordijk, Arie
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1997

Theme 1 - Reseaux et systemes - Projet Mistral, SloopSIGLEAvailable from INIST (FR), Document Supply...

On the transition graphs of automata and grammars

Caucal, Didier
Monfort, Roland
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1990 ...

MD-21250, USA.

Shailesh P. Doshi
Fang Huang
Dr. Tim Oates
Coral Lab Csee

April 2008

Graphs can be used to represent such diverse entities as chemical compounds, transportation networks...

Graphes d'evenements stochastiques Temps de cycle moyen et marquage

Sauer, Nathalie
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Vandoeuvre-les-Nancy (France). Unite de Recherche de Lorraine
Centre d'Etudes des Systemes de Communication (CESCOM), 57 - Metz (France)

January 1991

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1991 ...

Graph interpolation grammars as context-free automata

Larcheveque, John
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1998

Theme 3 - Interaction homme-machine, images, donnees, connaissances - Projet AtollSIGLEAvailable fro...

Graph rewrite systems for program optimization

Assmann, Uwe
Joly, Patrick
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1996

Theme 2 - Genie logiciel et calcul symbolique - Projet OSCARSIGLEAvailable at INIST (FR), Document S...

Model-checking of infinite graphs defined by graph grammars

Burkart, Olaf
Quemener, Yves-Marie
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1996

Theme 1 - Reseaux et systemes Projet PampaSIGLEAvailable at INIST (FR), Document Supply Service, und...

Graph interpolation grammars : a rule-based approach to the incremental parsing of natural languages

Larcheveque, John
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1998

Theme 3 - Interaction homme-machine, images, donnees, connaissances. Projet AtollSIGLEAvailable from...

Stochastic automata networks : product forms and iterative solutions

Plateau, Brigitte
Stewart, William J.
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Grenoble (France). Unite de Recherche Rhone-Alpes

January 1996

Theme 1 - Reseaux et systemes - Projet APACHESIGLEAvailable at INIST (FR), Document Supply Service, ...

Graphes de dependance pour les demonstrateurs de theoremes interactifs

Pons, Olivier
Bertot, Yves
Pottier, Loic
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2000

Theme 2 - Genie logiciel et calcul symbolique - Projet LemmeSIGLEAvailable from INIST (FR), Document...

State graphs of stratified flip-flop nets

Darondeau, Philippe
Schmitt, Vincent
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1998

Theme 1 - Reseaux et systemes - Projet ParagrapheSIGLEAvailable from INIST (FR), Document Supply Ser...

Modeling railway control systems using graph grammars : a case study

Perin, Michael
Sudholt, Mario
Holzbacher, Anne-Alexandra
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en= Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1997

Theme 4 - Simulation et optimisation de systemes complexes - Projet Sigma2SIGLEAvailable from INIST ...

Inference grammaticale reguliere : fondements theoriques et principaux algorithmes

Dupont, Pierre
Miclet, Laurent
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1998

Theme 3 - Interaction homme-machine, images, donnees, connaissances. Projet REPCOAvailable from INIS...

Lissage de processus markoviens sur un graphe

Fabre, Eric
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1994

Programme 5 - Traitement du signal, automatique et productique. Projet ASAvailable at INIST (FR), Do...

Dynamic attribute grammars

Roussel, Gilles
Jourdan, Martin
Duris, Etienne
Parigot, Didier
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1996

Theme 2 - Genie logiciel et calcul symbolique - Projet OscarAvailable at INIST (FR), Document Supply...

Stochastic evolution via graph grammars

Abstract

Extracted data

Stochastic evolution via graph grammars

Abstract

Extracted data

Related items

Related items