1115 search results - page 113 / 223 » An Abstract Look at Realizability |
124
click to vote
IV
2000
IEEE
15 years 8 months ago
2000
IEEE
“addiction” is defined as a pattern (abstract relationship). Such definition allows us to look in a new way at a number of cultural issues including the values, the lifestyl...
131
click to vote
ESAW
2000
Springer
15 years 8 months ago
2000
Springer
While software is becoming decomposed in more and more finegrained entities, the interactions amongst those become of major importance. While methodologies for building such compon...
139
click to vote
TNN
2011
14 years 11 months ago
2011
Abstract—Most signal processing problems involve the challenging task of multidimensional probability density function (PDF) estimation. In this paper, we propose a solution to t...
122
click to vote
ICAI
2008
15 years 5 months ago
2008
coarse procedures or very abstract frames from the point of view of algorithm, because some crucial issues like the representation, evolution, storage, and learning process of conc...
132
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
for an informal presentation at CIE 2007 [2] is a typed -calculus that pursues the reuse of the term constructions both at the level of types and at the level of contexts, while en...