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