1011 search results - page 6 / 203 » The three dimensions of proofs |
SIAMSC
2010
14 years 4 months ago
2010
Abstract. BDDC algorithms are constructed and analyzed for the system of almost incompressible elasticity discretized with Gauss-Lobatto-Legendre spectral elements in three dimensi...
STOC
1990
ACM
15 years 1 months ago
1990
ACM
a 3-dimensions a separator size where is the ber of 3-simplexes in and is the number of ization of the separator results for planar graphs, such as the and Tarjan planar separator...
ISBI
2006
IEEE
15 years 10 months ago
2006
IEEE
Harmonic phase (HARP) analysis has been used in tagged magnetic resonance imaging (MRI) to measure two-dimensional (2D) in-plane motion and strain, and was recently applied in cha...
ICRA
1993
IEEE
15 years 1 months ago
1993
IEEE
We present an approach for solving the path planning problem for a mobile robot operating in an unknown, three dimensional environment containing obstacles of arbitrary shape. The...
COMPGEOM
1994
ACM
15 years 1 months ago
1994
ACM
We consider the problem of bounding the combinatorial complexity of a single cell in an arrangement of n low-degree algebraic surface patches in 3-space. We show that this complex...