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