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