34202 search results - page 210 / 6841 » The Tera computer system |
167
click to vote
JSC
2007
15 years 7 months ago
2007
We present a new algorithm for the computation of resultants associated with multihomogeneous (and, in particular, homogeneous) polynomial equation systems using straight-line pro...
152
click to vote
FSTTCS
2007
Springer
16 years 1 months ago
2007
Springer
Type systems for secure information flow aim to prevent a program from leaking information from variables that hold secret data to variables that hold public data. In this work we...
201
click to vote
CIARP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. It is argued that the ability to generalise is the most important characteristic of learning and that generalisation may be achieved only if pattern recognition systems l...