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)
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)
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)
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. Summarization is not applied only on text documents but also on any multimedia facility. This paper introduces Bayesian method for Arabic extractive text summarization. We developed(More)