3552 search results - page 447 / 711 » Proof theory in the abstract |
157
click to vote
AEI
2004
15 years 6 months ago
2004
atterns specify generic relations among abstract design elements. We hypothesize that design patterns are productive units of analogical transfer in design. We describe a normativ...
141
click to vote
COMPLEXITY
2004
15 years 6 months ago
2004
nical Abstract Optimization is to find the "best" solution to a problem where the quality of a solution can be measured by a given criterion. Estimation of Distribution A...
103
click to vote
CORR
2009
Springer
15 years 4 months ago
2009
Springer
We investigate the phenomenon of non-recursive trade-offs between descriptional systems in an abstract fashion. We aim at categorizing non-recursive trade-offs by bounds on their g...
182
click to vote
FOMI
2009
15 years 4 months ago
2009
Abstract. The design of architectural environments has to take into account various sources of heterogeneous information. Not only quantitative spatial constraints and qualitative ...
190
click to vote
SIAMNUM
2010
15 years 1 months ago
2010
This paper deals with error estimates for space-time discretizations in the context of nary variational inequalities of rate-independent type. After introducing a general abstract ...