Zobrazeno 1 - 10
of 30
pro vyhledávání: '"automates d'arbres"'
Publikováno v:
Journées d'Informatique Musicale 2016
Journées d'Informatique Musicale 2016, AFIM, Mar 2016, Albi, France
Journées d'Informatique Musicale 2016, AFIM, Mar 2016, Albi, France
National audience; We present a rhythm transcription system integrated in the computer-assisted composition environment OpenMusic. Rhythm transcription is the act of translating a series of dated events to a structured, pulsed representation linked w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2a04387406d108f000f4641a07dbdc0a
https://inria.hal.science/hal-01298806
https://inria.hal.science/hal-01298806
Autor:
Salmon, Yann
Publikováno v:
Théorie et langage formel [cs.FL]. Université de Rennes 1, 2015. Français. ⟨NNT : 2015REN1S085⟩
This document presents an extension of tree automata completion to innermost rewriting.; Établir des preuves de bon fonctionnement des programmes est délicat ; on a recours à des outils de preuve, qui doivent procéder par surapproximation (à cau
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2755::26f959c217b864f19405fcbf7268ecd8
https://hal.inria.fr/tel-01250252v2/document
https://hal.inria.fr/tel-01250252v2/document
Autor:
Serre, Olivier
Publikováno v:
Logic in Computer Science [cs.LO]. Université Paris Diderot — Paris 7, 2015
This document proposes an overview of my research since
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::df28fc7899352067001d942406de949f
https://hal.inria.fr/tel-01260775/file/HDR.pdf
https://hal.inria.fr/tel-01260775/file/HDR.pdf
Autor:
Salmon, Yann
This document presents an extension of tree automata completion to innermost rewriting.
Établir des preuves de bon fonctionnement des programmes est délicat ; on a recours à des outils de preuve, qui doivent procéder par surapproximation (à
Établir des preuves de bon fonctionnement des programmes est délicat ; on a recours à des outils de preuve, qui doivent procéder par surapproximation (à
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______166::26f959c217b864f19405fcbf7268ecd8
https://hal.inria.fr/tel-01250252v2
https://hal.inria.fr/tel-01250252v2
Autor:
Hugot, Vincent
Les automates d'arbres et leurs applications à la vérification forment le tronc commun de cette thèse. Dans la première parie, nous définissons une plate forme de model-checking complète [...] La seconde partie se penche sur un aspect important
Externí odkaz:
http://www.theses.fr/2013BESA2010/document
Autor:
Bourdier, Tony
Concevoir et mettre en oeuvre des méthodes pour la spécification, l'analyse et la vérification de logiciels et de systèmes sont les principaux moteurs des activités de recherche présentées dans ce manuscrit. Dans ce cadre, nos travaux se posit
Externí odkaz:
http://www.theses.fr/2011NAN10096/document
Autor:
Bourdier, Tony
Publikováno v:
Autre [cs.OH]. Université Henri Poincaré-Nancy 1, 2011. Français. ⟨NNT : 2011NAN10096⟩
Logique en informatique [cs.LO]. Université Henri Poincaré-Nancy I, 2011. Français
Logique en informatique [cs.LO]. Université Henri Poincaré-Nancy I, 2011. Français
Designing and applying formal methods for specifying, analyzing and verifying softwares and systems are the main driving forces behind the work presented in this manuscript. In this context, our activities fall into the category of formal methods bel
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b46b8b8fdf62c2156fbb715fa1f492a1
https://hal.univ-lorraine.fr/tel-01746242/document
https://hal.univ-lorraine.fr/tel-01746242/document
Autor:
Aubrun, Nathalie
Cette thèse est consacrée à l'étude des décalages, ou encore systèmes dynamiques symboliques, définis sur certains monoïdes finiment présentés, $Z^d$ d'une part et les arbres d'autre part. Le principal résultat concernant les décalages mu
Externí odkaz:
http://www.theses.fr/2011PEST1004/document
Autor:
Nathalie Aubrun
Publikováno v:
Autre [cs.OH]. Université Paris-Est, 2011. Français. ⟨NNT : 2011PEST1004⟩
HAL
HAL
This thesis is devoted to the study of subshifts, or symbolic dynamical systems, defined on some finitely presented monoids like ℤ^d or the infinite binary tree. The main result concerning multidimensional subshifts establishes that any effective s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::85d3c0f8bc4cd7d9f2ab70b51fec8eb0
https://pastel.archives-ouvertes.fr/pastel-00664331/document
https://pastel.archives-ouvertes.fr/pastel-00664331/document
Autor:
Aubrun, Nathalie
Publikováno v:
Autre [cs.OH]. Université Paris-Est, 2011. Français. ⟨NNT : 2011PEST1004⟩
This thesis is devoted to the study of subshifts, or symbolic dynamical systems, defined on some finitely presented monoids like ℤ^d or the infinite binary tree. The main result concerning multidimensional subshifts establishes that any effective s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::24abddad6d392f7b12feba636f1157ff
https://pastel.archives-ouvertes.fr/pastel-00664331
https://pastel.archives-ouvertes.fr/pastel-00664331