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