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