Sciweavers

984 search results - page 49 / 197
» ideas 2010
Sort
View
81
Voted
AAAI
2010
15 years 2 months ago
Sequential Incremental-Value Auctions
We study the distributed allocation of tasks to cooperating robots in real time, where each task has to be assigned to exactly one robot so that the sum of the latencies of all ta...
Xiaoming Zheng, Sven Koenig
HCI
2007
15 years 2 months ago
Agile Methods and Visual Specification in Software Development: A Chance to Ensure Universal Access
Within the eEurope2010 initiative “An Information Society for All”, development methods which enable the inclusion of the end-user become essential in order to ensure the parad...
Thomas Memmel, Harald Reiterer, Andreas Holzinger
121
Voted
BIRTHDAY
2010
Springer
15 years 1 months ago
Counterexample Guided Path Reduction for Static Program Analysis
Abstract. In this work we introduce counterexample guided path reduction based on interval constraint solving for static program analysis. The aim of this technique is to reduce th...
Ansgar Fehnker, Ralf Huuck, Sean Seefried
78
Voted
CEC
2010
IEEE
15 years 1 months ago
CHC and SA applied to wind energy optimization using real data
In this article we analyze different metaheuristic algorithms applied to wind farm optimization. The basic idea is to utilize CHC (a sort of GA) and Simulated Annealing to obtain a...
Martin Bilbao, Enrique Alba
ECAI
2010
Springer
15 years 1 months ago
ABA: Argumentation Based Agents
Abstract. Many works have identified the potential benefits of using argumentation to address a large variety of multiagent problems. In this paper we take this idea one step furth...
Antonis C. Kakas, Leila Amgoud, Gabriele Kern-Isbe...