3454 search results - page 185 / 691 » Modern computer algebra |
149
click to vote
ENTCS
2008
15 years 6 months ago
2008
Using linear algebraic techniques, we analyse the computational complexity of testing reachability in Petri nets for which markings can grow very fast. This leads to two subclasse...
156
click to vote
TOMS
2008
15 years 6 months ago
2008
We show how to compute an LU factorization of a matrix when the factors of a leading principle submatrix are already known. The approach incorporates pivoting akin to partial pivo...
187
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Computer Algebra Systems (CAS) provide sophisticated functionality to assist with mathematical problem solving. Despite their widespread adoption, however, little work in the HCI ...
163
click to vote
IWEC
2004
15 years 8 months ago
2004
Manufacturers of traditional board games are looking for ideas to innovate their products and keep up with the popularity of modern computer games. We developed an idea of how trad...
176
click to vote
ESORICS
2005
Springer
16 years 1 days ago
2005
Springer
The abstraction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently si...