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