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