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