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
-
Valérie Marissens Cueva, Sébastien Rimbert, Ana Maria Cebolla Alvarez, Mathieu Petieau, Viktoriya Vitkova, et al.. Median Nerve Stimulation to Detect Awake and Anesthetized States with Riemannian Classifiers. Journées CORTICO 2024 - COllectif pour la Recherche Transdisciplinaire sur les Interfaces Cerveau-Ordinateur, https://cortico.fr/, May 2024, Nancy, France. ⟨hal-04570975⟩
Nombre de documents fulltext
9 383
Répartition des dépôts par type de document
Mots Clés
Réécriture
Reconnaissance automatique de la parole
Algorithm
Formal methods
Optimisation
Machine learning
Sécurité
Robustness
Data mining
Raisonnement à partir de cas
Formal Concept Analysis
Apprentissage par renforcement
Logique linéaire
Narrowing
Event-B
Speech recognition
Validation
Induction
Automatic speech recognition
Web services
Spécification
Uml
Document analysis
Vérification
Complexity
Réseaux de neurones
Coordination
Automated deduction
Reconnaissance de la parole
Knowledge representation
Interoperability
Performance evaluation
Parallelism
Network management
Learning
Temps réel
Termination
M
Multicast
Real-time
Xml
Clustering
Proof
Real-time systems
Linear logic
Sémantique
Fouille de données
Natural language processing
Reinforcement learning
Augmented reality
Annotation
B method
Apprentissage
Raffinement
Optimization
Deep learning
Term rewriting
Verification
Neural networks
Semantics
Cryptographic protocols
Simulation
Formal concept analysis
Adaptation
Matching
Segmentation
Complexité
Modélisation
Speech
Strategy
Performance
Modeling
Parole
Security protocols
Modelling
Workflow
Recherche d'information
Supervision
Information retrieval
Rewriting
Privacy
Ordonnancement
Model checking
Association rules
Security
Management
Java
Monitoring
Embedded systems
Scheduling
Ontology
Refinement
Economic intelligence
Intelligence économique
Constraints
Case-based reasoning
Machine Learning
Web sémantique
Classification
Parallélisme