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