3690 search results - page 208 / 738 » Computation with classical sequents |
VOSS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Randomization is of paramount importance in practical applications and randomized algorithms are used widely, for example in co-ordinating distributed computer networks, ...
157
Voted
ISTCS
1997
Springer
15 years 4 months ago
1997
Springer
We investigate the power of quantum computers when they are required to return an answer that is guaranteed to be correct after a time that is upper-bounded by a polynomial in the...
114
Voted
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
In this paper, we propose a new integration approach for simulation and behaviour in the learning context that is able to coherently manage the shared virtual environment for the ...
115
Voted
CSE
2008
IEEE
15 years 2 months ago
2008
IEEE
Parallel computing is widely used for large scale threedimensional simulation of seismic wave propagation. One particularity of most of these simulations is to consider a finite c...
107
Voted
ESAW
2008
Springer
15 years 2 months ago
2008
Springer
Complexity of today's systems prevents designers from knowing everything about them and makes engineering them a difficult task for which classical engineering approaches are ...