427 search results - page 47 / 86 » Inductive reasoning about effectful data types |
POPL
2008
ACM
14 years 7 months ago
2008
ACM
GADTs are at the cutting edge of functional programming and become more widely used every day. Nevertheless, the semantic foundations underlying GADTs are not well understood. In ...
KDD
2001
ACM
14 years 8 months ago
2001
ACM
Surveys are an important part of marketing and customer relationship management, and open answers (i.e., answers to open questions) in particular may contain valuable information ...
BMCBI
2007
13 years 7 months ago
2007
Background: The Stanford Tissue Microarray Database (TMAD) is a repository of data serving a consortium of pathologists and biomedical researchers. The tissue samples in TMAD are ...
EACL
2009
ACL Anthology
14 years 8 months ago
2009
ACL Anthology
Many methods are available for computing semantic similarity between individual words, but certain NLP tasks require the comparison of word pairs. This paper presents a kernel-bas...
IQ
2007
13 years 9 months ago
2007
: To manage information quality (IQ) effectively, one needs to know how IQ changes over time, what causes it to change, and whether the changes can be predicted. In this paper we a...