Sciweavers

4245 search results - page 93 / 849
» Input Modeling
Sort
View
ICST
2008
IEEE
15 years 6 months ago
On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
Sagar Sen, Benoit Baudry, Jean-Marie Mottu
GMP
2006
IEEE
108views Solid Modeling» more  GMP 2006»
15 years 6 months ago
Towards Unsupervised Segmentation of Semi-rigid Low-Resolution Molecular Surfaces
In this paper, we study a particular type of surface segmentation problem motivated by molecular biology applications. In particular, two input surfaces are given, coarsely modeli...
Yusu Wang, Leonidas J. Guibas
ICDE
2003
IEEE
133views Database» more  ICDE 2003»
16 years 1 months ago
Evaluating Window Joins over Unbounded Streams
We investigate algorithms for evaluating moving window joins over pairs of unbounded streams. We introduce a unit-time-basis cost model to analyze the expected performance of thes...
Jaewoo Kang, Jeffrey F. Naughton, Stratis Viglas
EPEW
2008
Springer
15 years 1 months ago
Partial Evaluation of PEPA Models for Fluid-Flow Analysis
Abstract. We present an application of partial evaluation to performance models expressed in the PEPA stochastic process algebra [1]. We partially evaluate the state-space of a PEP...
Allan Clark, Adam Duguid, Stephen Gilmore, Mirco T...
NPL
2000
138views more  NPL 2000»
14 years 11 months ago
Neural Net Based Hybrid Modeling of the Methanol Synthesis Process
A Hybrid modeling approach, combining an analytical model with a radial basis function neural network is introduced in this paper. The modeling procedure is combined with genetic a...
Primoz Potocnik, Igor Grabec, Marko Setinc, Janez ...