DE eng

Search in the Catalogues and Directories

Page: 1 2 3 4 5...8
Hits 1 – 20 of 156

1
Privacy-Preserving Prediction of Victim's Mortality and Their Need for Transportation to Health Facilities
In: IEEE Transactions on Industrial Informatics ; https://hal.archives-ouvertes.fr/hal-03456142 ; IEEE Transactions on Industrial Informatics, 2021, 14 (30), pp.1 (2021)
BASE
Show details
2
Exploiting augmented intelligence in the modeling of safety-critical autonomous systems
In: ISSN: 0934-5043 ; EISSN: 1433-299X ; Formal Aspects of Computing ; https://hal.archives-ouvertes.fr/hal-03411215 ; Formal Aspects of Computing, Springer Verlag, 2021, 33 (3), pp.343-384. ⟨10.1007/s00165-021-00543-6⟩ ; https://link.springer.com/article/10.1007%2Fs00165-021-00543-6 (2021)
BASE
Show details
3
Immediate Feedback for Students to Solve Notebook Reproducibility Problems in the Classroom
In: 2021 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) ; https://hal.archives-ouvertes.fr/hal-03378094 ; 2021 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Oct 2021, Saint Louis, Missouri, United States. ⟨10.1109/VL/HCC51201.2021.9576363⟩ (2021)
BASE
Show details
4
Language and semantics of expressions for Grafcet model synthesis in a MDE environment ; Langage et sémantique des expressions pour la synthèse de modèle Grafcet dans un environnement IDM
In: ISSN: 1638-5713 ; Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées ; Conférence de Recherche en Informatique (CRI 2019) ; https://hal.archives-ouvertes.fr/hal-02619121 ; Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2021, Volume 33 - 2020 - Numéro spécial CRI 2019, 33 - 2020, ⟨10.46298/arima.6452⟩ ; René Ndoundam, Eric Badouel, Maurice Tchuenté, Paulin Melatagia (2021)
BASE
Show details
5
SEALS: A framework for building Self-Adaptive Virtual Machines
In: SLE 2021 - 14th ACM SIGPLAN International Conference on Software Language Engineering ; https://hal.inria.fr/hal-03355253 ; SLE 2021 - 14th ACM SIGPLAN International Conference on Software Language Engineering, Oct 2021, Chicago, United States. pp.1-14, ⟨10.1145/3486608.3486912⟩ (2021)
BASE
Show details
6
Automating user-feedback driven requirements prioritization
In: ISSN: 0950-5849 ; EISSN: 1873-6025 ; Information and Software Technology ; https://hal.archives-ouvertes.fr/hal-03277970 ; Information and Software Technology, Elsevier, 2021, 138, pp.106635:1-106635:16. ⟨10.1016/j.infsof.2021.106635⟩ (2021)
BASE
Show details
7
Automatic Guide Generation for Stan via NumPyro
In: PROBPROG 2021 - Third International Conference on Probabilistic Programming ; https://hal.archives-ouvertes.fr/hal-03401708 ; PROBPROG 2021 - Third International Conference on Probabilistic Programming, Oct 2021, Virtual, United States (2021)
BASE
Show details
8
3D Serious Game Modeling and Design: Contributions to Language Learning ; Modélisation et Conception de jeu sérieux tridimensionnel : Contributions à l’apprentissage des langues
Tazouti, Yassine. - : HAL CCSD, 2021
In: https://hal.archives-ouvertes.fr/tel-03315793 ; Environnements Informatiques pour l'Apprentissage Humain. Université Ibn Tofail, Kénitra (Maroc), 2021. Français (2021)
BASE
Show details
9
Modelling, Reverse Engineering, and Learning Software Variability
Acher, Mathieu. - : HAL CCSD, 2021
In: https://hal.inria.fr/tel-03521806 ; Software Engineering [cs.SE]. Université de Rennes 1, 2021 (2021)
BASE
Show details
10
A principled approach to REPL interpreters
In: SPLASH 2020 - ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity ; https://hal.inria.fr/hal-02968938 ; SPLASH 2020 - ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity, Nov 2020, Chicago / Virtual, United States. pp.1-17, ⟨10.1145/3426428.3426917⟩ (2020)
BASE
Show details
11
A Language Agnostic Approach to Modeling Requirements: Specification and Verification
In: MODELS ’20 Companion ; https://hal.inria.fr/hal-02924645 ; MODELS ’20 Companion, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419224⟩ (2020)
BASE
Show details
12
Causal reasoning and symbolic relationships in Medieval Illuminations ; Raisonnement causale et relations symboliques dans les Enluminures médiévales
In: EISSN: 2416-5999 ; Journal of Data Mining and Digital Humanities ; https://hal.archives-ouvertes.fr/hal-01762730 ; Journal of Data Mining and Digital Humanities, Episciences.org, 2019, Special Issue on Data Science and Digital Humanities @ EGC 2018 (2019)
BASE
Show details
13
LMF Reloaded
In: AsiaLex 2019: Past, Present and Future ; https://hal.inria.fr/hal-02118319 ; AsiaLex 2019: Past, Present and Future, Jun 2019, Istanbul, Turkey (2019)
Abstract: International audience ; Lexical Markup Framework (LMF) or ISO 24613 [1] is a de jure standard that provides a framework for modelling and encoding lexical information in retrodigitised print dictionaries and NLP lexical databases. An in-depth review is currently underway within the standardisation subcommittee , ISO-TC37/SC4/WG4, to find a more modular, flexible and durable follow up to the original LMF standard published in 2008. In this paper we will present some of the major improvements which have so far been implemented in the new version of LMF.
Keyword: [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]; [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]; [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC]; [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]; [INFO.INFO-TT]Computer Science [cs]/Document and Text Processing; [SHS.LANGUE]Humanities and Social Sciences/Linguistics; [STAT.ML]Statistics [stat]/Machine Learning [stat.ML]; ISO 24613; Lexical resources; LMF
URL: https://hal.inria.fr/hal-02118319/document
https://hal.inria.fr/hal-02118319/file/AsiaLex2019_paper_74-5.pdf
https://hal.inria.fr/hal-02118319
BASE
Hide details
14
Wiki support for automated definition of software test cases
In: ISSN: 0368-492X ; Kybernetes ; https://hal.archives-ouvertes.fr/hal-02941373 ; Kybernetes, Emerald, 2019, 49 (4), pp.1305-1324. ⟨10.1108/K-10-2018-0548⟩ (2019)
BASE
Show details
15
Generation of Inductive Types from Ecore Metamodels
In: Model-Driven Engineering and Software Development. MODELSWARD 2018. ; https://hal.archives-ouvertes.fr/hal-02021361 ; Model-Driven Engineering and Software Development. MODELSWARD 2018., pp.308-334, 2019 (2019)
BASE
Show details
16
Effective Bridging Between Ecore and Coq: Case of a Type-Checker with Proof-Carrying Code
In: Modelling and Implementation of Complex Systems ; https://hal.archives-ouvertes.fr/hal-01945245 ; Modelling and Implementation of Complex Systems, pp.259-273, 2019 (2019)
BASE
Show details
17
Adaptation and Implementation of the ISO42010 Standard to Software Design and Modeling Tools
In: Model-Driven Engineering and Software Development. MODELSWARD 2018, Communications in Computer and Information Science ; https://hal-cea.archives-ouvertes.fr/cea-02572737 ; Model-Driven Engineering and Software Development. MODELSWARD 2018, Communications in Computer and Information Science, pp.236-258, 2019, ⟨10.1007/978-3-030-11030-7_11⟩ (2019)
BASE
Show details
18
An LSTM-Based Neural Network Architecture for Model Transformations
In: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS) ; https://hal-cea.archives-ouvertes.fr/cea-02572669 ; 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2019, Munich, Germany. pp.294-299, ⟨10.1109/MODELS.2019.00013⟩ (2019)
BASE
Show details
19
Preface to MDE Intelligence 2019: 1st Workshop on Artificial Intelligence and Model-Driven Engineering
In: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) ; https://hal-cea.archives-ouvertes.fr/cea-02572659 ; 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Sep 2019, Munich, Germany. pp.168-169, ⟨10.1109/MODELS-C.2019.00028⟩ (2019)
BASE
Show details
20
The Future of Model Transformation Languages: An Open Community Discussion.
In: ISSN: 1660-1769 ; The Journal of Object Technology ; https://hal-cea.archives-ouvertes.fr/cea-02572743 ; The Journal of Object Technology, Chair of Software Engineering, 2019, 18 (3), pp.7:1. ⟨10.5381/jot.2019.18.3.a7⟩ (2019)
BASE
Show details

Page: 1 2 3 4 5...8

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
156
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern