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