Výsledky vyhledávání - "Computing methodologies~Model verification and validation"

Exact Computation for Robust 3D polyhedral interactive modeling

Autoři: Geniet, Florent Vallet, Bruno Bredif, Mathieu a další

Přispěvatelé: Geniet, Florent Vallet, Bruno Bredif, Mathieu a další

Zdroj: Web3D '25: The 30th International Conference on 3D Web Technology ; https://hal.science/hal-05288439 ; Web3D '25: The 30th International Conference on 3D Web Technology, Sep 2025, Sienne, Italy. pp.1-9, ⟨10.1145/3746237.3746298⟩

Témata: Computing methodologies → Model verification and validation, CCS Concepts, rational computation, exact computation, 3D building models, Mathematics 3D reconstruction, CCS Concepts Computing methodologies → Model verification and validation, [INFO]Computer Science [cs]

Geografické téma: Sienne, Italy

Dostupnost: https://hal.science/hal-05288439
https://hal.science/hal-05288439v1/document
https://hal.science/hal-05288439v1/file/article_exact_math.pdf
https://doi.org/10.1145/3746237.3746298

Introduction to the Special Issue on Distributed Hybrid Systems

Autoři: Abate, Alessandro Fahrenberg, Uli Fränzle, Martin

Zdroj: Leibniz Transactions on Embedded Systems; Vol. 8 No. 2 (2022): Special Issue on Distributed Hybrid Systems; 00:1-00:3 ; 2199-2002 ; 10.4230/LITES-v008-i002

Témata: Distributed hybrid systems, Computing methodologies~Model verification and validation, Computer systems organization~Embedded and cyber-physical systems, Mathematics of computing~Stochastic processes, Theory of computation~Concurrency, Theory of computation~Distributed computing models, Theory of computation~Logic and verification, Theory of computation~Program reasoning, Theory of computation~Self-organization, Theory of computation~Timed and hybrid models

Popis souboru: application/pdf

Relation: https://ojs.dagstuhl.de/index.php/lites/article/view/lites-v008-i002-a000/48

Dostupnost: https://ojs.dagstuhl.de/index.php/lites/article/view/lites-v008-i002-a000
https://doi.org/10.4230/LITES.8.2.0

A Stratification Matrix Viewer for Analysis of Neural Network Data

Autoři: Harth, Philipp Vohra, Sumit Kumar Udvary, Daniel a další

Témata: Computing methodologies → Model verification and validation, centered computing → Visual analytics, CCS Concepts: Human-centered computing → Visual analytics, Applied computing → Biological networks', Human