626 search results - page 27 / 126 » The Automatic Interpretation of Nominalizations |
BILDMED
2008
13 years 9 months ago
2008
We present an algorithm for fast automatic registration of spatially overlapping radiographs. It possesses strong robustness against noise, feature masking and feature displacement...
AIMSA
2004
Springer
14 years 1 months ago
2004
Springer
Existing efforts on ontology mapping, alignment and merging vary from methodological and theoretical frameworks, to methods and tools that support the semi-automatic coordination o...
VMCAI
2009
Springer
14 years 2 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
LOPSTR
2004
Springer
14 years 29 days ago
2004
Springer
Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...
FPCA
1989
13 years 11 months ago
1989
One way to analyse programs is to to derive expressions for their computational behaviour. A time bound function (or worst-case complexity) gives an upper bound for the computatio...