Sciweavers

3771 search results - page 528 / 755
» Subobject Transformation Systems
Sort
View
ISSTA
1998
ACM
15 years 8 months ago
Automatic Test Data Generation Using Constraint Solving Techniques
Automatic test data generation leads to identify input values on which a selected point in a procedure is executed. This paper introduces a new method for this problem based on co...
Arnaud Gotlieb, Bernard Botella, Michel Rueher
GD
1998
Springer
15 years 8 months ago
Using Graph Layout to Visualize Train Interconnection Data
We consider the problem of visualizing interconnections in railway systems. Given time tables from systems with thousands of trains, we are to visualize basic properties of the co...
Ulrik Brandes, Dorothea Wagner
RT
1997
Springer
15 years 8 months ago
Image-based Rendering with Controllable Illumination
: A new image-based rendering method, based on the light field and Lumigraph system, allows illumination to be changed interactively. It does not try to recover or use any geometr...
Tien-Tsin Wong, Pheng-Ann Heng, Siu-Hang Or, Wai-Y...
CMMR
2007
Springer
122views Music» more  CMMR 2007»
15 years 8 months ago
Rule-Based Expressive Modifications of Tempo in Polyphonic Audio Recordings
This paper describes a few aspects of a system for expressive, rule-based modifications of audio recordings regarding tempo, dynamics and articulation. The input audio signal is fi...
Marco Fabiani, Anders Friberg
DMSN
2007
ACM
15 years 8 months ago
Declarative temporal data models for sensor-driven query processing
Many sensor network applications monitor continuous phenomena by sampling, and fit time-varying models that capture the phenomena's behaviors. We introduce Pulse, a framework...
Yanif Ahmad, Ugur Çetintemel