3116 search results - page 243 / 624 » Positively dependent types |
164
click to vote
TLCA
2005
Springer
15 years 11 months ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
159
click to vote
CIKM
2009
Springer
16 years 25 days ago
2009
Springer
Keyphrases are short phrases that reflect the main topic of a document. Because manually annotating documents with keyphrases is a time-consuming process, several automatic appro...
172
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: In microarray gene expression profiling experiments, differentially expressed genes (DEGs) are detected from among tens of thousands of genes on an array using statist...
148
click to vote
INLG
2010
Springer
15 years 4 months ago
2010
Springer
This paper presents the experiments carried out at Jadavpur University as part of the participation in the GREC Named Entity Generation Challenge 2010. The Baseline system is base...
149
Voted
WWW
2006
ACM
16 years 7 months ago
2006
ACM
The automatic identification of a user's task has the potential to improve information filtering systems that rely on implicit measures of interest and whose effectiveness ma...