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

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