3454 search results - page 172 / 691 » Modern computer algebra |
142
click to vote
DSVIS
2005
Springer
16 years 1 days ago
2005
Springer
We introduce a formal model of inconsistency-related mode confusion. This forms the basis of a heuristic methodology for critiquing user interfaces, using a matrix algebra approach...
123
click to vote
FSE
2005
Springer
16 years 21 hour 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...
181
click to vote
CVPR
1998
IEEE
15 years 10 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 ...
164
click to vote
RTA
1997
Springer
15 years 10 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,...
178
click to vote
ICCS
2007
Springer
15 years 10 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...