282 search results - page 25 / 57 » Description Logics for Shape Analysis |
CORR
2010
Springer
13 years 11 months ago
2010
Springer
METAI is a generic process calculus that can be instantiated by supplying rewriting rules defining an operational semantics to make numerous process calculi such as the -calculus,...
PAMI
2010
13 years 9 months ago
2010
Abstract— Statistical shape modeling is an established technique and is used for a variety of tasks in medical image processing, such as image segmentation and analysis. A challe...
APN
2001
Springer
14 years 2 months ago
2001
Springer
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...
SMI
2006
IEEE
14 years 5 months ago
2006
IEEE
The description of 3D shapes with features that possess descriptive power and invariant under similarity transformations is one of the most challenging issues in content based 3D ...
ICDAR
1995
IEEE
14 years 2 months ago
1995
IEEE
There is an increasingly pressing need to develop document analysis methods that are able to cope with images of documents containing printed regions of complex shapes. Contrary t...