2334 search results - page 303 / 467 » How are Real Grids Used |
122
click to vote
PRESENCE
2008
15 years 4 months ago
2008
Mental rotation is the capacity to predict the orientation of an object or the layout of a scene after a change in viewpoint. Previous studies have shown that the cognitive cost o...
124
click to vote
SIGMETRICS
2008
ACM
15 years 4 months ago
2008
ACM
Benchmarks are crucial to understanding software systems and assessing their performance. In file-system research, synthetic benchmarks are accepted and widely used as substitutes...
142
click to vote
AROBOTS
2004
15 years 4 months ago
2004
The swarm intelligence paradigm has proven to have very interesting properties such as robustness, flexibility and ability to solve complex problems exploiting parallelism and self...
111
Voted
MOC
2000
15 years 3 months ago
2000
Recently Laurie presented a new algorithm for the computation of (2n+1)-point Gauss-Kronrod quadrature rules with real nodes and positive weights. This algorithm first determines a...
141
Voted
MST
2007
15 years 3 months ago
2007
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Edalat–Potts in type theory. We choose the constructive type theory extended with coind...