The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
This paper is a contribution to the study of the universal Horn fragment of predicate fuzzy logics, focusing on the proof of the existence of free models of theories of Horn clauses over Rational Pavelka predicate logic. We define the notion of a term structure associated to every consistent theory T over Rational Pavelka predicate logic and we prove that the term models of T are free on the class...
Energy-aware software is self-adaptive in nature which dynamically changes its behaviour to save energy. Context information plays a major role in developing such self-adaptive and energy-aware software. Any changes in context information may exhibit different number of operating conditions at run-time. The software should be efficiently developed to be more energy-efficient under different operating...
Advances in social networking and communication technologies have witnessed an increasing number of applications where data is not only characterized by rich content information, but also connected with complex relationships representing social roles and dependencies between individuals. To enable knowledge discovery from such networked data, network representation learning (NRL) aims to learn vector...
Huge volume of content is produced on multiple online sources every day. It is not possible for a user to go through these articles and read about topics of interest. Secondly professional articles, blog and forum have many topics discussed in a single discussion. Automatic knowledge-based topic models is a recent approach in Natural Language Processing that extract high quality topics from a large...
The MOOCs (Massive Open Online Courses) represent a category in the frame of TEL (Technology Enhanced Learning) particularly fashionable today since they allow the largest number of learners to access specific teachings. However, the principle of proposing very sequential and linear pedagogical paths is not attractive enough. In fact, the low success rate shows that it is necessary to maintain the...
Different studies attempt to generate and evaluate models for predicting students success in distance courses. Those works normally rely on a number of different features that are context dependent, thus becoming difficult to generalize the models and the results to other scenarios. The present article describes an alternative approach for predicting at-risk students that only uses the counting of...
Just-In-Time Recommender Systems involve all systems able to provide recommendations tailored to the preferences and needs of users in order to help them access useful and interesting resources within a large data space. The user does not need to formulate a query, this latter is implicit and corresponds to the resources that match the user's interests at the right time. In this paper, we propose...
Prior research has shown that source code and its changes are repetitive. Several approaches have leveraged that phenomenon to detect and recommend change and fix patterns. In this paper, we propose TasC, a model that leverages the context of change tasks in development history to suggest fine-grained code change and fix at the program statement level. We use Latent Dirichlet Allocation (LDA) to capture...
Lexical resources on Arabic tend to focus on the standard version of the language (Modern Standard Arabic, MSA), mostly used in written and formal sources. However, the diffusion of informal genres has increasingly made it necessary the production of wider resources, encompassing the features of spoken varieties commonly found in written texts. The Lahajat project addresses this need by providing...
The automatic planning community of Artificial Intelligence AI have developed a de facto standard language for PDDL, producing formal modeling of Planning problems. Equally it have conceived and produced tools called planners to automatically generate plans for PDDL descriptions. But the verification and validation of PDDL descriptions is little treated topic. In this paper, we shall treat this issue...
Situation identification has become a major issue for situation-aware ubiquitous learning environments. The identification process aims to infer learner's situation by aggregating detected context information pieces. Most recent situation identification approaches are basically focused on crisp ontological modelling and reasoning. Given the fact that crisp ontology is not able to deal with context...
Agile software development methodologies use an iterative and incremental development in order to handle evolving systems. Consolidated techniques in the field of testing have been applied to these techniques with the main purpose of aiding in the test creation stage. An example is Model-Based Test Driven Development (MBTDD) which joins the concepts of Model-Based Testing (MBT) and Test Driven Development...
Clustering product features is the essential task to mine opinions from unstructured online reviews because different customers usually express the same feature with different words or phrases. Several supervised and unsupervised methods have been applied to accomplish this task. In this paper, we propose an orthogonal nonnegative matrix tri-factorizations model to solve the problem. We first construct...
In this era of information explosion, providing the right information to the right person within reasonable time duration to support humans in accomplishing their tasks is the main task of knowledge recommendation systems. Context plays an important role in the process of improving the effectiveness and precision in knowledge recommendation system. While extant researches of knowledge recommendation...
Developing efficient and effective decision making support includes identifying means to reduce repeated manual work and providing possibilities to take advantage of the experience gained in previous decision situations. For this to be possible, there is a need to explicitly model the context of a decision case, for example to determine how much the evidence from one decision case can be trusted in...
Multi-document summarization has gained popularity in many real world applications because significant information can be obtained within a short time. Extractive summarization aims to generate a summary of a document or a set of documents by ranking sentences, whose performance relies heavily on the quality of sentence features. However, almost all previous algorithms require hand-crafted features...
Users visit web services and compose them to accomplish on-line tasks. Normally, users enter the same information into various web services to finish such tasks. However, repetitively typing the same information into services is unnecessary and decreases the service composition efficiency. In this paper, we propose a context-aware ranking approach to recommend previous user inputs into input parameters...
As technological and operational security measures for the protection of information systems are being widely adopted, it is much easier for a malicious user to launch an attack on an information system's weakest link, the humans operating it. Despite the damage that these attacks can cause, they are rarely taken into account in vulnerability assessment models. These models usually focus on representing...
An entity based modeling technique is presented to specify organizational structures. Our context specific approach describes this kind of structures with communication and information domains. Environmental factors differentiate a system of communicators. The model components are defined with their semantical interactions and applied in a detailed example for an operational structure with informational...
Information overload is an increasing challenge for the enterprise knowledge worker. Traditional information retrieval, i.e. Search-based approaches for knowledge management in the enterprise are under strain because users do not have the time to search, often they are not even aware that material relevant to they current needs exists. Neither do they have the time to track the various external news...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.