870 search results - page 62 / 174 » Theoretical and experimental results on the goal-plan tree p... |
SMI
2005
IEEE
15 years 3 months ago
2005
IEEE
For time-dependent scalar fields, one is often interested in topology changes of contours in time. In this paper, we focus on describing how contours split and merge over a certa...
CP
2000
Springer
15 years 2 months ago
2000
Springer
We perform a comprehensive theoretical and empirical study of the benefits of singleton consistencies. Our theoretical results help place singleton consistencies within the hierar...
SOFSEM
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. The dependency pair method is a powerful method for automatically proving termination of rewrite systems. When used with traditional simplification orders like LPO and K...
CEC
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract— This paper presents a Markov model for the convergence of multi-parent genetic algorithms (MPGAs). The proposed model formulates the variation of gene frequency caused ...
WEA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Many large-scale optimization problems rely on graph theoretic solutions; yet high-performance computing has traditionally focused on regular applications with high degre...