Collection des publications du LORIA, Laboratoire Lorrain de Recherche en Informatique et ses Applications - UMR 7503

Parole Security Case-based reasoning Rewriting Performance evaluation B method Refinement Knowledge representation Constraints Multicast Real-time systems Complexity Linear logic Embedded systems Neural networks Annotation Reconnaissance automatique de la parole Monitoring Java Modelling Privacy Modeling Vérification Validation Proof Machine Learning Augmented reality Formal concept analysis Speech Matching Spécification Apprentissage Temps réel Modélisation Optimization Simulation Coordination Parallelism Ordonnancement Clustering Association rules Cryptographic protocols Narrowing Real-time Network management Scheduling Réécriture Information retrieval Reinforcement learning Data mining Formal Concept Analysis Optimisation Apprentissage par renforcement Semantics Algorithm M Segmentation Performance Robustness Induction Management Verification Automated deduction Deep learning Workflow Classification Logique linéaire Document analysis Reconnaissance de la parole Intelligence économique Web services Interoperability Strategy Fouille de données Model checking Uml Termination Ontology Event-B Economic intelligence Term rewriting Xml Adaptation Automatic speech recognition Natural language processing Raisonnement à partir de cas Complexité Raffinement Security protocols Learning Formal methods Parallélisme Réseaux de neurones Speech recognition Supervision Recherche d'information Machine learning Sécurité Sémantique Web sémantique