Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 14 of 14 for “"Verification Model"”.
-
Face verification using high dimensional feature
A face verification problem is very popular in computer vision area. In this thesis, we developed a face verification demo using high-dimensional feature. We first used Adaboost Cascade Classifier to detect face then using facial points detector get the points which we want to build the …
-
Edge Device Speaker Verification
… directly in the “wild”. The problem of speaker verification, for a long time, has been deployed to perform inference on systems with significant computations resources. More recently, these systems have been built for smaller, cheaper devices which can be placed in people's homes or other edge …
-
DO STRATEGIC PRIMING PROCESSES DIFFER FOR CATEGORY VS. ASSOCIATIVE PRIMING? AN EVENT-RELATED POTENTIALS STUDY OF PROACTIVE EXPECTANCY STRATEGIES.
… 1980 semantic priming study challenges the Verification Model by proposing that there are two different priming processes, one at a perceptual level and one at a semantic level. Participants performed a lexical decision task with a category-dominant or associative-dominant list while ERPs …
-
The use of the auditory lexical decision task as a method for assessing the relative quality of synthetic speech
… method can be explained by use of the Activation-Verification model (Paap, McDonald, Schvaneveldt, and Noel, 1986). Within the framework of this model, the results of this study suggest that the verification phase is the bottle-neck in processing words produced by synthetic speech generators. This …
-
Study of Equivalence in Systems Engineering within the Frame of Verification
… exposes an unstudied SE area of definition of verification models. In practice, verification models are largely qualitatively defined based on heuristic assumptions rather than science-based approach. For example, we may state the desire for representativeness of a verification model in …
-
Exploring Hybrid Dynamic and Static Techniques for Software Verification
… effectiveness as well as efficiency of software verification. Two major obstacles include the quality of test generation in terms of error detection in software testing and the state space explosion problem in software formal verification (model checking). In this dissertation, we investigate …
-
Metamodeling Driven IP Reuse for System-on-chip Integration and Microprocessor Design
… (IPs) in the form of reusable design or verification components. The first problem is associated with fast and effective integration of reusable design components into a System-on-chip (SoC), so faster design turn-around time can be achieved, leading to faster time-to-market. The second …
-
Exploring Abstraction Techniques for Scalable Bit-Precise Verification of Embedded Software
… safety critical applications. Automatic formal verification is a viable avenue for ensuring the reliability of such software. Recently, more and more formal verification techniques have begun modeling a non-Boolean data variable as a bit-vector with bounded width (i.e. a vector of multiple bits …
-
Facing infinity in model checking expressive specification languages
… are of great and growing interest. Formal verification procedures employ mathematically sound reasoning to address this need. This thesis proposes novel techniques for the verification and falsification of expressive specifications on timed and infinite-state systems. An expressive …
-
Effective Approaches to Abstraction Refinement for Automatic Software Verification
… more efficient approaches for automatic software verification. After a brief motivation why automatic software verification is getting ever more relevant, we continue with detailing the formalism used in this thesis and on the concepts it is built on. We then describe the design and implementation …
-
Scalable verification for complex networks
Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2025-03-28 without embargo terms
-
A model checker for Java bytecode, with novel applications
… for the Java bytecode. Using the combination of model checker and symbolic execution with lazy abstraction, we have been successful to validate whether a program satisfies the given properties or not.
-
Avaliação das páginas principais dos sites de governo electrónico local do Distrito de Lisboa para cidadãos com deficiência visual no que diz respeito à acessibilidade
A presença do sector público na Internet e na World Wide Web é evidente. São já muitos os conteúdos disponíveis para os cidadãos e as empresas. Estes assumem o papel de clientes que devem ser servidos com eficácia, eficiência e satisfação, de forma ininterrupta e célere. Neste sentido, as …
-
Improving Error Discovery Using Guided Model Checking
State exploration in directed software model checking is guided using a heuristic function to move states near errors to the front of the search queue. Distance heuristic functions rank states based on the number of transitions needed to move the current program state into an error location. Lack …