The validity of multiobjective ant colony technique on ZDT functions verifies the correctness of the technique used.
The research assistant's test performance was audited by the principal investigator at regular intervals to ensure correctness of the technique and interpretation of the results.
Several techniques have been introduced to determine the boundary nodes of a network, but the correctness of these techniques is often ill-defined.
While model checking techniques can be used to verify the correctness of a workflow model, these techniques typically suffer from the state explosion problem.
We show the grammar's usefulness by verifying the correctness of these models using analytical techniques.
In this paper, we analyse the correctness of the CSMA/CD protocol, using techniques from probabilistic model checking and approximate probabilistic model checking.
A technique is given and illustrated for proving simulation and equivalence of programs; there is an analogy with Floyd's technique for proving correctness of programs.
Finally, numerical simulations are given to evaluate and demonstrate the superiority of the multiuser receivers with forward backward averaging technique and the correctness of weighting analyses.
This paper presents a mathematical ontology evaluation technique to measure the correctness of domain ontologies engineered using concept maps.
In model checking one uses algorithmic techniques to establish the correctness of the design with respect to a given property.
Finally, the mouse is a good model for applying advanced bioinformatic techniques to verify the correctness of a potential locus.
