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