Search Results - "Computing methodologies → Model verification and validation"

Exact Computation for Robust 3D polyhedral interactive modeling

Authors: Geniet, Florent Vallet, Bruno Bredif, Mathieu et al.

Contributors: Geniet, Florent Vallet, Bruno Bredif, Mathieu et al.

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 et al.

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

VISLIX: An XAI Framework for Validating Vision Models with Slice Discovery and Analysis.

Authors: Yan, Xinyuan Xuan, Xiwei Ono, Jorge Piazentin et al.

Source: Computer Graphics Forum. Jun2025, Vol. 44 Issue 3, p1-12. 12p.

Subject Terms: *COMPUTER vision, *MODEL validation, *OBJECT recognition (Computer vision), *DATA analysis, *HUMAN-computer interaction, *VISUAL analytics, *MACHINE learning

A User Study Evaluation of Predictive Formal Modelling at Runtime in Human-Swarm Interaction.

Authors: Abioye, Ayodeji O. Hunt, William Gu, Yue et al.

Source: ACM Transactions on Human-Robot Interaction; Dec2025, Vol. 14 Issue 4, p1-24, 24p

Subject Terms: PREDICTION models, HUMAN-robot interaction, SIMULATION software, USER-centered system design, DRONE aircraft pilots, TASK analysis

GANs in the Panorama of Synthetic Data Generation Methods.

Authors: Vaz, Bruno Figueira, Álvaro

Source: ACM Transactions on Multimedia Computing, Communications & Applications; Jan2025, Vol. 21 Issue 1, p1-28, 28p

Subject Terms: GENERATIVE adversarial networks, DATA augmentation, DATA quality, FAKE news, TASK performance

Fast Loosely-Timed Deep Neural Network Models with Accurate Memory Contention.

Authors: Arasteh, Emad M. Dömer, Rainer

Source: ACM Transactions on Embedded Computing Systems; Sep2024, Vol. 23 Issue 5, p1-32, 32p

Subject Terms: ARTIFICIAL neural networks, COMPUTER storage devices, ARCHITECTURAL design, MEMORY

Rate Lifting for Stochastic Process Algebra by Transition Context Augmentation.

Authors: SOLTANIEH, AMIN SIEGLE, MARKUS

Source: ACM Transactions on Modeling & Computer Simulation; Jul2024, Vol. 34 Issue 3, p1-30, 30p

Subject Terms: STOCHASTIC processes, ALGEBRA, NONLINEAR equations, ENGINEERING models, REVERSE engineering

End-to-End Statistical Model Checking for Parameterization and Stability Analysis of ODE Models.

Authors: JULIEN, DAVID ARDOUREL, GILLES CANTIN, GUILLAUME et al.

Source: ACM Transactions on Modeling & Computer Simulation; Jul2024, Vol. 34 Issue 3, p1-25, 25p

Subject Terms: PARAMETERIZATION, STATISTICAL models, ORDINARY differential equations, NUMERICAL integration, BIOLOGICAL models, APPROXIMATION error

Feasibility of Remote Blood Pressure Estimation via Narrow-band Multi-wavelength Pulse Transit Time.

Authors: Slapničar, Gašper Wang, Wenjin Luštrek, Mitja

Source: ACM Transactions on Sensor Networks; Jul2024, Vol. 20 Issue 4, p1-21, 21p

Subject Terms: PULSE wave analysis, BLOOD viscosity, BLOOD pressure, SKIN temperature, PEARSON correlation (Statistics), RANDOM forest algorithms, HEART beat

Early Validation and Verification of System Behaviour in Model-based Systems Engineering: A Systematic Literature Review.

Authors: Cederbladh, Johan Cicchetti, Antonio Suryadevara, Jagadish

Source: ACM Transactions on Software Engineering & Methodology; Mar2024, Vol. 33 Issue 3, p1-67, 67p

Subject Terms: SYSTEMS engineering, TECHNICAL literature, WORKFLOW, QUALITY control, SYSTEMS development, WORKFLOW software, SYSTEMS design, SYSTEM integration

Testing Causality in Scientific Modelling Software.

Authors: Clark, Andrew G. Foster, Michael Prifling, Benedikt et al.

Source: ACM Transactions on Software Engineering & Methodology; Jan2024, Vol. 33 Issue 1, p1-42, 42p

Subject Terms: COMPUTER software testing, SCIENTIFIC models, CAUSAL inference, VIRAL transmission, GALAXY formation, RESEARCH personnel

Social media-based social–psychological community resilience analysis of five countries on COVID-19.

Authors: Valinejad, Jaber Guo, Zhen Cho, Jin-Hee et al.

Source: Journal of Computational Social Science; Oct2023, Vol. 6 Issue 2, p1001-1032, 32p

AgriTera: Accurate Non-Invasive Fruit Ripeness Sensing via Sub-Terahertz Wireless Signals.

Authors: Afzal, Sayed Saad Kludze, Atsutse Karmakar, Subhajit et al.

Source: MobiCom: International Conference on Mobile Computing & Networking; 2023, p1-15, 15p

Subject Terms: FRUIT ripening, FOOD waste, VALUE capture, FRUIT quality, VEGETABLE quality

Generating Constraint Programs for Variability Model Reasoning: A DSL and Solver Agnostic Approach

Authors: Correa, Camilo Robin, Jacques MAZO, Raùl et al.

Contributors: Correa, Camilo Robin, Jacques MAZO, Raùl et al.

Source: GPCE 2023: Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences ; ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences ; https://hal.science/hal-04330769 ; ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Oct 2023, Lisboa, Portugal. ⟨10.1145/3624007.3624060⟩

Subject Terms: Software Product Lines, Automated Reasoning, Generic Architecture, Configuration Automation, [INFO]Computer Science [cs], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Subject Geographic: Lisboa, Portugal

Availability: https://hal.science/hal-04330769
https://hal.science/hal-04330769v1/document
https://hal.science/hal-04330769v1/file/2023-GPCE_Camera_Ready.pdf
https://doi.org/10.1145/3624007.3624060

Simulating Software Evolution to Evaluate the Reliability of Early Decision-making among Design Alternatives toward Maintainability.

Authors: KARANIKOLAS, CHRIS DIMITROULAKOS, GRIGORIS MASSELOS, KONSTANTINOS

Source: ACM Transactions on Software Engineering & Methodology; May2023, Vol. 32 Issue 3, p1-38, 38p

Model-driven Cluster Resource Management for AIWorkloads in Edge Clouds.

Authors: LIANG, QIANLIN HANAFY, WALID A. ALI-ELDIN, AHMED et al.

Source: ACM Transactions on Autonomous & Adaptive Systems; Mar2023, Vol. 18 Issue 1, p1-26, 26p

Subject Terms: KNAPSACK problems, RESOURCE management, AUGMENTED reality, INTERNET of things, ARTIFICIAL intelligence

A Molecular Communication Scheme to Estimate the State of Biochemical Processes on a Lab-on-a-Chip

Authors: Cevdet Akdeniz, Bayram Egan, Malcolm

Contributors: Cevdet Akdeniz, Bayram Egan, Malcolm

Source: Proceedings of the 1st ACM International Workshop on Nanoscale Computing, Communication, and Applications. :8-13

Subject Terms: 0508 media and communications, lab-on-a-chip, [SDV.BBM.MN] Life Sciences [q-bio]/Biochemistry, Molecular Biology/Molecular Networks [q-bio.MN], 9. Industry and infrastructure, molecular communication, microfludics, 05 social sciences, [INFO.INFO-IT] Computer Science [cs]/Information Theory [cs.IT], 02 engineering and technology, 0210 nano-technology

File Description: application/pdf

Access URL: https://hal.archives-ouvertes.fr/hal-03018289/file/NANOCOCOA_2020_Akdeniz_Egan_ES.pdf
https://hal.science/hal-03018289v1
https://hal.science/hal-03018289v1/document
https://doi.org/10.1145/3416006.3431272
https://hal.archives-ouvertes.fr/hal-03018289/document
https://dl.acm.org/doi/pdf/10.1145/3416006.3431272
https://dblp.uni-trier.de/db/conf/sensys/nanococoa2020.html#AkdenizE20
https://hal.archives-ouvertes.fr/hal-03018289

A unified evaluation framework for head motion prediction methods in 360° videos

Authors: Romero Rondon, Miguel Sassatelli, Lucile Aparicio-Pardo, Ramon et al.

Contributors: Romero Rondon, Miguel Sassatelli, Lucile Aparicio-Pardo, Ramon et al.

Source: Proceedings of the 11th ACM Multimedia Systems Conference. :279-284

Subject Terms: [INFO.INFO-MM] Computer Science [cs]/Multimedia [cs.MM], [INFO.INFO-CV] Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV], [INFO.INFO-NE] Computer Science [cs]/Neural and Evolutionary Computing [cs.NE], 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-LG] Computer Science [cs]/Machine Learning [cs.LG], 02 engineering and technology

File Description: application/pdf

Access URL: https://hal.archives-ouvertes.fr/hal-02615979/file/ODS2020_CR.pdf
https://hal.archives-ouvertes.fr/hal-02615979
https://dblp.uni-trier.de/db/conf/mmsys/mmsys2020.html#Romero-RondonSA20
https://doi.org/10.1145/3339825.3394934
https://hal.archives-ouvertes.fr/hal-02615979/document
https://dl.acm.org/doi/10.1145/3339825.3394934

3 Channel Dependency-Based Power Model for Mobile AMOLED Displays.

Authors: Seongwoo Hong Suk-Won Kim Young-Jin Kim

Source: DAC: Annual ACM/IEEE Design Automation Conference; 2017, Issue 54, p37-42, 6p

Subject Terms: ELECTROMAGNETIC waves, ELECTROMAGNETIC theory, DATA corruption, DATA transmission systems, ELECTRONIC systems