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