A new search model for evolutionary algorithms.
User-based Collaborative Filtering (UBCF) is a common approach in Recommender Systems (RS). Essentially, UBCF predicts unprovided entries for the target user by selecting similar neighbors. The effectiveness of UBCF greatly depends on the selected similarity measure and the subsequent choice of neighbors. This paper presents a new Uncertainty-Aware Similarity measure "UASim" which enhances CF by accurately calculating how similar, dissimilar, and uncertain users' preferences are. Uncertainty is...
A new method for applying grammar based Genetic Programming to learn fuzzy rule based classifiers from examples is proposed. It will produce linguistically understandable, rule based definitions in which not all features are sent in the antecedents. A feature selection is implicit in the algorithm. Since both surface and deep structure will be learned, standard grammar based GP is not applicable to this problem. We have adapted GA-P algorithms, a method formerly defined as an hybrid between GA and...
The image's restoration is an essential step in medical imaging. Several Filters are developped to remove noise, the most interesting are filters who permits to denoise the image preserving semantically important structures. One class of recent adaptive denoising methods is the nonlinear Partial Differential Equations who knows currently a significant success. This work deals with mathematical study for a proposed nonlinear evolution partial differential equation for image processing. The existence...
It is a well-known fact that the Dempster combination rule for combination of uncertainty degrees coming from two or more sources is legitimate only if the combined empirical data, charged with uncertainty and taken as random variables, are statistically (stochastically) independent. We shall prove, however, that for a particular but large enough class of probability measures, an analogy of Dempster combination rule, preserving its extensional character but using some nonstandard and boolean-like...
We study iteration and recursion operators in the denotational semantics of typed λ-calculi derived from the multiset relational model of linear logic. Although these operators are defined as fixpoints of typed functionals, we prove them finitary in the sense of Ehrhard’s finiteness spaces.
We prove a long standing conjecture of Duval in the special case of sturmian words.
We prove a long standing conjecture of Duval in the special case of Sturmian words.
In this paper we address the two-dimensional knapsack problem with unloading constraints: we have a bin B, and a list L of n rectangular items, each item with a class value in {1,...,C}. The problem is to pack a subset of L into B, maximizing the total profit of packed items, where the packing must satisfy the unloading constraint: while removing one item a, items with higher class values can not block a. We present a (4 + ϵ)-approximation algorithm when the bin is a square. We also present (3 + ϵ)-approximation...