1982 search results - page 238 / 397 » Parametricity and dependent types |
168
click to vote
WIOPT
2006
IEEE
16 years 12 days ago
2006
IEEE
A state-of-the-art orthogonal frequency division multiplexing (OFDM)-based access system, such as the DiffSeg system [1][2], uses a different set of transmission technologies, e.g...
171
click to vote
CSB
2005
IEEE
16 years 1 days ago
2005
IEEE
There is a diversity of functional genomics data, such as gene expression data from microarray experiments, phenotypic data from gene deletion experiments, protein-protein interac...
163
click to vote
CSFW
2005
IEEE
16 years 1 days ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
162
click to vote
CLEF
2005
Springer
15 years 12 months ago
2005
Springer
This paper describes the architecture of a Bulgarian–Bulgarian question answering system — BulQA. The system relies on a partially parsed corpus for answer extraction. The que...
150
click to vote
COLT
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. There has been growing interest in practice in using unlabeled data together with labeled data in machine learning, and a number of different approaches have been develo...