2701 search results - page 88 / 541 » On the form of witness terms |
177
click to vote
EUROPAR
2004
Springer
15 years 11 months ago
2004
Springer
Despite important advances in Grid computing, scalability and interoperability issues obstruct the integration of the existing isolated grids into the Grid. We propose a worldwide ...
156
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
We present a covariant form for genetic dynamics and show how different formulations are simply related by linear coordinate transformations. In particular, in the context of the ...
126
click to vote
ISSAC
2004
Springer
15 years 11 months ago
2004
Springer
We study the triangular representation of zero-dimensional varieties defined over the rational field (resp. a rational function field). We prove polynomial bounds in terms of i...
188
click to vote
CSFW
2003
IEEE
15 years 11 months ago
2003
IEEE
A type system is presented that combines a weak form of information flow control, termed distributed access control in the paper, with typed cryptographic operations. The motivat...
142
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents the experimental identification of the dynamic parameters of the Orthoglide [1], a 3-DOF parallel. The dynamic identification model is based on the inverse dyn...