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