Loading...
Collection des publications du LORIA, Laboratoire Lorrain de Recherche en Informatique et ses Applications - UMR 7503
Cette collection contient toutes les publications de HAL, HAL-INRIA, TEL, ...
(notice ou dépôt avec texte intégral) où au moins un auteur est affilié au LORIA.
Une consultation par sous-collection est également possible, chaque sous-collection correspondant à un département scientifique du laboratoire :
- Sous-collection du département 1: Algorithmique, calcul, image et géométrie
- Sous-collection du département 2 : Méthodes formelles
- Sous-collection du département 3 : Réseaux, systèmes et services
- Sous-collection du département 4 : Traitement automatique des langues et des connaissances
- Sous-collection du département 5 : Systèmes complexes, intelligence artificielle et robotique
Pour toute question ou remarque au sujet de cette collection, veuillez nous contacter à publications@loria.fr
Derniers Dépôts

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