2853 search results - page 118 / 571 » On Coherence in Computer Algebra |
152
Voted
ICTCS
2003
Springer
15 years 9 months ago
2003
Springer
The algebraic models of computation for contextual nets that have been proposed in the literature either rely on a non-free monoid of objects, or introduce too many fictitious beh...
137
Voted
FOCS
1997
IEEE
15 years 8 months ago
1997
IEEE
We prove old and new results on the complexity of computing the dimension of algebraic varieties. In particular, we show that this problem is NP-complete in the Blum-Shub-Smale mo...
170
click to vote
INDOCRYPT
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we analyse the algebraic immunity of symmetric Boolean functions. We identify a set of lowest degree annihilators for symmetric functions and propose an efficient al...
141
click to vote
EWSN
2012
Springer
13 years 11 months ago
2012
Springer
Empirical studies on link blacklisting show that the delivery rate is very sensitive to the calibration of the blacklisting threshold. If the calibration is too restrictive (the th...
DAC
2001
ACM
16 years 5 months ago
2001
ACM
