Sciweavers

5600 search results - page 309 / 1120
» Synthesizing robust systems
Sort
View
INFORMATICALT
2002
191views more  INFORMATICALT 2002»
15 years 6 months ago
Optimal Control of a Well-Stirred Bioreactor in the Presence of Stochastic Perturbations
We study the stochastic model for bioremediation in a bioreactor with ideal mixing. The dynamics of the examined system is described by stochastic differential equations. We consid...
Vadim Azhmyakov
201
Voted
ISSS
2002
IEEE
148views Hardware» more  ISSS 2002»
15 years 11 months ago
A Case Study of Hardware and Software Synthesis in ForSyDe
ForSyDe (FORmal SYstem DEsign) is a methodology which addresses the design of SoC applications which may contain control as well as data flow dominated parts. Starting with a for...
Ingo Sander, Axel Jantsch, Zhonghai Lu

Book
231views
17 years 4 months ago
Object-Oriented Software Composition
"Object-Oriented Software Composition adopts the viewpoint that object-oriented technology is essentially about composing flexible software applications from software componen...
Oscar Nierstrasz, Dennis Tsichritzis
ECCV
2004
Springer
16 years 8 months ago
Modeling and Synthesis of Facial Motion Driven by Speech
We introduce a novel approach to modeling the dynamics of human facial motion induced by the action of speech for the purpose of synthesis. We represent the trajectories of a numbe...
Payam Saisan, Alessandro Bissacco, Alessandro Chiu...
ICPR
2008
IEEE
16 years 7 months ago
Using an artificial imagination for texture retrieval
Our goal is to determine if artificially imagined or synthesized images can be beneficial to interactive visual search. We present a novel approach for using artificially imagined...
Bart Thomee, Mark J. Huiskes, Erwin M. Bakker, Mic...