Sciweavers

1628 search results - page 222 / 326
» Partitioning Sets with Genetic Algorithms
Sort
View
EUMAS
2006
13 years 11 months ago
Near-Optimal Anytime Coalition Structure Generation
Forming effective coalitions is a major research challenge in the field of multi-agent systems. Central to this endeavour is the problem of determining the best set of agents that...
Talal Rahwan, Sarvapali D. Ramchurn, Viet Dung Dan...
ECCV
2008
Springer
14 years 12 months ago
Object Recognition by Integrating Multiple Image Segmentations
The joint tasks of object recognition and object segmentation from a single image are complex in their requirement of not only correct classification, but also deciding exactly whi...
Caroline Pantofaru, Cordelia Schmid, Martial Heber...
SIGSOFT
2009
ACM
14 years 10 months ago
Symbolic pruning of concurrent program executions
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...
Chao Wang, Swarat Chaudhuri, Aarti Gupta, Yu Yang
APSEC
2005
IEEE
14 years 3 months ago
Metrics for Analyzing Module Interactions in Large Software Systems
We present a new set of metrics for analyzing the interaction between the modules of a large software system. We believe that these metrics will be important to any automatic or s...
Santonu Sarkar, Avinash C. Kak, N. S. Nagaraja
PACT
2009
Springer
14 years 2 months ago
Parallel Evidence Propagation on Multicore Processors
In this paper, we design and implement an efficient technique for parallel evidence propagation on state-of-the-art multicore processor systems. Evidence propagation is a major ste...
Yinglong Xia, Xiaojun Feng, Viktor K. Prasanna