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