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