Sciweavers

964 search results - page 30 / 193
» Scenario-driven modeling and validation of requirements mode...
Sort
View
RE
2008
Springer
14 years 9 months ago
Design Science, Engineering Science and Requirements Engineering
For several decades there has been a debate in the computing sciences about the relative roles of design and empirical research, and about the contribution of design and research ...
Roel Wieringa, J. M. G. Heerkens
AAAI
1990
14 years 10 months ago
Approximation Reformulations
Although computers are widely used to simulate complex physical systems, crafting the underlying models that enable computer analysis remains difficult. When a model is created fo...
Daniel S. Weld
62
Voted
PAMI
2008
140views more  PAMI 2008»
14 years 9 months ago
Simplifying Mixture Models Using the Unscented Transform
Mixture of Gaussians (MoG) model is a useful tool in statistical learning. In many learning processes that are based on mixture models, computational requirements are very demandin...
Jacob Goldberger, Hayit Greenspan, Jeremie Dreyfus...
74
Voted
EMSOFT
2008
Springer
14 years 11 months ago
Automatically transforming and relating Uppaal models of embedded systems
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
Timothy Bourke, Arcot Sowmya
MCS
2008
Springer
14 years 9 months ago
Parameter identification and model verification in systems of partial differential equations applied to transdermal drug deliver
The purpose of this paper is to present some numerical tools which facilitate the interpretation of simulation or data fitting results and which allow to compute optimal experimen...
Klaus Schittkowski