Chargement...
 

Natural Language Speech and Audio Processing

Domaine
Natural Language Speech and Audio Processing
Domain - extra
Formal specification
Année
2010
Starting
1 septembre 2010
État
Closed
Sujet
Construction et vérification de la spécification formelle d'une configuration d'environnement intelligent issue d'une description textuelle
Thesis advisor
GRAU Brigitte
Co-advisors
DUBOIS Catherine, CEDRIC, CNAM
GHAMRI-DOUDANE Yacine, LIGM, Marne-la-vallée
Laboratory
Collaborations
Abstract
Des travaux récents se sont attachés à la vérification et à la validation de réglementations: réglementations de sécurité dans les aéroports, protocoles médicaux par exemple. Dans ces travaux, les modèles formels qui servent à la vérification par preuve ou model checking sont en général élaborés directement par l'utilisateur à partir des textes.
Dans le cadre de la configuration d'environnements intelligents grâce à des descriptions textuelles fournies par des techniciens ou des utilisateurs avertis (férus de technologie), le but de cette thèse est d'élaborer un modèle complet allant du texte à la représentation formelle, qui requiert une intervention de l'utilisateur uniquement quand cela s'avère nécessaire.
L'originalité de ce sujet repose sur le fait de maintenir et exploiter la relation entre les représentations construites et le texte afin de raisonner sur les différents types de représentation, ainsi que dans une construction itérative de la spécification.
Context
Objectives
Work program
Extra information
Prerequisite
Détails
Télécharger theseDigiteo.pdf
Expected funding
Research contract
Status of funding
Confirmed
Candidates
Utilisateur
Créé
Lundi 07 juin 2010 17:51:28 CEST
dernière modif.
Mercredi 22 septembre 2010 12:11:46 CEST

Fichiers joints

 filenamecrééhitsfilesize 
theseDigiteo.pdf 07 Jun 2010 17:51252135.21 Kb


Ecole Doctorale Informatique Paris-Sud


Directrice
Nicole Bidoit
Assistante
Stéphanie Druetta
Conseiller aux thèses
Dominique Gouyou-Beauchamps

ED 427 - Université Paris-Sud
UFR Sciences Orsay
Bat 650 - aile nord - 417
Tel : 01 69 15 63 19
Fax : 01 69 15 63 87
courriel: ed-info à lri.fr