2194 search results - page 123 / 439 » Improving HLRTA*( k ) |
111
click to vote
CINQ
2004
Springer
15 years 5 months ago
2004
Springer
We introduce the problem of cluster-grouping and show that it integrates several important data mining tasks, i.e. subgroup discovery, mining correlated patterns and aspects from c...
122
click to vote
DSN
2004
IEEE
15 years 5 months ago
2004
IEEE
This paper proposes an application-transparent, low-overhead checkpointing strategy for maintaining consistency of control structures in a commercial main memory database (MMDB) sy...
111
click to vote
DATE
2006
IEEE
15 years 5 months ago
2006
IEEE
We introduce collapsed flushing, a new flushing-based refinement map for automatically verifying safety and liveness properties of term-level pipelined machine models. We also pre...
117
click to vote
ESA
2006
Springer
15 years 5 months ago
2006
Springer
The objective of this paper is to characterize classes of problems for which a greedy algorithm finds solutions provably close to optimum. To that end, we introduce the notion of k...
119
click to vote
GECCO
2006
Springer
15 years 5 months ago
2006
Springer
Spatial Extension PSO (SEPSO) and Attractive-Repulsive PSO (ARPSO) are methods for artificial injection of diversity into particle swarm optimizers that are intended to encourage ...