Under closed-list proportional representation, a party's electoral list determines the order in which legislative seats are allocated to candidates. When candidates differ their ability, parties face trade-off between competence and incentives. Ranking decreasing of ensures that elected politicians most competent. Yet, party lists create incentives for may push not rank order. We examine this g...

in this context and for helping to manufacturing industries in this research an attempt has been made to provide a method to managers of evaluating and ranking of agility strategies by using of a fuzzy inference system which is a branch of artificial intelligence. this research has been performed in three sequential phases. firstly, some variables, as factors of agility drivers, agility capabil...

Predicate abstraction has become one of the most successful methodologies for proving safety properties of programs. Recently, several abstraction methodologies have been proposed for proving liveness properties. This paper studies “ranking abstraction” where a program is augmented by a non-constraining progress monitor, and further abstracted by predicate-abstraction, to allow for automatic ve...

Ranking is a central component in information retrieval systems; as such, many machine learning methods for building rankers have been developed in recent years. An open problem is transfer learning, i.e. how labeled training data from one domain/market can be used to build rankers for another. We propose a flexible transfer learning strategy based on sample selection. source domain training sa...

In Content-based Image Retrieval (CBIR) systems, accurately ranking collection images is of great relevance. Users are interested in the returned images placed at the first positions, which usually are the most relevant ones. Commonly, image content descriptors are used to compute ranked lists in CBIR systems. In general, these systems perform only pairwise image analysis, that is, compute simi...

New features of actual choice behavior and effortful information processing in rats were demonstrated in an eight-arm radial maze through modifications of a matching-to-sample task. Two attempts were allowed for a squad of hooded Sprague-Dawley rats (n=7) for finding a reward in a testing phase of the task. The results showed flexibility and sooner learning to matching rule on the second testin...

Predicate abstraction has become one of the most successful methodologies for proving safety properties of programs. Recently, several abstraction methodologies have been proposed for proving liveness properties. This paper studies “ranking abstraction” where a program is augmented by a nonconstraining progress monitor, and further abstracted by predicate-abstraction, to allow for automatic ver...

Ranking potential customers has become an effective tool for company decision makers to design marketing strategies. The task of PAKDD competition 2007 is a cross-selling problem between credit card and home loan, which can also be treated as a ranking potential customers problem. This article proposes a 3-level ranking model, namely Group-Ensemble, to handle such kinds of problems. In our mode...