704 search results - page 10 / 141 » A Note on Typing Feature Structures |
GIS
2009
ACM
15 years 4 months ago
2009
ACM
Apart from visualization tasks, three-dimensional (3D) data management features are not or only hardly available in current spatial database systems and Geographic Information Sys...
115
click to vote
ICMLA
2009
14 years 9 months ago
2009
Chord sequences are a compact and useful description of music, representing each beat or measure in terms of a likely distribution over individual notes without specifying the not...
ICFP
2003
ACM
15 years 12 months ago
2003
ACM
We propose a type system for locating the source of type errors in an applied lambda calculus with ML-style polymorphism. The system is based on discriminative sum types--known fr...
108
click to vote
ICFP
2008
ACM
15 years 12 months ago
2008
ACM
MLF is a type system that seamlessly merges ML-style type inference with System-F polymorphism. We propose a system of graphic (type) constraints that can be used to perform type ...
106
click to vote
CIKM
2005
Springer
15 years 5 months ago
2005
Springer
The structural features of XML components are an extra source of information that should be used in a contentoriented retrieval task on this type of documents. This paper explores...