1136 search results - page 122 / 228 » Functional Validation in Grid Computing |
123
Voted
LISA
2008
15 years 5 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...
152
Voted
ICCV
2005
IEEE
2005
IEEE
Mutual Information-Based 3D Surface Matching with Applications to Face Recognition and Brain Mapping
15 years 8 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...
125
Voted
CPHYSICS
2006
15 years 2 months 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 ...
124
Voted
ASM
2004
ASM
15 years 8 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 ...
168
Voted
CADE
1998
Springer
15 years 6 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...