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