Sciweavers

4451 search results - page 329 / 891
» Continuous model synthesis
Sort
View
207
Voted
JSS
2010
120views more  JSS 2010»
15 years 1 months ago
Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
Marco Bernardo, Edoardo Bontà, Alessandro A...
TASLP
2010
150views more  TASLP 2010»
15 years 1 months ago
Diffuse Reverberation Model for Efficient Image-Source Simulation of Room Impulse Responses
Abstract-- In many research fields of engineering and acoustics, the image-source model represents one of the most popular tools for the simulation of sound fields in virtual rever...
Eric A. Lehmann, Anders M. Johansson
DAC
2008
ACM
16 years 7 months ago
SystemCoDesigner: automatic design space exploration and rapid prototyping from behavioral models
SystemCoDesigner is an ESL tool developed at the University of Erlangen-Nuremberg, Germany. SystemCoDesigner offers a fast design space exploration and rapid prototyping of behavi...
Christian Haubelt, Thomas Schlichter, Joachim Kein...
GECCO
2007
Springer
212views Optimization» more  GECCO 2007»
16 years 27 days ago
A developmental model of neural computation using cartesian genetic programming
The brain has long been seen as a powerful analogy from which novel computational techniques could be devised. However, most artificial neural network approaches have ignored the...
Gul Muhammad Khan, Julian F. Miller, David M. Hall...
BMCBI
2005
126views more  BMCBI 2005»
15 years 6 months ago
Integrative analysis of multiple gene expression profiles with quality-adjusted effect size models
Background: With the explosion of microarray studies, an enormous amount of data is being produced. Systematic integration of gene expression data from different sources increases...
Pingzhao Hu, Celia M. T. Greenwood, Joseph Beyene