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