Sciweavers

1034 search results - page 117 / 207
» Competitive generalized auctions
Sort
View
SGAI
2009
Springer
14 years 2 months ago
Improving Cooperative PSO using Fuzzy Logic
PSO is a population-based technique for optimization, which simulates the social behavior of the fish schooling or bird flocking. Two significant weaknesses of this method are: fir...
Zahra Afsahi, Mohammad Reza Meybodi
ASP
2001
Springer
14 years 2 months ago
Answer Set Programming and Bounded Model Checking
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. This is an extension of earlier w...
Keijo Heljanko, Ilkka Niemelä
ECAI
2000
Springer
14 years 2 months ago
Incremental Forward Checking for the Disjunctive Temporal Problem
Abstract. This paper studies algorithms for the Disjunctive Temporal Problem (DTP) a quite general temporal reasoning problem introduced in [12]. This problem involves the satisfac...
Angelo Oddi, Amedeo Cesta
EUROPAR
1997
Springer
14 years 2 months ago
Sample Sort on Meshes
In this paper various algorithms for sorting on processor networks are considered. We focus on meshes, but the results can be generalized easily to other decomposable architecture...
Jop F. Sibeyn
AINA
2006
IEEE
14 years 2 months ago
Refining WiFi Indoor Positioning Renders Pertinent Deploying Location-Based Multimedia Guide
If outdoor positioning is widely treated and quite precise, indoor or more generally in heterogeneous environment, the positioning (and also mobility prediction) requires conseque...
Frederic Lassabe, Philippe Canalda, Pascal Chatonn...