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