Article Per Year (5 Year)
p-Index From 2019 - 2024
0
P-Index
This Author published in this journals
All Journal Perfecting a Video Game with Game Metrics Proceeding of the Electrical Engineering Computer Science and Informatics Indonesian Journal of Electrical Engineering and Computer Science
Mohd Shafry Mohd Rahim
Universiti Teknologi Malaysia
Computer Science & IT Electrical & Electronics Engineering

Published : 3 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 3 Documents
Search

 1 
Formal Specification for Spatial Information Databases Integration Framework (SIDIF) Mustafa Man; Julaily Aida Jusuh; Mohd Shafry Mohd Rahim; Mohammad Zaidi Zakaria
TELKOMNIKA (Telecommunication Computing Electronics and Control) Vol 9, No 1: April 2011
Publisher : Universitas Ahmad Dahlan

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.12928/telkomnika.v9i1.672

Abstract

This paper discusses the formal validation for spatial information databases integration framework (SIDIF). A SIDIF database is a large, organized body of persistent data, usually associated with computerized software designed to update, query, and retrieve components of the data stored within the system. One of the common difficulties faced by the developer is in designing a robust database system. Even so, in order to solve this matter, developers have to focus their efforts on the formal specifications. The formal specification is supposed to reduce the overall development time. Formal specifications can be used to provide an unambiguous and precise supplement to natural language descriptions. Besides, it can be rigorously validated and verified leading to the early detection of specification errors. Consequently, to validate this problem formally, we specify the SIDIF database framework using Z language and prove by using Z/EVES theorem proven tool. By using this kind of tools, it may help to reduce time, energy and mistake compared to manual theorem proving which can be error task and tedious.
Wood Texture Detection with Conjugate Gradient Neural Network Algorithm Setyawan Widyarto; I Nyoman Suryasa; Otto Fajarianto; Mohd Shafry Mohd Rahim; Khairul Annuar bin Abdullah; Gigih Priyandoko; Gilang Anggit Budaya
Proceeding of the Electrical Engineering Computer Science and Informatics Vol 4: EECSI 2017
Publisher : IAES Indonesia Section

Show Abstract | Download Original | Original Source | Check in Google Scholar | Full PDF (449.336 KB) | DOI: 10.11591/eecsi.v4.1042

Abstract

This project explored fundamental methods to find the factors that can be used in classifying and detecting the type of wood. Whereas, the literatures have been reviewed to determine the algorithms developed. Some experiments have been conducted to analyze the model and system. The experiments are based on artificial neural network (ANN) algorithm that used back propagation and conjugate gradient method of training function in the process of identification. The experiments carried out to be more accurate than the ANN system, the result is about 96% accuracy. It is expected the method can be used and applied for the detection of the type and classification of wood in the industrial sector, especially agriculture
Digital Dental X-Ray Image Segmentation and Feature Extraction Abdolvahab Ehsani Rad; Mohd Shafry Mohd Rahim; Alireza Norouzi
Indonesian Journal of Electrical Engineering and Computer Science Vol 11, No 6: June 2013
Publisher : Institute of Advanced Engineering and Science

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

The process of analysis of such images is important in order to improve quantify medical imaging systems. It is significant to analysis the dental x-ray images we need features of image. In this paper we present a method for segmentation and feature extraction of dental x-ray images. The proposed method has been implemented by using level-set method for segmentation after image enhancement and illustrate contour for teeth to complete the segmentation step. Furthermore, we extracted multiple features of dental x-ray images using texture statistics techniques by gray-level co-occurrence matrix. Extracted data can perform to obtain the teeth measurements for automatic dental systems such human identification or dental diagnosis systems. Preparatory experiments show the significance of the proposed method to extract teeth from an x-ray image. DOI: http://dx.doi.org/10.11591/telkomnika.v11i6.2655
Co-Authors Abdolvahab Ehsani Rad Alireza Norouzi Gilang Anggit Budaya I Nyoman Suryasa Julaily Aida Jusuh Khairul Annuar bin Abdullah Mohammad Zaidi Zakaria Mustafa Man Otto Fajarianto Setyawan Widyarto