6800 search results - page 584 / 1360 » Testing with Functions as Specifications |
205
Voted
PC
2007
15 years 7 months ago
2007
Abstract. In this paper, we focus on MPI collective algorithm selection process and explore the applicability of the quadtree encoding method to this problem. During the algorithm ...
232
Voted
TCS
2010
15 years 5 months ago
2010
We investigate the runtime of a Binary Particle Swarm Optimizer (PSO) for optimizing pseudo-Boolean functions f : {0, 1}n → R. The Binary PSO maintains a swarm of particles sear...
239
Voted
ICIP
2010
IEEE
15 years 5 months ago
2010
IEEE
A novel multiregion graph cut image partitioning method combined with kernel mapping is presented. A kernel function transforms implicitly the image data into data of a higher dim...
221
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The structural properties of graphs are usually characterized in terms of invariants, which are functions of graphs that do not depend on the labeling of the nodes. In this paper ...
231
Voted
CVPR
2011
IEEE
15 years 3 months ago
2011
IEEE
Many object classes are primarily defined by their functions. However, this fact has been left largely unexploited by visual object categorization or detection systems. We propos...