401 search results - page 56 / 81 » Delegatable Functional Signatures |
TPHOL
2003
IEEE
14 years 1 months ago
2003
IEEE
Coverage checking is the problem of deciding whether any closed term of a given type is an instance of at least one of a given set of patterns. It can be used to verify if a functi...
DGCI
2003
Springer
14 years 1 months ago
2003
Springer
This paper describes a shape signature that captures the intrinsic geometric structure of 3D objects. The primary motivation of the proposed approach is to encode a 3D shape into a...
PICS
2001
13 years 10 months ago
2001
The modulation transfer function (MTF) has long been used as a diagnostic tool for analog image capture, by tracking frequency response caused by aperture, field position, or defo...
SSR
1997
13 years 10 months ago
1997
Configuration management of compiled software artifacts (programs, libraries, icons, etc.) is a growing problem as software reuse becomes more prevalent. For an application compos...
ACL
1993
13 years 10 months ago
1993
Various feature descriptions are being employed in constrained-based grammar formalisms. The common notational primitive of these descriptions are functional attributes called fea...