1011 search results - page 12 / 203 » The three dimensions of proofs |
170
click to vote
COMPGEOM
1996
ACM
15 years 10 months ago
1996
ACM
We provideO(n)-timealgorithmsfor constructingthe following types of drawings of n-vertex 3-connectedplanar graphs: 2D convex grid drawings with (3n) (3n=2) area under the edge L1-...
136
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
Measured Equation of Invariance(MEI) is a new concept in computational electromagnetics. It has been demonstrated that the MEI technique can be used to terminate the meshes very c...
178
click to vote
ICRA
1994
IEEE
15 years 10 months ago
1994
IEEE
An approach is presented for exploring an unknown, arbitrary surface in three-dimensional (3D) space by a mobile robot. The main contributions are (1) an analysis of the capabilit...