Sciweavers

180 search results - page 17 / 36
» heuristics 2011
Sort
View
SIGIR
2011
ACM
14 years 8 days ago
Decayed DivRank: capturing relevance, diversity and prestige in information networks
Many network-based ranking approaches have been proposed to rank objects according to different criteria, including relevance, prestige and diversity. However, existing approache...
Pan Du, Jiafeng Guo, Xueqi Cheng
105
Voted
APVIS
2011
13 years 9 months ago
Full-resolution interactive CPU volume rendering with coherent BVH traversal
We present an efficient method for volume rendering by raycasting on the CPU. We employ coherent packet traversal of an implicit bounding volume hierarchy, heuristically pruned u...
Aaron Knoll, Sebastian Thelen, Ingo Wald, Charles ...
148
Voted
AUSAI
2011
Springer
13 years 9 months ago
Image Feature Selection Based on Ant Colony Optimization
Image feature selection (FS) is an important task which can affect the performance of image classification and recognition. In this paper, we present a feature selection algorithm ...
Ling Chen, Bolun Chen, Yixin Chen
86
Voted
CADE
2011
Springer
13 years 9 months ago
Extending Sledgehammer with SMT Solvers
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...
Jasmin Christian Blanchette, Sascha Böhme, La...
CEC
2011
IEEE
13 years 9 months ago
Trainer selection strategies for coevolving rank predictors
—Despite the range of applications and successes of evolutionary algorithms, expensive fitness computations often form a critical performance bottleneck. A preferred method of r...
Daniel L. Ly, Hod Lipson