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