8337 search results - page 1190 / 1668 » Reasoning With Characteristic Models |
197
click to vote
EVOW
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. This paper deals with the mapping of the parallel islandbased genetic algorithm with unidirectional ring migrations to nVidia CUDA software model. The proposed mapping is...
144
click to vote
CHI
2009
ACM
15 years 10 months ago
2009
ACM
During visual analysis, users must often connect insights discovered at various points of time to understand implicit relations within their analysis. This process is often called...
177
click to vote
AAAI
2007
15 years 9 months ago
2007
We consider the problem of computing optimal schedules in multi-agent systems. In these problems, actions of one agent can influence the actions of other agents, while the object...
182
click to vote
AAAI
2007
15 years 9 months ago
2007
We present a sound and complete logic for reasoning about SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL designed for the implementation of cog...
320
click to vote
AOSE
2008
Springer
15 years 9 months ago
2008
Springer
A central problem in software maintenance is change propagation: given a set of primary changes that have been made to software, what additional secondary changes are needed? Altho...