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