DAGSTUHL
2004
13 years 6 months ago
2004
Good components need precise contracts. In the practice of Design by ContractTM , applications and libraries typically express, in their postconditions and class invariants, only a...
DAGSTUHL
2004
13 years 6 months ago
2004
Abstract. Model transformations are an integral part of OMG's standard for Model Driven Architecture (MDA). Model transformations should at the best allow for a seamless trans...
DAGSTUHL
2004
13 years 6 months ago
2004
DAGSTUHL
2004
13 years 6 months ago
2004
DAGSTUHL
2004
13 years 6 months ago
2004
DAGSTUHL
2004
13 years 6 months ago
2004
A large part of safety-critical embedded systems has to satisfy hard real-time constraints. These need sound methods and tools to derive reliable run-time guarantees. The guarante...
DAGSTUHL
2004
13 years 6 months ago
2004
DAGSTUHL
2004
13 years 6 months ago
2004
Subgroup discovery aims at finding interesting subsets of a classified example set that deviates from the overall distribution. The search is guided by a so-called utility function...
DAGSTUHL
2004
13 years 6 months ago
2004
Next to prediction accuracy, the interpretability of models is one of the fundamental criteria for machine learning algorithms. While high accuracy learners have intensively been e...
DAGSTUHL
2004
13 years 6 months ago
2004
We study algorithms for approximation of the mild solution of stochastic heat equations on the spatial domain ]0, 1[ d . The error of an algorithm is defined in L2-sense. We derive...