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