882 search results - page 134 / 177 » On self-embeddings of computable linear orderings |
ISBI
2007
IEEE
15 years 4 months ago
2007
IEEE
We present an adaptive hybrid FEM/FDM method for an inverse scattering problem in scanning acoustic microscopy with a special focus on new application in medical imaging. The prob...
LICS
2007
IEEE
15 years 4 months ago
2007
IEEE
In this paper we generalize the contraction method, originally proposed by Elgot and Rabin and later extended by Carton and Thomas, from labeled linear orderings to colored determ...
DIS
2007
Springer
15 years 4 months ago
2007
Springer
Abductive inference has long been associated with the logic of scientific discovery and automated abduction is now being used in real scientific tasks. But few methods can exploi...
HYBRID
2007
Springer
15 years 4 months ago
2007
Springer
We review state-space control models in order to identify timing properties that can favour flexible scheduling of real-time control tasks. First, from the state-space model of a ...
ADC
2004
Springer
15 years 3 months ago
2004
Springer
Many spatio-temporal applications involve managing and querying moving objects. In such an environment, predictive spatio-temporal queries become an important query class to be pr...