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