814 search results - page 85 / 163 » Generic Model Abstraction from Examples |
132
click to vote
JSW
2007
15 years 3 months ago
2007
—Higher-order black box software tests against independent end user domain requirements has become an issue of increasing importance with compositional reuse of software artifact...
155
click to vote
CONCUR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Modelling is becoming a necessity in studying biological signalling pathways, because the combinatorial complexity of such systems rapidly overwhelms intuitive and qualit...
145
click to vote
ER
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We demonstrate the manner in which high-level design requirements, e.g., as they correspond to the commonsensical conceptualisation of expert designers, may be formally s...
CONTEXT
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Spatial and temporal granularity can be understood as parameters of context restricting the set of accessible objects in a context. Starting from the idea that this selec...
132
click to vote
CDC
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract-- This paper considers the problem of model reduction for controlled systems. The paper considers a dual/adjoint formulation of the general optimization problem to minimiz...