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