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