4463 search results - page 91 / 893 » computing 2000 |
EDBT
2000
ACM
15 years 2 months ago
2000
ACM
MOC
1998
14 years 10 months ago
1998
Abstract. Details of a new technique for obtaining rigorous results concerning the global dynamics of nonlinear systems is described. The technique abstract existence results based...
ANLP
1994
15 years 12 days ago
1994
This paper reports on the techniques used to successfully translate with the help of a computer a Mathematics textbook from Portuguese to English. Even if these techniques are sim...
MOC
2000
14 years 11 months ago
2000
We improve on a lattice algorithm of Tezuka for the computation of the k-distribution of a class of random number generators based on finite fields. We show how this is applied to ...
ICPR
2000
IEEE
15 years 3 months ago
2000
IEEE