704 search results - page 6 / 141 » A Note on Typing Feature Structures |
PLPV
2010
ACM
14 years 3 months ago
2010
ACM
Singleton types are often considered a poor man’s substitute for dependent types. But their generalization in the form of GADTs has found quite a following. The main advantage o...
ACL
2004
13 years 8 months ago
2004
The purpose of this paper is to re-examine the balance between clarity and efficiency in HPSG design, with particular reference to the design decisions made in the English Resourc...
AC
2003
Springer
13 years 12 months ago
2003
Springer
Generic Haskell is an extension of Haskell that supports the construction of generic programs. These lecture notes discuss three advanced generic programming applications: generic ...
ICCTA
2007
IEEE
2007
IEEE
Digital Signal Types Identification Using a Hierarchical SVM-Based Classifier and Efficient Features
13 years 6 months ago
Automatic digital signal type identification (ADSTI) is an important topic for both military and civilian communication applications. Most of proposed techniques (identifiers) can...
IUI
2003
ACM
13 years 12 months ago
2003
ACM
Computer-based annotation is increasing in popularity as a mechanism for revising documents and sharing comments over the Internet. One reason behind this surge is that viewpoints...