8132 search results - page 129 / 1627 » Dependability, Abstraction, and Programming |
176
click to vote
JOT
2006
15 years 6 months ago
2006
Aspect-Oriented Software Development is a promising new software engineering paradigm. It promotes, in particular, improved separation of crosscutting concerns into single units c...
153
click to vote
IFL
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Type checkers for dependent types need to evaluate user defined functions during type checking. For this, current implementations typically use an interpreter, which has...
151
click to vote
ICA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we examine how the activation of one independent component analysis (ICA) feature changes first and second order statistics of other independent components...
186
click to vote
CONTEXT
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Temporal reference in natural language is inherently context dependent: what counts as a moment in one context may be structurally analysed in another context, and vice v...
149
click to vote
FUIN
2006
15 years 6 months ago
2006
Abstract. Several residuated algebras are taken into account. The set of axioms defining each structure is reduced with the aim to obtain an independent axiomatization. Further, th...