Sciweavers

202 search results - page 15 / 41
» ideal 2004
Sort
View
53
Voted
NORDICHI
2004
ACM
15 years 2 months ago
A novel pen-based calculator and its evaluation
A novel calculator, ideal for interactive whiteboards and pen-based devices, is introduced and evaluated. The calculator provides a natural, dynamic method of entering conventiona...
William Thimbleby
DIAGRAMS
2004
Springer
15 years 2 months ago
Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams
An important aim of diagrammatic reasoning is to make it easier for people to create and understand logical arguments. We have worked on spider diagrams, which visually express log...
Jean Flower, Judith Masthoff, Gem Stapleton
GECCO
2004
Springer
15 years 2 months ago
Memetic Crossover for Genetic Programming: Evolution Through Imitation
For problems where the evaluation of an individual is the dominant factor in the total computation time of the evolutionary process, minimizing the number of evaluations becomes cr...
Brent E. Eskridge, Dean F. Hougen
GECCO
2004
Springer
140views Optimization» more  GECCO 2004»
15 years 2 months ago
A Sensitivity Analysis of a Cooperative Coevolutionary Algorithm Biased for Optimization
Abstract. Recent theoretical work helped explain certain optimizationrelated pathologies in cooperative coevolutionary algorithms (CCEAs). Such explanations have led to adopting sp...
Liviu Panait, R. Paul Wiegand, Sean Luke
96
Voted
HYBRID
2004
Springer
15 years 2 months ago
Almost ASAP Semantics: From Timed Models to Timed Implementations
In this paper, we introduce a parametric semantics for timed controllers called the Almost ASAP semantics. This semantics is a relaxation of the usual ASAP3 semantics (also called ...
Martin De Wulf, Laurent Doyen, Jean-Françoi...