Search Results - (( development formal using algorithm ) OR ( java implication tree algorithm ))

Search alternatives:

Refine Results
  1. 1
    Algorithms for extracting adjacency matrix based on Formal Concept Analysis (FCA)

    Algorithms for extracting adjacency matrix based on Formal Concept Analysis (FCA) by Hasni, Hassan, Aznida Hayati, Zakaria@Mohamad, Mohd Isa, Awang, Mokhairi, Makhtar, Rohana, Ismail, Fadhilah, Ahmad

    Published 2017
    “…However, the focus of the paper is on a method proposed to extract adjacency matrix from concepts obtained from the theory of Formal Concept Analysis (FCA) using two consecutive algorithms called the Relatedness Algorithm and Adjacency Matrix Algorithm. …”
    Get full text
    Get full text
    Conference or Workshop Item
    Save to List
    Saved in:
  2. 2
    Improving explicit aspects extraction in sentiment analysis using optimized ruleset / Mohammad Ahmad Jomah Tubishat

    Improving explicit aspects extraction in sentiment analysis using optimized ruleset / Mohammad Ahmad Jomah Tubishat by Mohammad Ahmad, Jomah Tubishat

    Published 2019
    “…In addition, the improved WOA is developed by using Cauchy mutation and local search algorithm to solve its local optima problem and improve population diversity. …”
    Get full text
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  3. 3
    Gym activities recommender system using content based filtering algorithm / Muhammad Siddiq Sa’idin

    Gym activities recommender system using content based filtering algorithm / Muhammad Siddiq Sa’idin by Sa’idin, Muhammad Siddiq

    Published 2025
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  4. 4
    Solving ump examination timetabling problem using dynamic exploration step counting hill climbing algorithm

    Solving ump examination timetabling problem using dynamic exploration step counting hill climbing algorithm by Chang, Ling Shing

    Published 2022
    “…Then, the initial solution is improved using our enhanced algorithm called dynamic exploration step counting hill climbing (DESCHC). …”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  5. 5
    A framework for classification software security using common vulnerabilities and exposures

    A framework for classification software security using common vulnerabilities and exposures by Hassan, Nor Hafeizah

    Published 2018
    “…The main research aim is to investigate what information is necessary to make a formal vulnerability pattern representation.This is done through the usage of formal Backus-Naur-Form syntax for the execution and presented with newly created vulnerability flow diagram.Some future works were also proposed to further enhance the elements in the secured soft-ware process framework.This thesis focuses on the research and development of the design, formalization and translation of the vulnerability classification pattern through a framework using common vulnerabilities and exposures data.To achieve this aim, the following work was carried out.First step is to create and conceptualized necessary meta-process.Second step is to specify the relationship between the classifiers and vulnerability classification pat-terns. …”
    Get full text
    Get full text
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  6. 6
    Development of a Spatiotemporal Data Model for Management and Visualization of Surface Movement Data

    Development of a Spatiotemporal Data Model for Management and Visualization of Surface Movement Data by Mohd Rahim, Mohd Shafry

    Published 2008
    “…In developing the visualization tool, visualization algorithm was used by employing the morphing technique which uses parametric equation. …”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  7. 7
    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:
  8. 8
    Sequence diagram synthesis theory for stitching together multiple sequence diagrams through formal semantics modelling

    Sequence diagram synthesis theory for stitching together multiple sequence diagrams through formal semantics modelling by Ameedeen, Mohamed Ariff, Zamli, K. Z., Ong, Muhamad Idaham Umar, Thong, Weng Jie

    Get full text
    Get full text
    Research Report
    Save to List
    Saved in:
  9. 9
    E-history Malaysian secondary school textbook using TF-IDF algorithm and text visualization / Nur Hafizah Mohd Ridzuan

    E-history Malaysian secondary school textbook using TF-IDF algorithm and text visualization / Nur Hafizah Mohd Ridzuan by Mohd Ridzuan, Nur Hafizah

    Published 2020
    “…The objective of the project is to design and develop an E-History Malaysian secondary school textbook system using Term Frequency-Inverse Document Frequency (TF-IDF) algorithm with text visualization and also to test the functionality and usability of the system through a web-based system. …”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  10. 10
    Weighted Watson-crick automata and applications in halal authentication

    Weighted Watson-crick automata and applications in halal authentication by Mohd Tamrin, Mohd Izzuddin, Turaev, Sherzod, Che Azemin, Mohd Zulfaezal

    Published 2016
    “…Our investigations have created new theorems and algorithms used in the design of automated halal authentication tools. …”
    Get full text
    Get full text
    Monograph
    Save to List
    Saved in:
  11. 11
    An application of Malay short-form word conversion using levenshtein distance

    An application of Malay short-form word conversion using levenshtein distance by Rohana, Ismail, Azilawati, Azizan, NurAine, Saidin

    Published 2020
    “…The formal rules from Dewan Bahasa & Pustaka (DBP) are used as the primary reference for generating the short form word identification algorithm. …”
    Get full text
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    An application of Malay short-form word conversion using Levenshtein distance / Azilawati Azizan, NurAine Saidin, Nurkhairizan Khairudin & Rohana Ismail

    An application of Malay short-form word conversion using Levenshtein distance / Azilawati Azizan, NurAine Saidin, Nurkhairizan Khairudin & Rohana Ismail by Azilawati Azizan, Azilawati Azizan, NurAine Saidin, NurAine Saidin, Nurkhairizan Khairudin, Nurkhairizan Khairudin, Rohana Ismail, Rohana Ismail

    Published 2020
    “…The formal rules from Dewan Bahasa & Pustaka (DBP) are used as the primary reference for generating the short form word identification algorithm. …”
    Get full text
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Flowshop scheduling using artificial bee colony (ABC) algorithm with varying onlooker bees approaches

    Flowshop scheduling using artificial bee colony (ABC) algorithm with varying onlooker bees approaches by Mohd Pauzi, Nur Fazlinda

    Published 2015
    “…A simulation computer program was developed using Visual Basic Editor in Microsoft excel 2007. …”
    Get full text
    Get full text
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  14. 14
    A Feature Ranking Algorithm in Pragmatic Quality Factor Model for Software Quality Assessment

    A Feature Ranking Algorithm in Pragmatic Quality Factor Model for Software Quality Assessment by Ruzita, Ahmad

    Published 2013
    “…The methodology used consists of theoretical study, design of formal framework on intelligent software quality, identification of Feature Ranking Technique (FRT), construction and evaluation of FRA algorithm. …”
    Get full text
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  15. 15
    Real time monitoring and controlling using Petri net algorithm for batch process plant / Mohamad Shaiful Osman

    Real time monitoring and controlling using Petri net algorithm for batch process plant / Mohamad Shaiful Osman by Osman, Mohamad Shaiful

    Published 2010
    “…This thesis searches the basic concepts and uses of the classical method Petri net algorithm in SCADA system to control and monitoring the process plant. …”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  16. 16
    Ontology-based metabolic pathway prediction using saccharomyces cerevisiae data from genbank, ecocyc and kegg

    Ontology-based metabolic pathway prediction using saccharomyces cerevisiae data from genbank, ecocyc and kegg by Zakaria, Yuslina

    Published 2006
    “…This approach capable to predict metabolic pathway of S.cerevisiae with 87 percent accuracy compared to 80 percent accuracy using PathoLogic algorithm…”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  17. 17
    Current trends strategies in the test redundancy reduction

    Current trends strategies in the test redundancy reduction by Norasyikin, Safieny, Kamal Z., Zamli, Hasneeza, L. Zakaria

    Published 2016
    “…Many strategies in a greedy approach have been developed (including GE, GRE, and HGS), Formal Concept Analysis and non-greedy approach (tReductLAHC, tReductSA) using Metaheuristic Algorithm. …”
    Get full text
    Get full text
    Conference or Workshop Item
    Save to List
    Saved in:
  18. 18
    The design and implementation of a two and three-dimensional triangular irregular network based GIS

    The design and implementation of a two and three-dimensional triangular irregular network based GIS by Abdul Rahman, Alias

    Published 2000
    “…All the developed algorithms and methods were tested using real data sets. …”
    Get full text
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  19. 19
    Evolutionary genetic algorithm as a generative tools in identifying Malay, Chinese and Indian cultural product DNA / Izzuddinazwan Misri

    Evolutionary genetic algorithm as a generative tools in identifying Malay, Chinese and Indian cultural product DNA / Izzuddinazwan Misri by Misri, Izzuddinazwan

    Published 2015
    “…This thesis presents an inquiry into the hybrid cross-cultural features of 3 majority races in Malaysia such the Malay, Chinese, and Indian using optimization tools called Genetic Algorithm in order to achieve new design DNA. …”
    Get full text
    Get full text
    Thesis
    Save to List
    Saved in:
  20. 20
    An Automated System For Classifying Conference Papers

    An Automated System For Classifying Conference Papers by Ngan, Seon Choon Han

    Published 2021
    “…A randomised stratified 5- fold cross validation was then applied on several data mining algorithms and evaluated using the F-measure as a metric. …”
    Get full text
    Get full text
    Final Year Project / Dissertation / Thesis
    Save to List
    Saved in:

Search Tools: