Sciweavers

10802 search results - page 252 / 2161
» Generative and developmental systems
Sort
View
81
Voted
HT
2005
ACM
15 years 6 months ago
Vox populi: a tool for automatically generating video documentaries
Vox Populi is a system that automatically generates video documentaries. Our application domain is video interviews about controversial topics. Via a Web interface the user select...
Stefano Bocconi, Frank Nack, Lynda Hardman
94
Voted
AI
2005
Springer
15 years 6 months ago
Generating Adaptive Multimedia Presentations Based on a Semiotic Framework
Abstract. We propose a framework for generating adaptive multimedia presentations through the dynamic selection of files from a large data repository. The presentation is generate...
Osama El Demerdash, Sabine Bergler, Leila Kosseim,...
108
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
David Harel, Hillel Kugler, Amir Pnueli
104
Voted
DIAGRAMS
2004
Springer
15 years 6 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
FATES
2004
Springer
15 years 6 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...