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