15792 search results - page 221 / 3159 » Computational Abstraction Steps |
170
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
A pseudorandom point in an ergodic dynamical system over a computable metric space is a point which is computable but its dynamics has the same statistical behavior of a typical po...
205
click to vote
IEEECIT
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—This paper examines the economics of cloud computing charging from the perspective of a supercomputing resource provider offering its own resources. To evaluate the comp...
265
click to vote
MICCAI
2008
Springer
16 years 8 months ago
2008
Springer
Abstract. Transmission Ultrasound Computed Tomography (CT) is strongly affected by the acoustic refraction properties of the imaged tissue, and proper modeling and correction of th...
178
click to vote
FOCS
1997
IEEE
15 years 11 months ago
1997
IEEE
Abstract. We show how to associate e ectively computableobstructions to a waitfree distributed decision task (I;O; ) in the asynchronous shared-memory, readwrite model. The key new...
173
click to vote
BC
2004
15 years 7 months ago
2004
Abstract. Several strategies have been described as a reaction to a stumble during gait. The elevating strategy, which tries to proceed with the perturbed step, was executed as a r...