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