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

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