3244 search results - page 553 / 649 » Extensions to Description Logics |
81
Voted
JSS
1998
14 years 10 months ago
1998
The graphical formalism of Petri Nets (PNs) is established on a strong mathematical foundation that can be applied in systems speci®cation, analysis and veri®cation. However, cl...
105
Voted
TIP
2002
14 years 9 months ago
2002
Local curvature represents an important shape parameter of space curves which are well described by differential geometry. We have developed an estimator for local curvature of spa...
TSMC
2002
14 years 9 months ago
2002
This paper describes the dynamic control of a 3 degree of freedom (DOF) finger emulating a human finger for reaching a desired fingertip position in space. The control consists of ...
PR
2007
14 years 9 months ago
2007
The hit-or-miss transform (HMT) is a fundamental operation on binary images, widely used since 40 years. As it is not increasing, its extension to grey-level images is not straigh...
81
Voted
PUC
2008
14 years 9 months ago
2008
A number of emerging distributed platforms include xed and robust workstations but, like dynamic and pervasive networks, are often built from mobile and resource-constrained device...