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