4743 search results - page 425 / 949 » The PlusCal Algorithm Language |
178
click to vote
APLAS
2010
ACM
15 years 7 months ago
2010
ACM
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an...
207
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Data mining is the task of discovering interesting patterns from large amounts of data. There are many data mining tasks, such as classification, clustering, association rule mini...
176
click to vote
ENTCS
2008
15 years 6 months ago
2008
We present a type system extending the dependent type theory LF, whose terms are more amenable to compact representation. This is achieved by carefully omitting certain subterms w...
190
click to vote
IR
2008
15 years 6 months ago
2008
A compressed full-text self-index for a text T , of size u, is a data structure used to search for patterns P, of size m, in T , that requires reduced space, i.e. space that depend...
196
click to vote
IJCV
2006
15 years 6 months ago
2006
Gesture and speech are co-expressive and complementary channels of a single human language system. While speech carries the major load of symbolic presentation, gesture provides th...