Parametric Model Checking Continuous-Time Markov Chains. By Catalin-Andrei Ilie time2020 contributedtalk 280 views You may also like 12:46 D2S6 – Coming to Terms with FAIR Ontologies – Maria Poveda-Villalon, Paola Espinoza-Arias 3 views ekaw2020 contributedtalk 7:09 D2S6 – What2Cite: Unveiling Topics and Citations Dependencies for Scientific Literature Exploration and Recommendation – Luigi Di Caro 1 views ekaw2020 contributedtalk 15:21 D1S2-A Comparison of the Cognitive Difficulties Posed by SPARQL Query Constructs-Paul Warren 4 views ekaw2020 contributedtalk 07:32 D1S2-Entity Based Short Text Classification Using Convolutional Neural Networks-Mehwish Alam 3 views ekaw2020 contributedtalk 9:32 D1S2- On the Formal Representation and Annotation of Cellular Genealogies- Heinrich Herre 3 views ekaw2020 contributedtalk 13:33 D1S1- What To Do When the Users of an Ontology Merging System Want the Impossible? Towards Determing Compatibility of Generic Merge Requirements- Samira Babalou 17 views ekaw2020 contributedtalk 12:20 D1S3 – A Knowledge Graph Enhanced Learner Model to Predict Outcomes to Questions in the Medical Field – Antonia Ettore 6 views ekaw2020 contributedtalk 9:11 D2S5 – Task-Oriented Uncertainty Evaluation for Linked Data Based on Graph Interlinks – Ahmed El Amine Djebri 11 views ekaw2020 contributedtalk 8:03 D1S2 – Perceptron Connectives in Knowledge Representation – Pietro Galliani 7 views ekaw2020 contributedtalk 27:02 One-pass Context-based Tableaux Systems for CTL and ECTL. By Alexander Bolotov 293 views time2020 contributedtalk «1…10111213»Page 12 of 13
