376 search results - page 43 / 76 » Developing Theories of Types and Computability via Realizabi... |
SOFSEM
1999
Springer
13 years 12 months ago
1999
Springer
We study learning scenarios in which multiple learners are involved and “nature” imposes some constraints that force the predictions of these learners to behave coherently. Thi...
JCC
2011
13 years 2 months ago
2011
Abstract: With today’s available computer power, free energy calculations from equilibrium molecular dynamics simulations “via counting” become feasible for an increasing num...
ACMSE
2007
ACM
13 years 11 months ago
2007
ACM
Many strategies have been proposed to address the problems associated with managing increasingly complex computing systems. IBM's Autonomic Computing (AC) paradigm is one suc...
SCALESPACE
1999
Springer
13 years 12 months ago
1999
Springer
In this paper we develop partial differential equations (PDEs) that model the generation of a large class of morphological filters, the levelings and the openings/closings by rec...
SCOPES
2004
Springer
14 years 28 days ago
2004
Springer
New embedded signal processing architectures are emerging that are composed of loosely coupled heterogeneous components like CPUs or DSPs, specialized IP cores, reconfigurable uni...