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

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