1136 search results - page 122 / 228 » Functional Validation in Grid Computing |
105
click to vote
LISA
2008
15 years 2 months ago
2008
In recent times a new kind of computing system has emerged: a distributed infrastructure composed of multiple physical sites in different administrative domains. This model introd...
130
click to vote
ICCV
2005
IEEE
2005
IEEE
Mutual Information-Based 3D Surface Matching with Applications to Face Recognition and Brain Mapping
15 years 6 months ago
Face recognition and many medical imaging applications require the computation of dense correspondence vector fields that match one surface with another. In brain imaging, surfac...
114
click to vote
CPHYSICS
2006
15 years 14 days ago
2006
The WATERWAVES program suite performs complex scattering calculations by propagating a wave packet in a complex, full-dimensional potential for non-rotating (J = 0) but vibrating ...
101
Voted
ASM
2004
ASM
15 years 5 months ago
2004
ASM
For a while it seemed possible to pretend that all interaction between an algorithm and its environment occurs inter-step, but not anymore. Andreas Blass, Benjamin Rossman and the ...
143
click to vote
CADE
1998
Springer
15 years 4 months ago
1998
Springer
Partial types allow the reasoning about partial functions in type theory. The partial functions of main interest are recursively computed functions, which are commonly assigned ty...