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