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