2853 search results - page 107 / 571 » On Coherence in Computer Algebra |
150
click to vote
SYNASC
2008
IEEE
15 years 10 months ago
2008
IEEE
We formalize paper fold (origami) by graph rewriting. Origami tion is abstractly described by a rewrite system (O, ), where set of abstract origami’s and is a binary relation on ...
121
click to vote
PR
2002
15 years 3 months ago
2002
The authors of this paper adopted the projected characteristics of the absolute conic in terms of the Pascal's theorem to propose an entirely new camera calibration method ba...
138
click to vote
WAN
1998
Springer
15 years 8 months ago
1998
Springer
We consider parallel algorithms for computing the Hermite normal form of matrices over Euclidean rings. We use standard types of reduction methods which are the basis of many algor...
133
click to vote
WCE
2007
15 years 5 months ago
2007
—Surface wave method can be used to determine the properties of the component materials of a pavement structure. The measurements are made of the differences in the phase of a wa...
127
click to vote
ECCV
2000
Springer
16 years 6 months ago
2000
Springer
The Singular Value Decomposition (SVD) of a matrix is a linear algebra tool that has been successfully applied to a wide variety of domains. The present paper is concerned with the...