Results 261 to 270 of about 596,156 (298)

An experiment in automatic verification of programs

Communications of the ACM, 1963
How effective is a compiler at replacing explicit verification, and what is the cost of this technique?
Weinberg, G. M., Gressett, G. L.
openaire   +2 more sources

Experiment on fast scoring for GMM based speaker verification

2015 23nd Signal Processing and Communications Applications Conference (SIU), 2015
Each speaker is modeled with a mixture of Gaussians in Gaussian mixture model (GMM) based speaker recognition. During verification, a match score is computed between the test feature vectors and the claimant speaker model. In order to make a fast verification, each feature vector might be scored only against the most likely mixtures instead of all ...
openaire   +3 more sources

Boogie Meets Regions: A Verification Experience Report

2008
We use region logic specifications to verify several programs exhbiting the classic hard problem for object-oriented systems: the framing of heap updates. We use BoogiePL and its associated SMT solver, Z3, to prove both implementations and client code.
Anindya Banerjee, Mike Barnett, David A. Naumann   +2 more
openaire   +1 more source

Verification of SECURE by Experiment

2021
Peter R. Ciriscioli, George S. Springer
openaire   +1 more source

Software Tools and their Verification by Experiments

Vehicle System Dynamics, 1993
Abstract In the past years the tasks of simulation has changed rapidly in industrial practice. After static's and elastokinematics the dynamical simulation of complex mechatronic systems have to be done with the aim of precise prediction of vehicle behaviour, before it is realised in hardware.
openaire   +1 more source

Face Verification Experiments on Moodle Quiz

2021 XVI Latin American Conference on Learning Technologies (LACLO), 2021
Daniel Goncalves Da Silva, Francisco De Assis Zampirolli   +1 more
openaire   +1 more source

Robust Solution Verification Experiments on Nonuniform Meshes

Volume 1: Artificial Intelligence (AI) for Fluids; CFD Methods; CFD Applications; Bio-Inspired and Biomedical Fluid Dynamics; Fluid Measurement and Instrumentation; Energy & Sustainability
Abstract The activities of verification, validation, and uncertainty quantification (VVUQ) provide a comprehensive means to assess the credibility of computational models. Within VVUQ, solution verification assesses numerical errors and evaluates whether the simulation is sufficiently accurate for its intended applications.
Justin Weinmeister, Devina P. Sanjaya
openaire   +1 more source

Optional Verification and Signaling in Online Matching Markets: Evidence from a Randomized Field Experiment

Information Systems Research, 2023
Lanfei Shi, Siva Viswanathan
exaly  

Colour-Based Palmprint Verification – An Experiment

2008
This paper presents biometric verification experiments based on palm colour information. Feasibility of colour components from several different colour models (RGB, normalized rgb, HSL, YUV, CIE XYZ, CIE LAB and Hunter LAB) for the purpose of biometric recognition was determined.
Ribarić, Slobodan, Fratrić, Ivan
openaire   +1 more source

IX.—Verification and Experience

Proceedings of the Aristotelian Society, 1937
openaire   +1 more source