Nevin Mahmoud Darwish

Learn More
Summarization is the process of producing shorter presentation of the most important information from a source or multiple sources of information according to particular needs. With summaries, we can make effective decisions and get useful information in less time. This paper introduces an Arabic extractive text summarization system. This system integrates(More)
Sketch recognition is defined as the process of identifying symbols that users draw using single or multiple strokes. Users draw strokes using a pen and the system immediately interprets their strokes as objects that can be easily manipulated. This paper uses Particle Swarm Optimization Algorithm (PSO) to divide the strokes the user draws into meaningful(More)
In this paper we aim to estimate the differential student knowledge model in a probabilistic domain within an intelligent tutoring system. The suggested algorithm aims to estimate the actual student model through the student answers to questions requiring diagnosing skills. Updating and verification of the model are conducted based on the matching between(More)
This paper addresses the problem of coordinating a group of agents involved in a team. To achieve flexible teamwork, agents should synchronize their work and monitor their performance to avoid redundant work. Generalized Partial Global Planning (GPGP) is one of the most common techniques used in coordinating cooperative agents, however, no technique is(More)
Dimensionality reduction is an important process in text categorization. Feature scoring methods are used in order to realize this reduction. Features are evaluated and selection is performed according to a certain threshold. In this paper, we propose combining pairs of high-performing feature scoring methods to enhance text categorization. We analyzed the(More)
In this paper, we present a new approach for measuring the expected runtimes (hardness) of SMT problems. The required features, the statistical hardness model used and the machine learning technique which we used are presented. The method is applied to estimate the hardness of problems in the Quantier Free Bit Vector (QFBV) theory and we used four of the(More)
In this paper we aim to estimate the differential student knowledge model in a probabilistic domain within an intelligent tutoring system. The student answers to questions requiring diagnosing skills are used to estimate the actual student model. Updating and verification of the model are conducted based on the matching between the student's and model(More)
abstract This paper presents a new method for solving systems of Boolean equations. The method is based on converting the equations so that we operate in the integer domain. In the integer domain better and more efficient methodologies for solving equations are available. The conversion leads us to a system of polynomial equations obeying certain(More)