Search Results - (( developing model verification algorithm ) OR ( java data visualization 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
    Enhanced bibliographic data retrieval and visualization using query optimization and spectral centrality measure

    Enhanced bibliographic data retrieval and visualization using query optimization and spectral centrality measure by Ramasamy, Chitra, Zolkepli, Maslina

    Published 2019
    “…This study proposing an enhance bibliographic data retrieval and visualization using hybrid clustering method consists of K-harmonic mean (KHM) and Spectral Algorithm and eigenvector centrality measure. …”
    Get full text
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Web-based RIG performance reporting system using interactive visualization techniques / Amir Hambaly Nasaruddin

    Web-based RIG performance reporting system using interactive visualization techniques / Amir Hambaly Nasaruddin by Nasaruddin, Amir Hambaly

    Published 2019
    “…The result of this project is all algorithm for visualizing data is functioning and the output produced from the system is correct and effective. …”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  5. 5
    Development of android application for peninsular Malaysia GEOID height calculator / Mohamad Nazir Md Nazri

    Development of android application for peninsular Malaysia GEOID height calculator / Mohamad Nazir Md Nazri by Md Nazri, Mohamad Nazir

    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
    Save to List
    Saved in:
  6. 6
    Dynamic force-directed graph with weighted nodes for scholar network visualization

    Dynamic force-directed graph with weighted nodes for scholar network visualization by Mohd. Aris, Khalid Al-Walid, Ramasamy, Chitra, Mohd Aris, Teh Noranis, Zolkepli, Maslina

    Published 2022
    “…The approach is realized by creating a web-based interface using D3 JavaScript algorithm that allows the visualization to focus on how data are connected to each other more accurately than the conventional lines of data seen in traditional data representation. …”
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    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:
  8. 8
    Development of a mathematical model for the prediction of chip formation instability and its verification by fuzzy logic with genetic algorithm

    Development of a mathematical model for the prediction of chip formation instability and its verification by fuzzy logic with genetic algorithm by Ullah Patwari, Mohammed Anayet, Amin, A. K. M. Nurul, Istihyaq , M.H., Faris, Waleed Fekry

    Published 2010
    Get full text
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Design Of Robot Motion Planning Algorithm For Wall Following Robot

    Design Of Robot Motion Planning Algorithm For Wall Following Robot by Ali Hassan, Muhamad Khairul

    Published 2006
    “…Computer A will be sent the data to computer B through the internet/LAN using JAVA program. …”
    Get full text
    Get full text
    Monograph
    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
    “…Face recognition is one of the most important and rapidly advanced active research areas of computer science.In spite of the large number of developed algorithms, real-world performance of face recognition has been disappointing. …”
    Get full text
    Get full text
    Get full text
    Conference or Workshop Item
    Save to List
    Saved in:
  11. 11
    Mathematical simulation for 3-dimensional temperature visualization on open source-based grid computing platform

    Mathematical simulation for 3-dimensional temperature visualization on open source-based grid computing platform by Alias, Norma, Satam, Noriza, Abd. Ghaffar, Zarith Safiza, Darwis, Roziha, Hamzah, Norhafiza, Islam, Md. Rajibul

    Published 2009
    “…The development of this architecture is based on several programming language as it involves algorithm implementation on C, parallelization using Parallel Virtual Machine (PVM) and Java for web services development. …”
    Get full text
    Get full text
    Get full text
    Conference or Workshop Item
    Save to List
    Saved in:
  12. 12
    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
    “…The development project will start by studying the algorithm of addition on floating point numbers. …”
    Get full text
    Get full text
    Final Year Project / Dissertation / Thesis
    Save to List
    Saved in:
  13. 13
    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:
  14. 14
    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:
  15. 15
    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:
  16. 16
    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:
  17. 17
    Combined modal parameters-based index for damage identification in a beamlike structure: theoretical development and verification

    Combined modal parameters-based index for damage identification in a beamlike structure: theoretical development and verification by Fayyadh, M.M., Razak, H.A., Ismail, Z.

    Published 2011
    Get full text
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    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:
  19. 19
    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
    “…This research also proposes the improvement of mean time to failure (MTTF) by using the new model checking method. At the end of this research, a complete tool of model checking method based on Groebner bases algorithm for safety verification will be produced. …”
    Get full text
    Get full text
    Get full text
    Technical Report
    Save to List
    Saved in:
  20. 20
    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:

Search Tools: