4743 search results - page 559 / 949 » The PlusCal Algorithm Language |
128
Voted
CICLING
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. We describe a semantic clustering method designed to address shortcomings in the common bag-of-words document representation for functional semantic classification tasks....
187
Voted
POPL
2006
ACM
16 years 3 months ago
2006
ACM
We present optimization techniques for high level equational programs that are generalizations of affine control loops (ACLs). Significant parts of the SpecFP and PerfectClub benc...
191
Voted
POPL
2002
ACM
16 years 3 months ago
2002
ACM
We present a new role system in which the type (or role) of each object depends on its referencing relationships with other objects, with the role changing as these relationships ...
211
Voted
SIGMOD
2009
ACM
16 years 3 months ago
2009
ACM
Current semi-structured keyword search and natural language query processing systems use ad hoc approaches to take advantage of structural information. Although intuitive, they ar...
122
Voted
ICFP
2004
ACM
16 years 2 months ago
2004
ACM
We study a type system equipped with universal types and equirecursive types, which we refer to as F?. We show that type equality may be decided in time O(n log n), an improvement...