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
-
Hugo Boulanger, Nicolas Hiebel, Olivier Ferret, Karën Fort, Aurélie Névéol. Using Structured Health Information for Controlled Generation of Clinical Cases in French. The 6th Clinical Natural Language Processing Workshop At NAACL 2024 (ClinicalNLP 2024), Jun 2024, Mexico city, Mexico. ⟨hal-04558890⟩
-
Emmanuel Hainry, Bruce M Kapron, Jean-Yves Marion, Romain Péchoux. Complete and tractable machine-independent characterizations of second-order polytime. FoSSaCS 2022 - 25th International Conference on Foundations of Software Science and Computation Structures, Apr 2022, Munich, Germany. pp.368-388, ⟨10.1007/978-3-030-99253-8_19⟩. ⟨hal-03722245v3⟩
Nombre de documents fulltext
9 333
Répartition des dépôts par type de document
Mots Clés
Refinement
Supervision
Proof
Formal concept analysis
Verification
Apprentissage par renforcement
Parallélisme
Deep learning
Algorithm
Induction
Reconnaissance de la parole
Document analysis
M
Real-time
Event-B
Constraints
Sécurité
Automated deduction
Reinforcement learning
Web sémantique
Workflow
Ontology
Modelling
Segmentation
Automatic speech recognition
Machine Learning
Complexity
Real-time systems
Raffinement
Performance
Narrowing
Network management
Performance evaluation
Classification
Adaptation
Optimisation
Web services
Uml
Knowledge representation
Termination
Simulation
Semantics
Raisonnement à partir de cas
B method
Case-based reasoning
Xml
Réécriture
Term rewriting
Fouille de données
Augmented reality
Réseaux de neurones
Robustness
Machine learning
Java
Linear logic
Security
Rewriting
Association rules
Embedded systems
Formal Concept Analysis
Information retrieval
Intelligence économique
Model checking
Privacy
Optimization
Logique linéaire
Strategy
Scheduling
Recherche d'information
Multicast
Ordonnancement
Temps réel
Vérification
Modélisation
Clustering
Annotation
Modeling
Speech
Economic intelligence
Learning
Apprentissage
Security protocols
Spécification
Parole
Neural networks
Speech recognition
Coordination
Natural language processing
Sémantique
Interoperability
Parallelism
Matching
Formal methods
Reconnaissance automatique de la parole
Monitoring
Data mining
Validation
Cryptographic protocols
Complexité
Management