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