Suchergebnisse - [INFO:INFO_CL] Computer Science/Computation and Language

Ambiguity Detection for Programming Language Grammars

Autoren: Basten, Bas

Schlagwörter: [INFO:INFO_CL] Computer Science/Computation and Language, [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, [INFO:INFO_PL] Computer Science/Programming Languages, context-free grammars, programming languages, ambiguity detection, static analysis, scannerless

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-00644079
http://tel.archives-ouvertes.fr/docs/00/64/40/79/PDF/PhDThesis_Bas_Basten.pdf

Verification of real time properties in fiacre language

Autoren: Abid, Nouha

Schlagwörter: [INFO:INFO_CL] Computer Science/Computation and Language, [INFO:INFO_CL] Informatique/Informatique et langage, Pas de mots clés en français

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-00782554
http://tel.archives-ouvertes.fr/docs/00/78/25/54/PDF/manuscrit_these_Nouha_ABID.pdf

Towards securing pervasive computing systems by design: a language approach

Autoren: Jakob, Henner

Schlagwörter: [INFO:INFO_CL] Computer Science/Computation and Language, access control, security, conflict resolution

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-00719170
http://tel.archives-ouvertes.fr/docs/00/71/91/70/PDF/These-Henner_JAKOB.pdf

A Markovian approach to distributional semantics

Autoren: Grave, Edouard

Schlagwörter: [INFO:INFO_CL] Computer Science/Computation and Language, [INFO:INFO_CL] Informatique/Informatique et langage, [INFO:INFO_LG] Computer Science/Machine Learning, [INFO:INFO_LG] Informatique/Apprentissage, Distributional semantics, Hidden Markov model

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-00940575
http://tel.archives-ouvertes.fr/docs/00/94/81/14/PDF/these_archivage_3071004.pdf

Toward Robust Information Extraction Models for Multimedia Documents

Autoren: Ebadat, Ali-Reza

Schlagwörter: [INFO:INFO_CL] Computer Science/Computation and Language, [INFO:INFO_CL] Informatique/Informatique et langage, [INFO:INFO_IR] Computer Science/Information Retrieval, [INFO:INFO_IR] Informatique/Recherche d'information, Information Extraction, Semantic Clustering, Relation Extraction, Relation Discovery, Proper Noun Clustering, Similarity Function, Bag-of-Vectors, Language Modeling, N-gram

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-00760383
http://tel.archives-ouvertes.fr/docs/00/76/03/83/PDF/these-VF.pdf

Jeux de typage et analyse de lambda-grammaires non-contextuelles

Autoren: Bourreau, Pierre

Schlagwörter: [INFO:INFO_CL] Computer Science/Computation and Language, [INFO:INFO_CL] Informatique/Informatique et langage, [INFO:INFO_SC] Computer Science/Symbolic Computation, [INFO:INFO_SC] Informatique/Calcul formel, [INFO:INFO_GT] Computer Science/Computer Science and Game Theory, [INFO:INFO_GT] Informatique/Informatique et théorie des jeux, [INFO:INFO_LO] Computer Science/Logic in Computer Science, [INFO:INFO_LO] Informatique/Logique en informatique, [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, [INFO:INFO_FL] Informatique/Théorie et langage formel, lambda-calcul, logique, grammaires catégorielles, grammaires formelles, analyse et génération de textes, Datalog, programmation logique

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-00733964
http://tel.archives-ouvertes.fr/docs/00/73/39/64/PDF/these.pdf

Expression de la dynamique du discours à l'aide de continuations

Autoren: Lebedeva, Ekaterina

Schlagwörter: [INFO:INFO_CL] Computer Science/Computation and Language, [INFO:INFO_CL] Informatique/Informatique et langage, computational linguistics, natural language semantics, Montague semantics, dynamic semantics, continuations, exceptions, presuppositions, conversational implicatures

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-00783245
http://tel.archives-ouvertes.fr/docs/00/78/32/45/PDF/Thesis-submitted_version.pdf

Analyse syntaxique robuste du français : concilier méthodes statistiques et connaissances linguistiques dans l'outil Talismane

Autoren: Urieli, Assaf

Schlagwörter: [INFO:INFO_CL] Computer Science/Computation and Language, [INFO:INFO_CL] Informatique/Informatique et langage, [INFO:INFO_TT] Computer Science/Document and Text Processing, [INFO:INFO_TT] Informatique/Traitement du texte et du document, [SHS:LANGUE] Humanities and Social Sciences/Linguistics, [SHS:LANGUE] Sciences de l'Homme et Société/Linguistique, [STAT:ML] Statistics/Machine Learning, [STAT:ML] Statistiques/Machine Learning, analyse syntaxique, étiquetage morphosyntaxique, apprentissage automatique supervisé, syntaxe française

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-00979681
http://tel.archives-ouvertes.fr/docs/00/97/96/81/PDF/URIELI-thesis.pdf

Modélisation logique de la langue et Grammaires Catégorielles Abstraites

Autoren: Pompigne, Florent

Schlagwörter: [INFO:INFO_CL] Computer Science/Computation and Language, [INFO:INFO_CL] Informatique/Informatique et langage, [INFO:INFO_LO] Computer Science/Logic in Computer Science, [INFO:INFO_LO] Informatique/Logique en informatique, Traitement Automatique de la Langue, méthodes symboliques, grammaires catégorielles, systèmes de typage, dépendances à distance, lambda-calcul

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-00921040
http://tel.archives-ouvertes.fr/docs/00/92/10/40/PDF/these.pdf
http://tel.archives-ouvertes.fr/docs/00/92/10/40/ANNEX/soutenance.pdf

Métrologie des graphes de terrain, application à la construction de ressources lexicales et à la recherche d'information

Autoren: Navarro, Emmanuel

Schlagwörter: [INFO:INFO_SI] Computer Science/Social and Information Networks, [INFO:INFO_SI] Informatique/Réseaux sociaux et d'information, [INFO:INFO_IR] Computer Science/Information Retrieval, [INFO:INFO_IR] Informatique/Recherche d'information, [INFO:INFO_AI] Computer Science/Artificial Intelligence, [INFO:INFO_AI] Informatique/Intelligence artificielle, [INFO:INFO_CL] Computer Science/Computation and Language, [INFO:INFO_CL] Informatique/Informatique et langage, graphes de terrain, similarité, comparaison de graphes, marche aléatoire, clustering, analyse formelle de concepts, ressources lexicales, recherche d'information

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-01020232
http://tel.archives-ouvertes.fr/docs/01/02/02/32/PDF/rapport_these_navarro_v20131125.pdf

Alignement inter-modalités de corpus comparable monolingue

Autoren: Shrestha, Prajol

Schlagwörter: [INFO:INFO_CL] Computer Science/Computation and Language, [INFO:INFO_CL] Informatique/Informatique et langage, [INFO:INFO_TT] Computer Science/Document and Text Processing, [INFO:INFO_TT] Informatique/Traitement du texte et du document, Multimodalités, Corpus Comparable, Segmentation Informatif

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-00909179
http://tel.archives-ouvertes.fr/docs/00/90/91/79/PDF/Prajol_Shrestha_these.pdf

Vers l'intégration de post-éditions d'utilisateurs pour améliorer les systèmes de traduction automatiques probabilistes

Autoren: Potet, Marion

Schlagwörter: [INFO:INFO_TT] Computer Science/Document and Text Processing, [INFO:INFO_TT] Informatique/Traitement du texte et du document, [INFO:INFO_CL] Computer Science/Computation and Language, [INFO:INFO_CL] Informatique/Informatique et langage, traduction automatique probabiliste, apprentissage, évaluation, post-édition humaine, collecte de corpus, post-édition statistique, estimation de confiance

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-00995104
http://tel.archives-ouvertes.fr/docs/00/99/51/04/PDF/Marion-potet-these-final.pdf

Kevoree : Model@Runtime pour le développement continu de systèmes adaptatifs distribués hétérogènes

Autoren: Fouquet, François

Schlagwörter: [INFO:INFO_CL] Computer Science/Computation and Language, [INFO:INFO_CL] Informatique/Informatique et langage, [INFO:INFO_ES] Computer Science/Embedded Systems, [INFO:INFO_ES] Informatique/Systèmes embarqués, [INFO:INFO_MO] Computer Science/Modeling and Simulation, [INFO:INFO_MO] Informatique/Modélisation et simulation, [INFO:INFO_MC] Computer Science/Mobile Computing, [INFO:INFO_MC] Informatique/Informatique mobile, [INFO:INFO_IU] Computer Science/Ubiquitous Computing, [INFO:INFO_IU] Informatique/Informatique ubiquitaire, Génie du logiciel, Ingénierie du logiciel, Systèmes distribués, Applications distribuées, Architecture dirigée par les modèles, Ingénierie des modèles, Modèle de Composants, Modèle à l'exécution

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-00831018
http://tel.archives-ouvertes.fr/docs/00/91/93/87/PDF/FOUQUET_Francois.pdf

Systèmes de compréhension et de traduction de la parole : vers une approche unifiée dans le cadre de la portabilité multilingue des systèmes de dialogue

Autoren: Jabaian, Bassam

Schlagwörter: [INFO:INFO_AI] Computer Science/Artificial Intelligence, [INFO:INFO_AI] Informatique/Intelligence artificielle, [INFO:INFO_LG] Computer Science/Machine Learning, [INFO:INFO_LG] Informatique/Apprentissage, [INFO:INFO_CL] Computer Science/Computation and Language, [INFO:INFO_CL] Informatique/Informatique et langage, Compréhension de la parole, Traduction automatique, Dialogue homme-machine, Portabilité multilingue, Décodage conjoint

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-00818970
http://tel.archives-ouvertes.fr/docs/00/86/99/56/PDF/pdf2star-1380876833-These_Bassam.pdf

Reconnaissance des entités nommées par exploration de règles d'annotation - Interpréter les marqueurs d'annotation comme instructions de structuration locale

Autoren: Nouvel, Damien

Schlagwörter: [INFO:INFO_LG] Computer Science/Machine Learning, [INFO:INFO_LG] Informatique/Apprentissage, [INFO:INFO_CL] Computer Science/Computation and Language, [INFO:INFO_CL] Informatique/Informatique et langage, [SCCO:COMP] Cognitive science/Computer science, [SCCO:COMP] Sciences cognitives/Informatique, [SCCO:LING] Cognitive science/Linguistics, [SCCO:LING] Sciences cognitives/Linguistique, [INFO:INFO_IR] Computer Science/Information Retrieval, [INFO:INFO_IR] Informatique/Recherche d'information, [INFO:INFO_TT] Computer Science/Document and Text Processing, [INFO:INFO_TT] Informatique/Traitement du texte et du document, [SHS:LANGUE] Humanities and Social Sciences/Linguistics, [SHS:LANGUE] Sciences de l'Homme et Société/Linguistique, Traitement automatique des langues, Fouille de données, Entités nommées, Règles d'annotation

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-00788630
http://tel.archives-ouvertes.fr/docs/00/78/86/30/PDF/RENExplorationReglesAnnotation_Nouvel_2012.pdf
http://tel.archives-ouvertes.fr/docs/00/78/86/30/ANNEX/explo-ren.pdf

Langages Applicatifs et Machines Abstraites pour la Couverture de Code Structurelle

Autoren: Wang, Philippe

Schlagwörter: [INFO:INFO_CL] Computer Science/Computation and Language, [INFO:INFO_PL] Computer Science/Programming Languages, couverture structurelle de code, MC/DC, instrumentation de code, langage de haut-niveau d'abstraction, outils pour logiciels critiques

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-00741549
http://tel.archives-ouvertes.fr/docs/00/74/60/86/PDF/These_Philippe_Wang.pdf

Contributions à la génération de tests à base de contraintes

Autoren: Gotlieb, Arnaud

Schlagwörter: [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, [INFO:INFO_AI] Computer Science/Artificial Intelligence, [INFO:INFO_AI] Informatique/Intelligence artificielle, [INFO:INFO_CL] Computer Science/Computation and Language, [INFO:INFO_CL] Informatique/Informatique et langage, Test logiciel Test à base de contraintes Programmation par Contraintes

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-00699260
http://tel.archives-ouvertes.fr/docs/00/69/92/60/PDF/hdrag.pdf

DRARS, A Dynamic Risk-Aware Recommender System

Autoren: Bouneffouf, Djallel

Schlagwörter: [INFO:INFO_CL] Computer Science/Computation and Language, [INFO:INFO_CL] Informatique/Informatique et langage, Bandit, Contextual bandit, Machine learning, reinforcement learning

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-01026136
http://tel.archives-ouvertes.fr/docs/01/02/61/36/PDF/Dynamic_Risk-Aware_Recommender_Systems.pdf

Contribution à la vérification des automates temporisés : déterminisation, vérification quantitative et accessibilité dans les réseaux d'automates

Autoren: Stainer, Amélie

Schlagwörter: [INFO:INFO_CL] Computer Science/Computation and Language, [INFO:INFO_CL] Informatique/Informatique et langage, vérification, automates temporisés, déterminisation, accessibilité, test

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-00926316
http://tel.archives-ouvertes.fr/docs/00/92/63/16/PDF/these.pdf

Programming Networks with Intensional Destinations

Autoren: Ahmad Kassem, Ahmad

Schlagwörter: [INFO:INFO_CL] Computer Science/Computation and Language, [INFO:INFO_CL] Informatique/Informatique et langage, Abstraction de programmation, Langages déclaratifs, Systèmes distribués

Verfügbarkeit: http://tel.archives-ouvertes.fr/tel-00908354
http://tel.archives-ouvertes.fr/docs/01/02/28/20/PDF/These_Ahmad-Kassem_final.pdf