Sciweavers

6693 search results - page 131 / 1339
» Methods of Automatic Algorithm Generation
Sort
View
DIAGRAMS
2004
Springer
15 years 10 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
ICASSP
2009
IEEE
15 years 8 months ago
Generating high performance pruned FFT implementations
We derive a recursive general-radix pruned Cooley-Tukey fast Fourier transform (FFT) algorithm in Kronecker product notation. The algorithm is compatible with vectorization and pa...
Franz Franchetti, Markus Püschel
HT
2005
ACM
15 years 10 months ago
Supporting the generation of argument structure within video sequences
We describe our approach to the automatic generation of argument structures in the domain of video documentaries. Our approach releases control of the final video sequencing from...
Stefano Bocconi, Frank Nack, Lynda Hardman
NAACL
2001
15 years 6 months ago
Generating Training Data for Medical Dictations
In automatic speech recognition (ASR) enabled applications for medical dictations, corpora of literal transcriptions of speech are critical for training both speaker independent a...
Sergey V. Pakhomov, Michael Schonwetter, Joan Bach...
CGF
2006
156views more  CGF 2006»
15 years 4 months ago
Semantic Photo Synthesis
Composite images are synthesized from existing photographs by artists who make concept art, e.g., storyboards for movies or architectural planning. Current techniques allow an art...
Matthew Johnson, Gabriel J. Brostow, Jamie Shotton...