1167 search results - page 188 / 234 » Substitution-closed pattern classes |
ECSA
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Numerous design decisions are made in model-based software development which often are not documented explicitly. Hence, the design knowledge is 'in the designers mi...
ACTA
2010
14 years 10 months ago
2010
We study the observational theory of Thielecke's CPS-calculus, a distillation of the target language of Continuation-Passing Style transforms. We define a labelled transition...
AUTOMATICA
2007
14 years 9 months ago
2007
This paper deals with asymptotic rejection of periodic disturbances which may have asymmetric basic wave patterns. This class of disturbances covers asymmetric wave forms in the h...
COGSCI
2010
14 years 9 months ago
2010
The contributions to this special issue on cognitive development collectively propose ways in which learning involves developing constraints that shape subsequent learning. A lear...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
The capacity region of a wireless network with n nodes is the set of all simultaneously achievable rates between all possible n2 node pairs. In this paper, we consider the questio...