Näytetään tulokset 1 - 10 / 166
tulosta / sivu
Mitä julkaisutietoja palvelu sisältää?
Julkaisun nimi
Tekijät
Julkaisukanava
Vuosi
 Julkaisujen tiedon ikoni

Context in Mechanism-based Explanation

Vertaisarvioitu
Avoin saatavuus
DOI
10.1177/0048393121991657
Pozzoni, Gianluca; Kaidesoja, Tuukka
Philosophy of the Social Sciences2021 Julkaisujen tiedon ikoni

Explicating Inference to the Best Explanation

Vertaisarvioitu
Avoin saatavuus
DOI
10.1007/978-3-031-01315-7_11
Niiniluoto, Ilkka
Synthese Library2022 Julkaisujen tiedon ikoni

Zero-Shot Learning for Code Explanation Using LLM

DOI
10.1109/bigdata62323.2024.10826111
Preoty, Anika Tasnim; Niemisto, Matti; Oussalah, Mourad
Proceedings (IEEE International Conference on Big Data)2024 Julkaisujen tiedon ikoni

Explanation

DOI
10.1002/9781118430873.est0647
Ylikoski, Petri Kullervo
Wiley Blackwell2017 Julkaisujen tiedon ikoni

Intersubjective Interaction During the Word Explanation Activity in Social Virtual Reality

Vertaisarvioitu
Avoin saatavuus
DOI
10.1007/978-3-031-30727-0_5
Spets, Heidi
Palgrave Macmillan2023 Julkaisujen tiedon ikoni

Counterexample visualization and explanation for function block diagrams

Vertaisarvioitu
Avoin saatavuus
DOI
10.1109/INDIN.2018.8472025
Pakonen, Antti; Buzhinsky, Igor; Vyatkin, Valeriy
IEEE International Conference on Industrial Informatics2018 Julkaisujen tiedon ikoni

Change-based causes in counterexample explanation for model checking

Vertaisarvioitu
Avoin saatavuus
DOI
10.1109/IECON48115.2021.9589122
Ovsiannikova, Polina; Pakonen, Antti; Vyatkin, Valeriy
Proceedings of the Annual Conference of the IEEE Industrial Electronics Society2021 Julkaisujen tiedon ikoni

Finding Real and Fake Explanations

Vertaisarvioitu
Avoin saatavuus
Green, Sarah
Cornell University Press2023 Julkaisujen tiedon ikoni

Model-based explanation of plant knowledge: Dissertation

Avoin saatavuus
Huuskonen, Pertti
VTT Publications1997 Julkaisujen tiedon ikoni

Visual counterexample explanation for model checking with OERITTE

Vertaisarvioitu
Avoin saatavuus
DOI
10.1109/ICECCS51672.2020.00008
Ovsiannikova, Polina; Buzhinsky, Igor; Pakonen, Antti; Vyatkin, Valeriy
25th International Conference on Engineering of Complex Computer Systems, ICECCS
20202020

Context in Mechanism-based Explanation

Vertaisarvioitu
Avoin saatavuus
DOI
10.1177/0048393121991657
2021

Explicating Inference to the Best Explanation

Vertaisarvioitu
Avoin saatavuus
DOI
10.1007/978-3-031-01315-7_11
2022

Zero-Shot Learning for Code Explanation Using LLM

DOI
10.1109/bigdata62323.2024.10826111
2024

Explanation

DOI
10.1002/9781118430873.est0647
2017

Intersubjective Interaction During the Word Explanation Activity in Social Virtual Reality

Vertaisarvioitu
Avoin saatavuus
DOI
10.1007/978-3-031-30727-0_5
2023

Counterexample visualization and explanation for function block diagrams

Vertaisarvioitu
Avoin saatavuus
DOI
10.1109/INDIN.2018.8472025
2018

Change-based causes in counterexample explanation for model checking

Vertaisarvioitu
Avoin saatavuus
DOI
10.1109/IECON48115.2021.9589122
2021

Finding Real and Fake Explanations

Vertaisarvioitu
Avoin saatavuus
2023

Model-based explanation of plant knowledge: Dissertation

Avoin saatavuus
1997

Visual counterexample explanation for model checking with OERITTE

Vertaisarvioitu
Avoin saatavuus
DOI
10.1109/ICECCS51672.2020.00008
2020