16190 search results - page 193 / 3238 » Applicative programming with effects |
110
Voted
PST
2008
15 years 4 months ago
2008
One of the key issues with the practical applicability of Proof-Carrying Code (PCC) and its related methods is the difficulty in communicating and storing the proofs which are inh...
121
Voted
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
Bilingual term lists are extensively used as a resource for dictionary-based Cross-Language Information Retrieval (CLIR), in which the goal is to find documents written in one na...
156
Voted
DASFAA
2010
IEEE
15 years 1 months ago
2010
IEEE
Sampling streams of continuous data with limited memory, or reservoir sampling, is a utility algorithm. Standard reservoir sampling maintains a random sample of the entire stream a...
129
Voted
3DIM
2003
IEEE
15 years 8 months ago
2003
IEEE
Over the past few years, remarkable increase has occurred in the demand for 3D models for cultural heritage applications. The techniques employed have evolved from surveying and C...
135
Voted
ECIR
1998
Springer
1998
Springer
Independence of Contributing Retrieval Strategies in Data Fusion for Effective Information Retrieval
15 years 4 months ago
: In information retrieval, data fusion is a technique for combining the outputs of more than one retrieval strategy which rank documents for retrieval. One of the observations oft...