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