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