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