2853 search results - page 196 / 571 » On Coherence in Computer Algebra |
97
Voted
FSE
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we define small scale variants of the AES. These variants inherit the design features of the AES and provide a suitable framework for comparing different cryptanaly...
141
click to vote
CVPR
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper investigates the homography which transforms a set of points in projective space when undergoing a rigid translation, termed a projective translation. A representation ...
138
click to vote
RTA
1997
Springer
15 years 8 months ago
1997
Springer
Series-parallel orders are de ned as the least class of partial orders containing the one-element order and closed by ordinal sum and disjoint union. From this inductive de nition,...
149
click to vote
ICCS
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we show how symbolic algebra in Mathematica can be used to formally verify analog and mixed signal designs. The verification methodology is based on combining induct...
143
click to vote
IJCGA
2006
15 years 4 months ago
2006
We obtain lower bounds in the algebraic computation tree model for deciding the separability of two disjoint point sets. In particular, we show (n log n) time lower bounds for sep...