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

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