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

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