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