15416 search results - page 2917 / 3084 » Embeddings of Computable Structures |
210
click to vote
IWVF
2001
Springer
15 years 11 months ago
2001
Springer
Volumetric images of small mortar samples under load are acquired by X-ray microtomography. The images are binarized at many different threshold values, and over a million connecte...
173
click to vote
STACS
2001
Springer
15 years 11 months ago
2001
Springer
In 1974 R. Fagin proved that properties of structures which are in NP are exactly the same as those expressible by existential second order sentences, that is sentences of the form...
161
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Discovering complex associations, anomalies and patterns in distributed data sets is gaining popularity in a range of scientific, medical and business applications. Various algor...
223
click to vote
ISORC
2000
IEEE
15 years 11 months ago
2000
IEEE
The Air Force has enthusiastically endorsed, at its most senior levels, advanced thinking with regard to the application of information technology. Recently, the notion of a Joint...
195
click to vote
PG
2000
IEEE
15 years 11 months ago
2000
IEEE
PDE surfaces, whose behavior is governed by Partial Differential Equations (PDEs), have demonstrated many modeling advantages in surface blending, free-form surface modeling, and ...