Sciweavers

391 search results - page 39 / 79
» Using computer games for hybrid systems controller synthesis
Sort
View
ICAD
2004
13 years 11 months ago
Decoupled Loudness and Range Control for a Source Located Within a Small Virtual Acoustic Environment
For headphone-based spatial auditory display systems, binaural synthesis of sound localization cues typically use source reproduction level as the primary control for source range...
William L. Martens
RT
2004
Springer
14 years 3 months ago
A Spectral-particle hybrid method for rendering falling snow
Falling snow has the visual property that it is simultaneously a set of discrete moving particles as well as a dynamic texture. To capture the dynamic texture properties of fallin...
Michael S. Langer, Linqiao Zhang, Allison W. Klein...
AE
2009
Springer
13 years 11 months ago
On-Line, On-Board Evolution of Robot Controllers
This paper reports on a feasibility study into the evolution of robot controllers during the actual operation of robots (on-line), using only the computational resources within the...
Nicolas Bredeche, Evert Haasdijk, A. E. Eiben
COORDINATION
2006
Springer
14 years 1 months ago
Synthesizing Concurrency Control Components from Process Algebraic Specifications
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
Edoardo Bontà, Marco Bernardo, Jeff Magee, ...
TMC
2011
164views more  TMC 2011»
13 years 5 months ago
Security Games for Vehicular Networks
—Vehicular networks (VANETs) can be used to improve transportation security, reliability, and management. This paper investigates security aspects of VANETs within a game-theoret...
Tansu Alpcan, Sonja Buchegger