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