4743 search results - page 543 / 949 » The PlusCal Algorithm Language |
151
click to vote
SIGIR
2003
ACM
15 years 8 months ago
2003
ACM
We present a non-traditional retrieval problem we call subtopic retrieval. The subtopic retrieval problem is concerned with finding documents that cover many different subtopics ...
125
click to vote
PODS
2010
ACM
15 years 8 months ago
2010
ACM
We investigate a higher-order query language that embeds operators of the positive relational algebra within the simply-typed λ-calculus. Our language allows one to succinctly de...
120
click to vote
EDBTW
2010
Springer
15 years 9 months ago
2010
Springer
We investigate the complexity of performing updates on probabilistic XML data for various classes of probabilistic XML documents of different succinctness. We consider two elemen...
113
click to vote
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We describe a new technique for computing procedure summaries for performing an interprocedural analysis on programs. Procedure summaries are computed by performing a bac...
138
click to vote
SCIA
2007
Springer
15 years 9 months ago
2007
Springer
The work presented here takes place in the field of computer aided analysis of facial expressions displayed in sign language videos. We use Active Appearance Models to model a fac...