11231 search results - page 51 / 2247 » Digging for Data Structures |
MSV
2007
14 years 8 days ago
2007
N-body simulations solve the n-body problem numerically and determine the trajectories of the n point masses. The result of these calculations is a huge amount of data detailing th...
SPIN
2005
Springer
14 years 4 months ago
2005
Springer
We present a novel algorithm for repairing structurally complex data. Given an assertion that represents desired structural integrity constraints and a structure that violates them...
ECCV
2002
Springer
15 years 22 days ago
2002
Springer
Abstract. In many vision problems, the observed data lies in a nonlinear manifold in a high-dimensional space. This paper presents a generic modelling scheme to characterize the no...
WWW
2007
ACM
14 years 11 months ago
2007
ACM
CADE
2004
Springer
14 years 11 months ago
2004
Springer
This paper is concerned with the integration of recursive data structures with Presburger arithmetic. The integrated theory includes a length function on data structures, thus prov...