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