282 search results - page 6 / 57 » Description Logics for Shape Analysis |
BSDIA
1997
Springer
14 years 3 months ago
1997
Springer
This paper is a description of recent advances in off-line signature verification research performed at our laboratory. Related works pertain to structural interpretation of signa...
CADE
2008
Springer
14 years 11 months ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...
CLA
2007
14 years 14 days ago
2007
There are two major formalisms that are developed around concepts: (1) Formal Concept Analysis (FCA) by R. Wille and B. Ganter, and (2) Description Logic (DL) that goes back to the...
JMLR
2010
13 years 5 months ago
2010
This study explores the feasibility of estimating the Body Condition Score (BCS) of cows from digital images by employing statistical shape analysis and regression machines. The s...
DLOG
2003
14 years 12 days ago
2003
In this paper, we investigate the use of Description Logic (DL) for representing Product Behavioral constraints in Computer Aided Design (CAD) Systems. In an integrated design app...