3454 search results - page 93 / 691 » Modern computer algebra |
111
click to vote
ICNS
2006
IEEE
16 years 5 days ago
2006
IEEE
Abstract— The theory of promises describes policy governed services, in a framework of completely autonomous agents, which assist one another by voluntary cooperation alone. We p...
173
click to vote
ICTCS
2003
Springer
15 years 11 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...
160
Voted
FOCS
1997
IEEE
15 years 10 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...
140
Voted
IE
2007
15 years 7 months ago
2007
First-person computer games are a popular modern video game genre. A new method is proposed, the Directional Propagation Cache, that takes advantage of the very common portal spat...
193
click to vote
INDOCRYPT
2005
Springer
15 years 11 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...