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