Nouhad Amaneddine

Learn More
Spatial and temporal reasoning is a crucial task for certain Artificial Intelligence applications. In this context, and since two decades, various formalisms representing the information through qualitative constraint networks (QCN) have been proposed. Given a QCN, the main two problems that are facing researchers are: deciding whether this QCN is(More)
The Interval Algebra (IA) and a subset of the Region Connection Calculus (RCC), namely RCC-8, are the dominant Artificial Intelligence approaches for representing and reasoning about qualitative temporal and topological relations respectively. Such qualitative information can be formulated as a Qualitative Constraint Network (QCN). In this paper, we focus(More)
Multiprocessor-system-on-a-chip will be the dominating architecture in embedded systems as it provides an increase in concurrency improving the performance of the system rather than increasing the clock speed which affects the power consumption of the system. However, concurrency needs to be exploited in order to improve the system performance in the(More)
Geographic information systems are computer-based tools for mapping and analyzing spatial data. The technology dates back to 1960. In many spatial data applications, the events at one location are highly influenced by the events at neighboring locations which is known as spatial dependence. This spatial dependence is measured by spatial autocorrelation(More)
This paper presents a new approach to model the core part of an e-learning process. The formal modeling we use relies on Allen's Interval Algebra to build the qualitative constraints networks. With the corresponding intervals, we could represent the conditional sequence of activities the learner is expected to conduct in order to complete a particular(More)
We present in this paper a transformation model for structured documents. TransM is a new model that deals with specified documents, where the structure conforms to a predefined data type. In particular TransM works on XML document conforming to a document type definition DTD. We present the different components of our model and we put the point on the(More)
  • 1