1011 search results - page 71 / 203 » The three dimensions of proofs |
208
click to vote
COMPGEOM
1999
ACM
15 years 10 months ago
1999
ACM
This paper presents the Hierarchical Walk, or H-Walk algorithm, which maintains the distance between two moving convex bodies by exploiting both motion coherence and hierarchical ...
162
click to vote
NPIV
1999
ACM
15 years 10 months ago
1999
ACM
This paper presents an interactive video visualization technique called video cubism. With this technique, video data is considered to be a block of three dimensional data where f...
185
click to vote
SIGGRAPH
1992
ACM
15 years 10 months ago
1992
ACM
We define the antiumbra and the antipenumbra of a convex area light source shining through a sequence of convex areal holes in three dimensions. The antiumbra is the volume from w...
172
click to vote
IBPRIA
2007
Springer
15 years 10 months ago
2007
Springer
Three methods for the efficient downdating, composition and splitting of low rank singular value decompositions are proposed. They are formulated in a closed form, considering the ...
159
click to vote
STACS
2000
Springer
15 years 10 months ago
2000
Springer
We prove that several global properties (global convergence, global asymptotic stability, mortality, and nilpotence) of particular classes of discrete time dynamical systems are un...