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