Loading...
Collection of the publications of the LORIA, Lorraine Laboratory of IT Research and its Applications - UMR 7503
This collection contains all the HAL, HAL-INRIA, TEL publications (notice or deposit with full text) where at least one author is affliated to the LORIA.
A consultation by subcollection is also possible, each subcollection corresponding to a scientific department of the laboratory:
- Department 1: Algorithms, Computation, Image & Geometry
- Department 2: Formal methods
- Department 3: Networks, Systems and Services
- Department 4: Natural Language Processing & Knowledge Discovery
- Department 5: Complex Systems, Artificial Intelligence and Robotics
For all your questions or comments about this collection, please contact us at: publications@loria.fr
Latest deposits
Number of full text documents
9 463
Submissions distribution by document type
Keywords
Machine Learning
Raisonnement à partir de cas
Multicast
Verification
Event-B
Uml
Parallelism
Machine learning
Management
Modélisation
Linear logic
Automated deduction
Strategy
Real-time
M
Reinforcement learning
Case-based reasoning
Robotics
Security protocols
Vérification
Supervision
Workflow
Classification
Réseaux de neurones
Sémantique
Neural networks
Ontology
Xml
Embedded systems
Segmentation
Document analysis
Real-time systems
Information retrieval
Validation
Spécification
Security
Proof
Raffinement
Robustness
Monitoring
Parole
Learning
Algorithm
Java
Optimisation
Deep learning
Reconnaissance de la parole
Model checking
Natural language processing
Term rewriting
Web sémantique
Network management
Modeling
Fouille de données
Data mining
Optimization
Annotation
Recherche d'information
Clustering
Temps réel
Complexité
Formal concept analysis
Complexity
Web services
Logique linéaire
Augmented reality
Termination
Interoperability
Privacy
Formal methods
Réécriture
Induction
B method
Scheduling
Adaptation
Constraints
Rewriting
Association rules
Knowledge representation
Parallélisme
Economic intelligence
Modelling
Refinement
Simulation
Apprentissage
Speech
Narrowing
Automatic speech recognition
Performance evaluation
Cryptographic protocols
Semantics
Sécurité
Speech recognition
Intelligence économique
Reconnaissance automatique de la parole
Coordination
Apprentissage par renforcement
Ordonnancement
Performance
Formal Concept Analysis