282 search results - page 12 / 57 » Description Logics for Shape Analysis |
CORR
2007
Springer
13 years 11 months ago
2007
Springer
In this paper, the finite volume method is developed to analyze coupled dynamic problems of nonlinear thermoelasticity. The major focus is given to the description of martensitic ...
ICIAR
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Multi-scale aggregates are composed of particles which results themselves of agglomeration of other primary particles. If particles are modeled by their centers, the geom...
PAMI
2010
13 years 9 months ago
2010
Abstract— One goal of statistical shape analysis is the discrimination between two populations of objects. In this paper, we present results of discriminant analysis on multi-obj...
FOSSACS
2009
Springer
14 years 5 months ago
2009
Springer
Standard analysis on recursive data structures restrict their attention to shape properties (for instance, a program that manipulates a list returns a list), excluding properties t...
CORR
2004
Springer
13 years 10 months ago
2004
Springer
We have previously introduced role logic as a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of ro...