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