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

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