1136 search results - page 75 / 228 » Functional Validation in Grid Computing |
108
Voted
FSS
2008
15 years 20 days ago
2008
We work with fuzzy Turing machines (FTMs) and we study the relationship between this computational model and classical recursion concepts such as computable functions, recursively...
92
Voted
ICCV
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper addresses the problem of computing the trajectory of a camera from sparse positional measurements that have been obtained from visual localisation, and dense differenti...
87
Voted
IACR
2011
14 years 7 days ago
2011
We present a method to compile Yao’s two-player garbled circuit protocol into one that is secure against malicious adversaries that relies on witness indistinguishability. Our ap...
92
Voted
CORR
2010
Springer
15 years 21 days ago
2010
Springer
The Asteroseismic Modeling Portal (AMP) provides a webbased interface for astronomers to run and view simulations that derive the properties of Sun-like stars from observations of...
116
Voted
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
- In this paper we study efficient triangular grid-based sensor deployment planning for coverage when sensor placements are perturbed by random errors around their corresponding gr...