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