2661 search results - page 248 / 533 » A Semantics for Abstraction |
186
click to vote
ECCV
1990
Springer
16 years 8 months ago
1990
Springer
Abstract We present a method for extracting geometric and relational structures from raw intensity data. On one hand, low-level image processing extracts isolated features. On the ...
170
click to vote
FASE
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...
188
click to vote
AMAST
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We propose a general categorical setting for modeling program composition in which the call-by-value and call-by-name disciplines fit as special cases. Other notions of c...
180
click to vote
ESAW
2006
Springer
15 years 10 months ago
2006
Springer
Interaction refers to an abstract and intangible concept. In modelling, intangible concepts can be embodied and made explicit. This allows to manipulate the abstractions and to bui...
168
click to vote
ESAW
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Software engineering describes a system at different levels of abstraction. Agent-oriented software engineering introduces a new level, called the agent level, to allow t...