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