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
-
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-03722245v2⟩
-
Nicolas Hiebel, Bertrand Remy, Bruno Guillaume, Olivier Ferret, Aurélie Névéol, et al.. Hostomytho: A GWAP for Synthetic Clinical Texts Evaluation and Annotation. Games and Natural Language Processing Workshop at LREC-COLING 2024, May 2024, Turin, Italy, May 2024, Turin (Italie), Italy. ⟨hal-04555052⟩
Nombre de documents fulltext
9 330
Répartition des dépôts par type de document
Mots Clés
Linear logic
Model checking
Simulation
Formal concept analysis
Network management
Logique linéaire
Apprentissage par renforcement
Reconnaissance automatique de la parole
Management
Document analysis
Narrowing
Reinforcement learning
Java
Coordination
Complexité
Réécriture
Real-time
Workflow
Modelling
Machine learning
Verification
Uml
Term rewriting
Classification
Monitoring
Economic intelligence
Automated deduction
Vérification
Algorithm
Temps réel
Recherche d'information
Sémantique
Scheduling
Real-time systems
Spécification
Clustering
Termination
Speech recognition
Automatic speech recognition
Modélisation
Raisonnement à partir de cas
Complexity
Parole
Performance
Semantics
Annotation
Refinement
Machine Learning
Performance evaluation
Information retrieval
Web services
Induction
Réseaux de neurones
Parallelism
Apprentissage
Formal Concept Analysis
Optimization
Multicast
Learning
Reconnaissance de la parole
Deep learning
Natural language processing
Sécurité
Interoperability
Strategy
Speech
Cryptographic protocols
Security protocols
Case-based reasoning
Knowledge representation
Rewriting
Segmentation
Robustness
Matching
Raffinement
Fouille de données
Privacy
Ontology
Constraints
Optimisation
B method
Security
Xml
Adaptation
Augmented reality
Validation
Proof
M
Supervision
Parallélisme
Embedded systems
Association rules
Formal methods
Web sémantique
Intelligence économique
Ordonnancement
Event-B
Modeling
Data mining
Neural networks