124 search results - page 16 / 25 » Relational Parametricity and Units of Measure |
107
click to vote
CORR
2010
Springer
15 years 15 days ago
2010
Springer
Similarity-based Logic Programming (briefly, SLP) has been proposed to enhance the LP paradigm with a kind of approximate reasoning which supports flexible information retrieval a...
110
Voted
ICMCS
2009
IEEE
14 years 10 months ago
2009
IEEE
To deal with the issue of data unbalanced condition among a task of multilingual speech recognition and a phenomenon of pronunciation variations across languages, we propose an ap...
131
Voted
BMCBI
2004
15 years 8 days ago
2004
Background: A major goal of cancer research is to identify discrete biomarkers that specifically characterize a given malignancy. These markers are useful in diagnosis, may identi...
EUROCRYPT
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present a technique for Merkle tree traversal which requires only logarithmic space and time1 . For a tree with N nodes, our algorithm computes sequential tree leaves ...
112
Voted
BMCBI
2004
15 years 8 days ago
2004
Background: A key step in the analysis of microarray expression profiling data is the identification of genes that display statistically significant changes in expression signals ...