3690 search results - page 658 / 738 » Computation with classical sequents |
101
click to vote
ISAAC
2007
Springer
15 years 4 months ago
2007
Springer
Valiant introduced some 25 years ago an algebraic model of computation along with the complexity classes VP and VNP, which can be viewed as analogues of the classical classes P and...
MIDDLEWARE
2007
Springer
15 years 4 months ago
2007
Springer
In this paper we consider the problem of maximising utility in linked market-driven distributed and Grid systems. In such systems, users submit jobs through brokers who can virtua...
STACS
2007
Springer
15 years 4 months ago
2007
Springer
We consider the problem of maintaining aggregates over recent elements of a massive data stream. Motivated by applications involving network data, we consider asynchronous data str...
CVPR
2006
IEEE
15 years 3 months ago
2006
IEEE
We present a novel method to obtain a 3D Euclidean reconstruction of both the background and moving objects in a video sequence. We assume that, multiple objects are moving rigidl...
106
click to vote
ESCIENCE
2006
IEEE
15 years 3 months ago
2006
IEEE
Effective scheduling in large-scale computational grids is challenging because it requires tracking the dynamic state of the large number of distributed resources that comprise th...