2 search results - page 1 / 1 » Flyspeck I: Tame Graphs |
CADE
2006
Springer
14 years 5 months ago
2006
Springer
We present a verified enumeration of tame graphs as defined in Hales' proof of the Kepler Conjecture and confirm the completeness of Hales' list of all tame graphs while ...
GECCO
2007
Springer
13 years 11 months ago
2007
Springer
This paper presents a novel approach to clustering using an accuracy-based Learning Classifier System. Our approach achieves this by exploiting the generalization mechanisms inher...