Sciweavers

748 search results - page 125 / 150
» Automatic Presentations and Semigroup Constructions
Sort
View
CDC
2010
IEEE
129views Control Systems» more  CDC 2010»
13 years 3 months ago
A symbolic approach to controlling piecewise affine systems
Abstract-- We present a computational framework for automatic synthesis of a feedback control strategy for a piecewise affine (PWA) system from a specification given as a Linear Te...
Jana Tumova, Boyan Yordanov, Calin Belta, Ivana Ce...
RE
2010
Springer
13 years 3 months ago
Feature Unweaving: Refactoring Software Requirements Specifications into Software Product Lines
The design of the variability of a software product line is crucial to its success and evolution. Meaningful variable features need to be elicited, analyzed, documented and validat...
Reinhard Stoiber, Samuel Fricker, Michael Jehle, M...
TCIAIG
2010
13 years 3 months ago
Cinematic Visual Discourse: Representation, Generation, and Evaluation
In this paper, we present the design, implementation, and evaluation of an end-to-end camera planning system called Darshak. Darshak automatically constructs cinematic narrative di...
Arnav Jhala, R. Michael Young
ICASSP
2011
IEEE
13 years 17 days ago
Vocalistener2: A singing synthesis system able to mimic a user's singing in terms of voice timbre changes as well as pitch and d
This paper presents a singing synthesis system, VocaListener2, that can automatically synthesize a singing voice by mimicking the timbre changes of a userā€™s singing voice. The s...
Tomoyasu Nakano, Masataka Goto
AAAI
2012
11 years 11 months ago
Learning Games from Videos Guided by Descriptive Complexity
In recent years, several systems have been proposed that learn the rules of a simple card or board game solely from visual demonstration. These systems were constructed for speciļ...
Lukasz Kaiser