8699 search results - page 73 / 1740 » Elements of the Theory of Computation |
HPDC
2002
IEEE
14 years 1 months ago
2002
IEEE
Error propagation is a central problem in grid computing. We re-learned this while adding a Java feature to the Condor computational grid. Our initial experience with the system w...
VMV
2003
13 years 10 months ago
2003
198 Triangles Std. Wire Frame 2 Triangles 32×32 Texture Finite element models used in crash worthiness simulations now contain more than one million mostly quadrilateral elements...
MFCS
1993
Springer
14 years 28 days ago
1993
Springer
We present the different constructive definitions of real number that can be found in the literature. Using domain theory we analyse the notion of computability that is substant...
AAAI
1998
13 years 10 months ago
1998
We consider computational issues in combining logical knowledge bases represented by their characteristic models; in particular, we study taking their logical intersection. We pre...
JSYML
2007
13 years 8 months ago
2007
In this paper we answer the following well-known open question in computable model theory. Does there exist a computable not ℵ0-categorical saturated structure with a unique com...