5802 search results - page 513 / 1161 » Parallelizing Feature Selection |
213
click to vote
PPSN
2010
Springer
15 years 4 months ago
2010
Springer
The all-pairs shortest path problem is the first non-artificial problem for which it was shown that adding crossover can significantly speed up a mutation-only evolutionary algorit...
206
click to vote
PPSN
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We introduce, analyze, and experimentally examine co-solvability, an ability of a solution to solve a pair of fitness cases (tests). Based on this concept, we devise a co...
205
click to vote
GCA
2009
15 years 4 months ago
2009
This paper highlights the need to meet both Grid user and resource provider security requirements, describing the rationale for securing Grid workflows: a set of tasks arranged int...
184
click to vote
CADE
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Sledgehammer is a component of Isabelle/HOL that employs firstorder automatic theorem provers (ATPs) to discharge goals arising in interactive proofs. It heuristically s...
183
click to vote
ICCV
2005
IEEE
16 years 8 months ago
2005
IEEE
Object identification (OID) is specialized recognition where the category is known (e.g. cars) and the algorithm recognizes an object's exact identity (e.g. Bob's BMW). ...