3941 search results - page 386 / 789 » Computational Efficiency of Batching Methods |
113
click to vote
SGP
2007
15 years 5 months ago
2007
We present a streaming algorithm for reconstructing closed surfaces from large non-uniform point sets based on a geometric convection technique. Assuming that the sample points ar...
139
click to vote
ALGOSENSORS
2008
Springer
15 years 5 months ago
2008
Springer
In this paper, we re-examine the RSSI measurement model for location estimation and provide the first detailed formulation of the probability distribution of the position of a sens...
109
click to vote
ENTCS
2008
15 years 3 months ago
2008
RZ is a tool which translates axiomatizations of mathematical structures to program specifications using the realizability interpretation of logic. This helps programmers correctl...
104
click to vote
JSC
2006
15 years 3 months ago
2006
In this paper we give formulas for performing row reduction of a matrix of Ore polynomials in a fraction-free way. The reductions can be used for finding the rank and left nullspa...
100
click to vote
COMPUTING
2004
15 years 3 months ago
2004
In this paper we propose a new stabilized three-field formulation applied to the advection-diffusion equation. Using finite elements with SUPG stabilization in the interior of the...