Mohammed G. H. al Zamil

Learn More
We have selected 242 Arabic abstracts used by (Hmeidi and Kanaan, 1997); all of which involve computer science and information system. We have also designed and built a new system to compare two different retrieval tasks: Ad-hoc retrieval and filtering retrieval. However, we have defined Ad-hoc and filtering retrieval systems and illustrated the development(More)
Due to the large amount of usage data collected from smart home appliances in an IoT-cloud environment, efficient mining techniques are of great need to capture the behavioral patterns. Existing mining algorithms are time-consuming and error prone as the amount of data is increasing rapidly. In this paper, we propose an abstraction approach to model(More)
— Software testing covers a large percent of the software development expenses. However, formal methods are applied, usually, to improve or ensure the correctness of the requirements, design, code, or testing. In order to utilize formal methods particularized to different cases, the subject matter needs to be written in a formal language or syntax. In this(More)
In this paper, we present a domain specific search engine that relies on extracting the semantic relation among medical documents. Our goal is to maximize the contextual retrieval and ranking performance with minimum input from users. We have performed experiments to measure the effectiveness of the proposed technique by evaluating the performance of the(More)
  • 1