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