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