282 search results - page 16 / 57 » Description Logics for Shape Analysis |
CIC
2004
14 years 11 days ago
2004
Abstract--The types of lexicons necessary for Transparent Intensional Logic (TIL) logical analysis will be described. We will show the algorithm for analysing the TIL verbal object...
CVPR
2007
IEEE
15 years 1 months ago
2007
IEEE
An important goal of statistical shape analysis is the discrimination between populations of objects, exploring group differences in morphology not explained by standard volumetri...
CAIP
1999
Springer
14 years 3 months ago
1999
Springer
A novel technique for multi-scale smoothing of a free-form 3-D surface is presented. Diffusion of the surface is achieved through convolutions of local parametrisations of the su...
CAV
2006
Springer
14 years 2 months ago
2006
Springer
We describe a new program termination analysis designed to handle imperative programs whose termination depends on the mutation rogram's heap. We first describe how an abstrac...
SEMWEB
2009
Springer
14 years 3 months ago
2009
Springer
Abstract—For many tasks, such as the integration of knowledge bases in the semantic web, one must not only handle the knowledge itself, but also characterizations of this knowled...