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