8699 search results - page 122 / 1740 » Elements of the Theory of Computation |
CIE
2009
Springer
15 years 3 months ago
2009
Springer
We show that the first order theories of the Medevdev lattice and the Muchnik lattice are both computably isomorphic to the third order theory of the natural numbers.
COMPUTING
1999
14 years 11 months ago
1999
Nonconforming finite element discretisations require special care in the construction of the prolongation andrestrictioninthemultigridprocess. Inthispaper,ageneralschemeisproposed...
CAD
2005
Springer
14 years 11 months ago
2005
Springer
Performance of various functions of the tissue structure depends on porous scaffold microstructures with specific porosity characteristics that influence the behavior of the incor...
WECWIS
2005
IEEE
15 years 4 months ago
2005
IEEE
We describe a schema matching algorithm EXSMAL that automates the semantic correspondence discovery between the EDI (Electronic Data Interchange) messages of various standards (ED...
GC
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We present the computational counterpart of the KGP (Knowledge, Goals, Plan) declarative model of agency for Global Computing. In this context, a computational entity is ...