6897 search results - page 261 / 1380 » Parallelization of Modular Algorithms |
199
Voted
ATVA
2011
Springer
14 years 2 months ago
2011
Springer
Even though the well-known nested-depth first search algorithm for LTL model checking provides good performance, it cannot benefit from the recent advent of multi-core computers....
144
click to vote
ML
2007
ACM
15 years 2 months ago
2007
ACM
We offer a new formal criterion for agent-centric learning in multi-agent systems, that is, learning that maximizes one’s rewards in the presence of other agents who might also...
120
click to vote
ANOR
2010
15 years 2 months ago
2010
This paper presents two novel genetic algorithms (GAs) for hard industrially relevant packing problems. The design of both algorithms is inspired by aspects of molecular genetics,...
132
Voted
ASUNAM
2011
IEEE
14 years 2 months ago
2011
IEEE
Abstract—Community detection or cluster detection in networks is a well-studied, albeit hard, problem. Given the scale and complexity of modern day social networks, detecting “...
150
Voted
EUROPAR
2008
Springer
15 years 4 months ago
2008
Springer
This work is devoted to the numerical resolution of the 4D Vlasov equation using an adaptive mesh of phase space. We previously proposed a parallel algorithm designed for distribut...