Sciweavers

11097 search results - page 163 / 2220
» Hera presentation generator
Sort
View
SG
2005
Springer
15 years 3 months ago
Generation of Glyphs for Conveying Complex Information, with Application to Protein Representations
Abstract. We present a method to generate glyphs which convey complex information in graphical form. A glyph has a linear geometry which is specified using geometric operations, e...
Greg Pintilie, Brigitte Tuekam, Christopher W. V. ...
APLAS
2004
ACM
15 years 3 months ago
A MATLAB-Based Code Generator for Sparse Matrix Computations
Abstract. We present a matrix language compiler CMC which translates annotated MATLAB scripts into Fortran 90 programs. Distinguishing features of CMC include its applicability to ...
Hideyuki Kawabata, Mutsumi Suzuki, Toshiaki Kitamu...
DIAGRAMS
2004
Springer
15 years 3 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
77
Voted
FATES
2004
Springer
15 years 3 months ago
Specifying and Generating Test Cases Using Observer Automata
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EF...
Johan Blom, Anders Hessel, Bengt Jonsson, Paul Pet...
ITS
2004
Springer
81views Multimedia» more  ITS 2004»
15 years 3 months ago
Towards Adaptive Generation of Faded Examples
Abstract. Faded examples have been investigated in pedagogical psychology. The experiments suggest that a learner can benefit from faded examples. For these experiments a few exam...
Erica Melis, Georgi Goguadze