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