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

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