Collection of the publications of the LORIA, Lorraine Laboratory of IT Research and its Applications - UMR 7503

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