Search Results - (( model verification using algorithm ) OR ( java implication force algorithm ))

Search alternatives:

Refine Results
  1. 1
    Verification of correctness properties for aggregation behavior of swarm robotics system using spin model checker / Siti Shafinaz Ali

    Verification of correctness properties for aggregation behavior of swarm robotics system using spin model checker / Siti Shafinaz Ali by Ali, Siti Shafinaz

    Published 2015
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  2. 2
    Verification correctness properties for aggregation behavior of swarm robotics system using SPIN model checker / Siti Shafinaz Ali

    Verification correctness properties for aggregation behavior of swarm robotics system using SPIN model checker / Siti Shafinaz Ali by Ali, Siti Shafinaz

    Published 2015
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  3. 3
    Daily streamflow forecasting using simplified rule-based fuzzy logic system

    Daily streamflow forecasting using simplified rule-based fuzzy logic system by Mohd Shafiek, Yaacob, Dr., Hishamuddin, Jamaluddin, Sobri, Harun

    Published 2011
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Feature extraction using active appearance model algorithm with Bayesian classification approach

    Feature extraction using active appearance model algorithm with Bayesian classification approach by Nuruzzaman, Mohammad, Hussain, Azham, Mohamad Tahir, Hatim, Abu Seman, Mohamad Amir

    Published 2013
    “…This study enhances invariant recognition of human faces and analysis to improve face verification and identification performance using Active Appearance Model (AAM) for feature extraction with Bayesian classification approach. …”
    Get full text
    Get full text
    Get full text
    Conference or Workshop Item
    Save to List
    Saved in:
  5. 5
    Daily streamflow forecasting using simplified rule-based fuzzy logic system

    Daily streamflow forecasting using simplified rule-based fuzzy logic system by Yaacob, Mohd. Shafiek, Jamaluddin, Hishamuddin, Harun, Sobri

    Published 2005
    “…For each catchment, the calibration data set consisted ofthree consecutive years of daily rainfall and streamflow records. Verifications of the calibrated models were done using the data set of the following year. …”
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Offline signature verification system using hidden markov model (HMM) analysis of varying number of states and state transition topology

    Offline signature verification system using hidden markov model (HMM) analysis of varying number of states and state transition topology by Bakri N.B., Ahmad S.M.S., Shakil A.

    Published 2023
    Article
    Save to List
    Saved in:
  7. 7
    Fake news detection: A machine learning approach

    Fake news detection: A machine learning approach by Yeoh, Dennis Guan Lee

    Published 2021
    “…The final model chosen to be deployed was a model trained using a Multinomial Naïve Bayes algorithm.…”
    Get full text
    Get full text
    Final Year Project / Dissertation / Thesis
    Save to List
    Saved in:
  8. 8
    Dose verification procedures in radiotherapy

    Dose verification procedures in radiotherapy by Zakaria, Ahmad, Idris, Nik Rusman Nik

    Published 1999
    Get full text
    Get full text
    Conference or Workshop Item
    Save to List
    Saved in:
  9. 9
    Development And Verification Of Traffic Noise Estimation Using Quarry Environmental Modeling (Qem)

    Development And Verification Of Traffic Noise Estimation Using Quarry Environmental Modeling (Qem) by Rahim, Nuramizah Abdul

    Published 2017
    Get full text
    Get full text
    Monograph
    Save to List
    Saved in:
  10. 10
    Development of fine-grained pill identification algorithm using deep convolutional network

    Development of fine-grained pill identification algorithm using deep convolutional network by Wong, Yuen Fei, Ng, Hoi Ting, Leung, Kit Yee, Chan, Ka Yan, Chan, Sau Yi, Loy, Chen Change

    Published 2017
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    Experimental verification of P&O MPPT algorithm with direct control based on Fuzzy logic control using CUK converter

    Experimental verification of P&O MPPT algorithm with direct control based on Fuzzy logic control using CUK converter by Radjai, T., Gaubert, J.P., Rahmani, L., Mekhilef, Saad

    Published 2015
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Prediction Of Water Quality Parameter By Applying Evolutionary Algorithm (EA) In Taiwan, China

    Prediction Of Water Quality Parameter By Applying Evolutionary Algorithm (EA) In Taiwan, China by Muhammad Shukri Bin Nor Azmi

    Published 2023
    Save to List
    Saved in:
  13. 13
    A Hybrid Rough Sets K-Means Vector Quantization Model For Neural Networks Based Arabic Speech Recognition

    A Hybrid Rough Sets K-Means Vector Quantization Model For Neural Networks Based Arabic Speech Recognition by Babiker, Elsadig Ahmed Mohamed

    Published 2002
    “…The rough sets vector quantization model proved its usefulness in the speech recognition framework, however it can be extended to different applications that involve large amounts of data such as speaker verification.…”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  14. 14
    Fuzzy Mixed Assembly Line Sequencing and Scheduling Optimization Model Using Multiobjective Dynamic Fuzzy GA

    Fuzzy Mixed Assembly Line Sequencing and Scheduling Optimization Model Using Multiobjective Dynamic Fuzzy GA by Zahari, Taha, Farzad, Tahriri, Siti Zawiah, Md Dawal

    Published 2014
    “…An improved genetic algorithm called fuzzy adaptive genetic algorithm (FAGA) is proposed in order to solve this optimization model. …”
    Get full text
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    Design of a floating point unit for 32-bit 5 stage pipeline processor

    Design of a floating point unit for 32-bit 5 stage pipeline processor by Low, Wai Hau

    Published 2020
    “…Microarchitecture level will perform unit partitioning of the system and block partitioning of the units. RTL modelling using Verilog will be performed on each block following the units and eventually the complete system. …”
    Get full text
    Get full text
    Final Year Project / Dissertation / Thesis
    Save to List
    Saved in:
  16. 16
    Active intelligent control of vibration of flexible plate structures

    Active intelligent control of vibration of flexible plate structures by Md Salleh, Salihatun

    Published 2011
    “…However, the non-model based AVC algorithms are faster than their model-based AVC counterparts.…”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  17. 17
    Modeling And Control Of V-Groove Rotary Impact Driver

    Modeling And Control Of V-Groove Rotary Impact Driver by Leong, Chi Hoe

    Published 2020
    “…A state-flow control algorithm is developed on the model to improve the mentioned shortfalls. …”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  18. 18
    A Hybrid Adaptive Leadership GWO Optimization with Category Gradient Boosting on Decision Trees Algorithm for Credit Risk Control Classification

    A Hybrid Adaptive Leadership GWO Optimization with Category Gradient Boosting on Decision Trees Algorithm for Credit Risk Control Classification by Suihai, Chen, Chih How, Bong, Po Chan, Chiu

    Published 2024
    “…It can effectively enhance the predictive accuracy and execution speed of the CatBoost algorithm model. The third step involves applying the new algorithm to the risk control model for testing and comparison, resulting in the conclusion that the model established by the EBGWO-Catboost algorithm exhibits more advantages compared to models built by other algorithms. …”
    Get full text
    Get full text
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  19. 19
    An FPGA implementation of exp-bet scheduling algorithm in LTE networks / Yusmardiah Yusuf

    An FPGA implementation of exp-bet scheduling algorithm in LTE networks / Yusmardiah Yusuf by Yusuf, Yusmardiah

    Published 2017
    “…The metric equation of the EXP-BET algorithm is modelled and simulated using the MATLAB Simulink environment and System Generator tool provided by Xilinx. …”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  20. 20
    Development of biosignals-based multimodal biometric system

    Development of biosignals-based multimodal biometric system by Osamah Sadeq Alhamdani

    Published 2014
    “…Heart Sound Verification (HSV) provides an average equal error rate (EER) of 13.8% while the average EER for the Speaker Verification model (SV) is 2.1 %. …”
    Get full text
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:

Search Tools: