Sciweavers

5387 search results - page 154 / 1078
» Generating generic functions
Sort
View
DIAGRAMS
2004
Springer
15 years 11 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
CAINE
2006
15 years 7 months ago
A virtual reality system for hydroelectric generating unit maintenance training and understanding
This paper presents the conception, the design and a prototype of a virtual reality system for learning and maintenance training of Hydroelectric Generating Unit (HGU). The system...
P. Alcides Jr., Manoel R. Filho, Fábio V. B...
TKDE
2002
133views more  TKDE 2002»
15 years 6 months ago
Binary Rule Generation via Hamming Clustering
The generation of a set of rules underlying a classification problem is performed by applying a new algorithm, called Hamming Clustering (HC). It reconstructs the and-or expressio...
Marco Muselli, Diego Liberati
COMSIS
2010
15 years 3 months ago
Generative 3D images in a visual evolutionary computing system
This paper presents a novel computer-aided design system which uses a computational approach to producing 3D images for stimulating creativity of designers. It introduces the genet...
Hong Liu
EVOW
2011
Springer
14 years 9 months ago
Towards Procedural Strategy Game Generation: Evolving Complementary Unit Types
The Strategy Game Description Game Language (SGDL) is intended to become a complete description of all aspects of strategy games, including rules, parameters, scenarios, maps, and ...
Tobias Mahlmann, Julian Togelius, Georgios N. Yann...