Search Results - (( software verification based algorithm ) OR ( java implication tree algorithm ))
Search alternatives:
- software verification »
- verification based »
- java implication »
- implication tree »
- tree algorithm »
-
1
-
2
Performance evaluation metrics for multi-objective evolutionary algorithms in search-based software engineering: systematic literature review
Published 2021“…The preliminary results show that remarkable studies were reported without considering performance metrics for the purpose of algorithm evaluation. Based on the 27 performance metrics that were identified, hypervolume, inverted generational distance, generational distance, and hypercube-based diversity metrics appear to be widely adopted in most of the studies in software requirements engineering, software design, software project management, software testing, and software verification. …”
Get full text
Get full text
Article -
3
Building norms-adaptable agents from Potential Norms Detection Technique (PNDT)
Published 2023Short Survey -
4
Implementation Of FPGA Based Encryption Chip Using VHD - Data Encryption Standard (DES) Algorithm
Published 2006“…Traditional Encryption Algorithms are implemented in software base because of the complexities involved in the operations. …”
Get full text
Get full text
Monograph -
5
Face recognition for identify verification in exams locations
Published 2023“…It also needs to be fast for quick verification. The project uses a mix of hardware and software tools. …”
Get full text
Get full text
Final Year Project / Dissertation / Thesis -
6
Development of android application for peninsular Malaysia GEOID height calculator / Mohamad Nazir Md Nazri
Published 2021“…There is also an analysis that been done which is the verification of the algorithm in the developed application and the comparison between a different interpolation method. …”
Get full text
Get full text
Thesis -
7
-
8
Feature identification in a real surface metrology analysis by means of Double Iteration Sobel (DIS) / Ainaa Farhanah Mohd Razali
Published 2022“…In this case, the algorithm of the DIS operator is embedded with the Marker-based Watershed segmentation as the assistance of Marker-based Watershed Segmentation is effective in extracting the individual significant edges features produced by DIS operator. …”
Get full text
Get full text
Thesis -
9
A framework of test case prioritisation in regression testing using particle swarm-artificial bee colony algorithm
Published 2024“…The developed framework, grounded in fault-based testing theory, comprises three key components: inputs, prioritization factors, and a prioritization algorithm. …”
Get full text
Get full text
Get full text
Get full text
Thesis -
10
Numerical simulation and experimental verification on distortions induced by wire-arc additive manufacturing components and costing analysis / Keval Priapratama Prajadhiana
Published 2024“…The development of numerical simulation model started by the geometrical modelling followed by material modelling based on real scanned material using JMATPRO. A mesh sensitivity analysis was executed in order to determine the most optimized element numbers which are followed by the selection of optimized WAAM parameters based on the result of preliminary experiment process. …”
Get full text
Get full text
Thesis -
11
-
12
Texture-based feature using multi-blocks gray level co-occurrence matrix for ethnicity identification
Published 2020Get full text
Get full text
Get full text
Conference or Workshop Item -
13
Development of optimized damage prediction method for health monitoring of ultra high performance fiber-reinforced concrete communication tower
Published 2018“…The results are used to develop the hybrid learning algorithm based on the AdaBoost, Bagging, and RUSBoost methods to predict the damage in the tower based on dynamic frequency domain. …”
Get full text
Get full text
Thesis -
14
-
15
Modeling And Control Of V-Groove Rotary Impact Driver
Published 2020“…Finally, prototype was built based on the software simulation model for actual human test and validation. …”
Get full text
Get full text
Thesis -
16
Development of web-based GIS for traffic management system with obstacle avoidance technique using open source software
Published 2014“…A web-based traffic management system was developed using open source software in this study. …”
Get full text
Get full text
Thesis -
17
Computational dynamic support model for social support assignments around stressed individuals among graduate students
Published 2020“…Later, the dynamic configuration algorithm was designed to utilize possible support assignments based on support provision requirements. …”
Get full text
Get full text
Get full text
Get full text
Get full text
Thesis -
18
-
19
On the development of a web extension for text authentication on google chrome
Published 2019“…Upon clicking the button, the underlying algorithm in the extension software retrieves the texts from the current web-page being displayed. …”
Get full text
Get full text
Get full text
Conference or Workshop Item -
20
A multi-color based features from facial images for automatic ethnicity identification model
Published 2019Get full text
Get full text
Get full text
Conference or Workshop Item
