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