7890 search results - page 482 / 1578 » The MathSAT 3 System |
162
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
This is an example of C++ code of Clifford algebra calculations with the GiNaC computer algebra system. This code makes both symbolic and numeric computations. It was used to produ...
169
click to vote
CG
1999
Springer
15 years 6 months ago
1999
Springer
A convexhull H(S)of a 3Dset S is rarely used to accelerateinterferencedetection or as a substitutefor rendering small projection of S,because it typically has too many faces. An a...
174
click to vote
PRESENCE
2002
15 years 6 months ago
2002
This paper presents a method for creating 3D models of real objects using video see-through augmented reality. We use a tracked probe to sample the objects' geometries and vi...
180
click to vote
IJCV
2008
15 years 6 months ago
2008
Abstract A fully automatic initialization approach for 3Dmodel-based vehicle tracking has been developed, based on Edge-Element and Optical-Flow association. An entire automatic in...
146
click to vote
IANDC
2010
15 years 5 months ago
2010
We present a polynomial-time algorithm deciding bisimilarity between a normed BPA process and a normed BPP process, with running time O(n7 ). This improves the previously known ex...