Sciweavers

199 search results - page 5 / 40
» Can Intuition Become Rigorous
Sort
View
ADG
2004
Springer
147views Mathematics» more  ADG 2004»
14 years 1 months ago
Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness
Construction of geometrical objects by origami, the Japanese traditional art of paper folding, is enjoyable and intriguing. It attracted the minds of artists, mathematicians and co...
Judit Robu, Tetsuo Ida, Dorin Tepeneu, Hidekazu Ta...
ICML
2000
IEEE
14 years 9 months ago
Duality and Geometry in SVM Classifiers
We develop an intuitive geometric interpretation of the standard support vector machine (SVM) for classification of both linearly separable and inseparable data and provide a rigo...
Kristin P. Bennett, Erin J. Bredensteiner
CAV
1998
Springer
130views Hardware» more  CAV 1998»
14 years 24 days ago
On Checking Model Checkers
It has become good practice to expect authors of new model checking algorithms to provide not only rigorous evidence of the algorithms correctness, but also evidence of their pract...
Gerard J. Holzmann
CRIWG
2004
13 years 10 months ago
On Theory-Driven Design of Collaboration Technology and Process
The design and deployment of collaboration technology has, until lately been more of an art than a science, but it has produced some solid successes. Commercial groupware products ...
Robert O. Briggs
GECCO
2007
Springer
151views Optimization» more  GECCO 2007»
14 years 2 months ago
A building-block royal road where crossover is provably essential
One of the most controversial yet enduring hypotheses about what genetic algorithms (GAs) are good for concerns the idea that GAs process building-blocks. More specifically, it ha...
Richard A. Watson, Thomas Jansen