Exact Computation for Robust 3D polyhedral interactive modeling

Authors: Geniet, Florent, Vallet, Bruno, Bredif, Mathieu

Contributors: Laboratoire en Sciences et Technologies de l'Information Géographique (LaSTIG), Ecole des Ingénieurs de la Ville de Paris (EIVP)-École nationale des sciences géographiques (ENSG), Institut National de l'Information Géographique et Forestière IGN (IGN)-Université Gustave Eiffel-Institut National de l'Information Géographique et Forestière IGN (IGN)-Université Gustave Eiffel

Source: 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⟩

Subject Terms: 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]

Subject Geographic: Sienne, Italy

Availability: 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

Authors: Abate, Alessandro, Fahrenberg, Uli, Fränzle, Martin

Source: 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

Subject Terms: 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

File Description: application/pdf

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

Availability: 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

Authors: Harth, Philipp, Vohra, Sumit Kumar, Udvary, Daniel, Oberlaender, Marcel, Hege, Hans-Christian, Baum, Daniel

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