Search Results - (( model verification system algorithm ) OR ( basic optimization method 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
    Particle swarm optimization (PSO) for CNC route problem

    Particle swarm optimization (PSO) for CNC route problem by Nur Azia Azwani, Ismail

    Published 2002
    “…We often see many of the method of Genetic Algorithm (GA), Ant Colony Optimization (ACO), Simulated Annealing Algorithm (SAA) and PSO are used for any optimization problems. …”
    Get full text
    Get full text
    Undergraduates Project Papers
    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
    “…The performances of the simplified fuzzy logic system and the normal fuzzy logic system are compared,with each model having the same number of adjustable parameters. …”
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Optimal power flow based on fuzzy linear programming and modified Jaya algorithms

    Optimal power flow based on fuzzy linear programming and modified Jaya algorithms by Alzihaymee, Warid Sayel Warid

    Published 2017
    “…Meanwhile, the proposed QOJaya algorithm produces better results than the basic Jaya method in terms of solution optimality and convergence speed. …”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  7. 7
    Voting algorithms for large scale fault-tolerant systems

    Voting algorithms for large scale fault-tolerant systems by Karimi, Abbas

    Published 2011
    “…To solve this problem and gain benefits of this algorithm, we employed parallel algorithm technique and by using optimal number of processors, we could propose optimal algorithms known as Parallel Average Voting and Parallel Weighted Average Voting which both have optimal time complexity and less calculation cost. …”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  8. 8
    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
    “…This paper describes the design and development of an offline signature verification system that is based on Hidden Markov Modeling (HMM) technique performed on a series of a localized direction feature extracted from a scanned signature image. …”
    Article
    Save to List
    Saved in:
  9. 9
    Data Analysis using Particle Swarm Optimization Algorithm

    Data Analysis using Particle Swarm Optimization Algorithm by Tai, Zu Jie

    Published 2015
    Get full text
    Get full text
    Final Year Project / Dissertation / Thesis
    Save to List
    Saved in:
  10. 10
    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
    “…It directed towards the illumination-invariant automatic recognition of faces and analysis to improve face verification and identification performance.To compare with other feature extraction at the end of the study, an evaluation has been done with an existing face recognition system using AAM algorithm. …”
    Get full text
    Get full text
    Get full text
    Conference or Workshop Item
    Save to List
    Saved in:
  11. 11
    Using Electromagnetism-like algorithm and genetic algorithm to optimize time of task scheduling for dual manipulators

    Using Electromagnetism-like algorithm and genetic algorithm to optimize time of task scheduling for dual manipulators by Abed I.A., Sahari K.S.M., Koh S.P., Tiong S.K., Jagadeesh P.

    Published 2023
    “…A method based on Electromagnetism-Like algorithm (EM) and Genetic Algorithm (GA) is proposed to determine the time-optimal task scheduling for dual robot manipulators. …”
    Conference paper
    Save to List
    Saved in:
  12. 12
    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:
  13. 13
    A Novel Approach Of Groebner Bases Computation For Safety Analysis Of Distributed Discrete Controllers

    A Novel Approach Of Groebner Bases Computation For Safety Analysis Of Distributed Discrete Controllers by Alwi @ Suhaimi, Saifulza, Salleh, Mohd Rizal, Jaafar, Hazriq Izzuan, Ab Ghani, Mohd Ruddin, Md Fauadi, Muhammad Hafidz Fazli

    Published 2019
    “…One of the favorite topic is the formal verification via model checking, which is to verify whether a mathematical model of a system meets the formal specification that describes the property to be checked. …”
    Get full text
    Get full text
    Get full text
    Technical Report
    Save to List
    Saved in:
  14. 14
    Improved Multi-Verse Optimizer In Text Document Clustering For Topic Extraction

    Improved Multi-Verse Optimizer In Text Document Clustering For Topic Extraction by Abasi, Ammar Kamal Mousa

    Published 2021
    “…Second, three multi-verse optimizer algorithm (MVOs), namely, basic MVO, modified MVO, hybrid MVO is proposed to solve the TDC problem; these algorithms are incremental improvements of the preceding versions. …”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  15. 15
    Synthesis of transistor chaining algorithm for CMOS cell layout using euler path / Sukri Hanafiah

    Synthesis of transistor chaining algorithm for CMOS cell layout using euler path / Sukri Hanafiah by Hanafiah, Sukri

    Published 1997
    “…After discussing about the introduction (the basic of CMOS transistor ), we will discuss how to create the Optimal layout of CMOS Functional Array with the minimum separation based on euler path method. …”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  16. 16
    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:
  17. 17
    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:
  18. 18
    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:
  19. 19
    Model of Improved a Kernel Fast Learning Network Based on Intrusion Detection System

    Model of Improved a Kernel Fast Learning Network Based on Intrusion Detection System by Ali, Mohammed Hasan, Mohamed Fadli, Zolkipli

    Published 2019
    “…In this paper, the particle swan optimization algorithm (PSO) was used to obtain an optimal set of initial parameters for Reduce Kernel FLN (RK-FLN), thus, creating an optimal RKFLN classifier named PSO-RKELM. …”
    Get full text
    Get full text
    Conference or Workshop Item
    Save to List
    Saved in:
  20. 20
    Algorithm development for optimization of a refrigeration system

    Algorithm development for optimization of a refrigeration system by Izzat, Mohamad Adnan

    Published 2010
    “…This thesis deals with algorithm development for optimization of a refrigeration system. …”
    Get full text
    Get full text
    Undergraduates Project Papers
    Save to List
    Saved in:

Search Tools: