Sciweavers

3199 search results - page 130 / 640
» Variability in Automation System Models
Sort
View
MLMI
2004
Springer
15 years 7 months ago
Mapping from Speech to Images Using Continuous State Space Models
In this paper a system that transforms speech waveforms to animated faces are proposed. The system relies on continuous state space models to perform the mapping, this makes it po...
Tue Lehn-Schiøler, Lars Kai Hansen, Jan Lar...
143
Voted
BMCBI
2010
126views more  BMCBI 2010»
14 years 12 months ago
Systematic integration of experimental data and models in systems biology
Background: The behaviour of biological systems can be deduced from their mathematical models. However, multiple sources of data in diverse forms are required in the construction ...
Peter Li, Joseph O. Dada, Daniel Jameson, Irena Sp...
GECCO
2007
Springer
181views Optimization» more  GECCO 2007»
15 years 6 months ago
Combining bond-graphs with genetic programming for unified/automated design of mechatronic or multi domain dynamic systems
The multi domain nature of a mechatronic system makes it difficult to model using a single modeling technique over the whole system as varying sets of system variables are require...
Saheeb Ahmed Kayani, Muhammad Afzaal Malik
WSC
2008
15 years 4 months ago
Offline commissioning of a PLC-based control system using arena
In this paper, we address a generalized method of mapping a control system simulation model to the PLC emulator being tested using model variables and PLC tags under the offline c...
Jeffery S. Smith, Younchol Cho
123
Voted
FMSD
2008
110views more  FMSD 2008»
15 years 2 months ago
Automatic symbolic compositional verification by learning assumptions
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
Wonhong Nam, P. Madhusudan, Rajeev Alur