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 483
Submissions distribution by document type
Keywords
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