| 81 |
The reception of Eugen Wüster’s work and the development of terminology
|
|
|
|
BASE
|
|
Show details
|
|
|
| 82 |
Normalisation and the translation of phraseology in the COVALT Corpus
|
|
Marco, Josep. - : Les Presses de l'Université de Montréal, 2012
|
|
BASE
|
|
Show details
|
|
|
| 83 |
Toponymes maghrébins. De l'enracinement à l'internationalisation.
|
|
|
|
In: ISSN: 1273-6449 ; Cahiers de sociolinguistique ; https://hal.univ-rennes2.fr/hal-01586160 ; Cahiers de sociolinguistique, PUR - Presse Universitaire de Rennes, 2011, Noms propres, dynamiques identitaires et sociolinguistiques, pp.117-143 ; https://www.cairn.info/revue-cahiers-de-sociolinguistique-2006-1-page-117.htm (2011)
|
|
BASE
|
|
Show details
|
|
|
| 84 |
Description formelle et diagnostic automatique des erreurs en langue étrangère : quelques perspectives pour les outils d'ELAO
|
|
|
|
In: Sciences du langage et nouvelles technologies (ASL'09) ; https://hal-inalco.archives-ouvertes.fr/hal-01375634 ; Thierry Ponchon; Isabelle Labord-Milla. Sciences du langage et nouvelles technologies (ASL'09), Lambert-Lucas, pp.107-115, 2011, Sciences du langage et nouvelles technologies (ASL'09) (2011)
|
|
BASE
|
|
Show details
|
|
|
| 85 |
Size-based termination: Semantics and generalizations ; Terminaison à base de tailles: Sémantique et généralisations
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-01746182 ; Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2011. English. ⟨NNT : 2011NAN10034⟩ (2011)
|
|
Abstract:
The present manuscript is a reflection on termination of higher-order rewrite systems. We concentrate our efforts on a particular approach, size-based termination. This method uses typing to give a syntactic approximation to the size of an element of the language. Our contribution is twofold: first we give a structured approach to proving the correctness of size-based termination. To do this, we show that it is possible to apply a certain version of semantic labelling. This technique uses annotations on terms computed using the semantics of subterms in a certain equational premodel. We show correctness of our labelling framework and of the criterion that allows us to prove termination of the labelled system, and we build a premodel of the rewrite system that intuitively corresponds to the rewrite system. We show that the system labelled using these semantics passes the termination criterion. Furthermore we show that a modification of the classical size-types approach allows us to perform a fine control-flow analysis in a higher-order language. This allows us to build an approximated dependency graph, and show that if a certain syntactic criterion is satisfied by the graph, then all well-typed terms are terminating. ; Ce manuscrit présente une réflexion sur la terminaison des systèmes de réécriture d'ordres supérieurs. Nous nous concentrons sur une méthode particulière, la terminaison à base de tailles. La terminaison à base de tailles utilise le typage pour donner une approximation syntaxique à la taille d'un élément du langage. Notre contribution est double: premièrement, nous permettons d'aborder de manière structurée le problème de la correction des approches à base de taille. Pour ce faire, nous montrons qu'elle peut être traitée par une version de la méthode des annotations sémantiques. Cette dernière utilise des annotations sur les termes calculés à partir de la sémantique des sous-termes dans un certain prémodèle équationnel. Nous montrons la correction de notre approche par annotations sémantiques, ainsi que du critère qui permet de traiter le système annoté, et nous construisons un prémodèle pour le système qui correspond intuitivement à la sémantique du système de réécriture. Nous montrons alors que le système annoté passe le critère de terminaison. D'un autre coté nous modifions l'approche classique de la terminaison à base de tailles et montrons que le système modifié permet une analyse fine du flot de contrôle dans un langage d'ordre supérieur. Ceci nous permet de construire un graphe, dit graphe de dépendance approximé, et nous pouvons montrer qu'un critère syntaxique sur ce graphe suffit à montrer la terminaison de tout terme bien typé.
|
|
Keyword:
[INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]; annotations sémantiques; dependency pairs; higher-order; normalisation; normalization; ordre supérieur; paires de dépendance; premodel; prémodèle; Réécriture; Rewriting; semantic labelling; size-types; tailles; typage; typing
|
|
URL: https://tel.archives-ouvertes.fr/tel-01746182
https://tel.archives-ouvertes.fr/tel-01746182v2/file/these_cody_roux.pdf
https://tel.archives-ouvertes.fr/tel-01746182v2/document
|
|
BASE
|
|
Hide details
|
|
|
| 86 |
Practice, Description and Theory Come Together – Normalization or Interference in Italian Technical Translation?
|
|
|
|
BASE
|
|
Show details
|
|
|
| 87 |
Description formelle et diagnostic automatique des erreurs en langue étrangère : quelques perspectives pour les outils d'ELAO
|
|
|
|
In: Sciences du langage et nouvelles technologies (ASL'09) ; https://hal-inalco.archives-ouvertes.fr/hal-01375634 ; Thierry Ponchon; Isabelle Labord-Milla. Sciences du langage et nouvelles technologies (ASL'09), Lambert-Lucas, pp.107-115, 2011, Sciences du langage et nouvelles technologies (ASL'09) (2011)
|
|
BASE
|
|
Show details
|
|
|
| 88 |
Developing a System Resilience Approach to the Improvement of Patient Safety in NHS Hospitals
|
|
|
|
BASE
|
|
Show details
|
|
|
| 89 |
L'approche de la diversité linguistique en sociolinguistique (Dynamiques de la langue française ; 1/5)
|
|
|
|
In: http://www.uoh.fr/ (2011)
|
|
BASE
|
|
Show details
|
|
|
| 90 |
Dynamiques de la langue française au 21ième siècle : une introduction à la sociolinguistique
|
|
|
|
In: http://www.uoh.fr/ (2011)
|
|
BASE
|
|
Show details
|
|
|
| 91 |
Variations et normes d'une langue (Dynamiques de la langue française ; 3/5)
|
|
|
|
In: http://www.uoh.fr/ (2011)
|
|
BASE
|
|
Show details
|
|
|
| 92 |
Terminaison à base de tailles : sémantique et généralisations ; Size-based termination: Semantics and generalizations
|
|
|
|
BASE
|
|
Show details
|
|
|
| 93 |
OntoGene (Team 65): preliminary analysis of participation in BioCreative III
|
|
|
|
In: Rinaldi, Fabio; Schneider, Gerold; Clematide, Simon; Jegen, Silvan; et al (2010). OntoGene (Team 65): preliminary analysis of participation in BioCreative III. In: BioCreative III workshop, Bethesda, Maryland, 13 September 2010 - 15 September 2010. (2010)
|
|
BASE
|
|
Show details
|
|
|
| 94 |
Normalisation and the Translation of Phraseology in the COVALT Corpus
|
|
Marco, Josep. - : Les Presses de l'Université de Montréal, 2009. : Érudit, 2009
|
|
BASE
|
|
Show details
|
|
|
| 95 |
Speaker normalisation for large vocabulary multiparty conversational speech recognition
|
|
|
|
BASE
|
|
Show details
|
|
|
| 96 |
Automatic emotion recognition: an investigation of acoustic and prosodic parameters
|
|
|
|
BASE
|
|
Show details
|
|
|
| 97 |
Autour du gallo. État des lieux, analyses et perspectives.
|
|
|
|
In: https://halshs.archives-ouvertes.fr/halshs-00430440 ; Presses Universitaires de Rennes, pp.236, 2008 (2008)
|
|
BASE
|
|
Show details
|
|
|
| 98 |
Normalisation et alignement de corpus français et vietnamiens : Format et Logiciels
|
|
|
|
In: Actes JATD 2008 ; journées internationales d'analyse statistique des données textuelles ; https://hal.archives-ouvertes.fr/hal-01705630 ; journées internationales d'analyse statistique des données textuelles, Jun 2008, Lyon, France (2008)
|
|
BASE
|
|
Show details
|
|
|
| 99 |
L'Académie de la langue hébraïque et la morphologie de l'hébreu contemporain
|
|
|
|
In: Regards croisés sur les mots non simples ; https://halshs.archives-ouvertes.fr/halshs-00370876 ; Barbara Kaltz. Regards croisés sur les mots non simples, ENS Editions, pp.95-109, 2008, Langages (2008)
|
|
BASE
|
|
Show details
|
|
|
| 100 |
A test of the effectiveness of speaker verification for differentiating between identical twins.
|
|
|
|
BASE
|
|
Show details
|
|
|
|
|
