4463 search results - page 328 / 893 » computing 2000 |
168
click to vote
ECCC
2000
15 years 6 months ago
2000
Deterministic k-tape and multitape Turing machines with one-way, two-way and without a separated input tape are considered. We investigate the classes of languages acceptable by s...
144
click to vote
JC
2000
15 years 6 months ago
2000
We study the complexity of approximating the Stieltjes integral R 1 0 f(x)dg(x) for functions f having r continuous derivatives and functions g whose sth derivative has bounded va...
162
click to vote
CONCUR
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. In this paper, we introduce weak bisimulation in the framework of Labeled Concurrent Markov Chains, that is, probabilistic transition systems which exhibit both probabili...
182
click to vote
HPCN
2000
Springer
15 years 10 months ago
2000
Springer
This paper investigates the design and implementation of mobile computations in Java. We discuss various issues encountered while building a Java library that allows active objects...
153
click to vote
BIRTHDAY
2004
Springer
16 years 1 days ago
2004
Springer
Tilings of the plane by translation show interesting regularity in the disposition of the tiles: in particular, we point out that in the case of a single tile, the obtained con gur...