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