Sciweavers

6040 search results - page 525 / 1208
» Generating Instance Models from Meta Models
Sort
View
CEC
2009
IEEE
16 years 2 months ago
Coevolution of simulator proxies and sampling strategies for petroleum reservoir modeling
— Reservoir modeling is an on-going activity during the production life of a reservoir. One challenge to constructing accurate reservoir models is the time required to carry out ...
Tina Yu, Dave Wilkinson
FIMH
2007
Springer
16 years 1 months ago
Simulation of 3D Ultrasound with a Realistic Electro-mechanical Model of the Heart
This paper presents a first set of experiments to integrate a realistic electro-mechanical model of a beating heart into simulated real-time three-dimensional (RT3D) ultrasound da...
Qi Duan, Philippe Moireau, Elsa D. Angelini, Domin...
NCA
2002
IEEE
15 years 7 months ago
The Construction of Smooth Models using Irregular Embeddings Determined by a Gamma Test Analysis
One of the key problems in forming a smooth model from input-output data is the determination of which input variables are relevant in predicting a given output. In this paper we ...
Alban P. M. Tsui, Antonia J. Jones, A. Guedes de O...
TASLP
2010
109views more  TASLP 2010»
15 years 5 months ago
Model-Based Expectation-Maximization Source Separation and Localization
Abstract—This paper describes a system, referred to as modelbased expectation-maximization source separation and localization (MESSL), for separating and localizing multiple soun...
Michael I. Mandel, Ron J. Weiss, Daniel P. W. Elli...
SBMF
2010
Springer
205views Formal Methods» more  SBMF 2010»
15 years 2 months ago
A High-Level Language for Modeling Algorithms and Their Properties
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
Sabina Akhtar, Stephan Merz, Martin Quinson