Sciweavers

11030 search results - page 217 / 2206
» Generative Sound Models
Sort
View
MM
2006
ACM
162views Multimedia» more  MM 2006»
16 years 13 days ago
An innovative three-dimensional user interface for exploring music collections enriched
We present a novel, innovative user interface to music repositories. Given an arbitrary collection of digital music files, our system creates a virtual landscape which allows the...
Peter Knees, Markus Schedl, Tim Pohle, Gerhard Wid...
GECCO
2003
Springer
100views Optimization» more  GECCO 2003»
15 years 11 months ago
Active Guidance for a Finless Rocket Using Neuroevolution
Finless rockets are more efficient than finned designs, but are too unstable to fly unassisted. These rockets require an active guidance system to control their orientation durin...
Faustino J. Gomez, Risto Miikkulainen
TAP
2007
Springer
92views Hardware» more  TAP 2007»
16 years 17 days ago
Generating Unit Tests from Formal Proofs
We present a new automatic test generation method for JAVA CARD based on attempts at formal verification of the implementation under test (IUT). Self-contained unit tests in JUnit...
Christian Engel, Reiner Hähnle
SARA
2007
Springer
16 years 17 days ago
Generating Implied Boolean Constraints Via Singleton Consistency
Though there exist some rules of thumb for design of good models for solving constraint satisfaction problems, the modeling process still belongs more to art than to science. Moreo...
Roman Barták
PCM
2004
Springer
134views Multimedia» more  PCM 2004»
15 years 11 months ago
Real-Time Free-Viewpoint Video Generation Using Multiple Cameras and a PC-Cluster
In this paper, we propose a system generating free-viewpoint video using multiple cameras and a PC-cluster in real-time. Our system firstly reconstructs a shape model of objects b...
Megumu Ueda, Daisaku Arita, Rin-ichiro Taniguchi