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