3922 search results - page 693 / 785 » Working Models for Uncertain Data |
CIKM
2009
Springer
15 years 1 months ago
2009
Springer
The nDCG measure has proven to be a popular measure of retrieval effectiveness utilizing graded relevance judgments. However, a number of different instantiations of nDCG exist, d...
110
click to vote
CSL
2006
Springer
15 years 1 months ago
2006
Springer
Separation Logic is a sub-structural logic that supports local reasoning for imperative programs. It is designed to elegantly describe sharing and aliasing properties of heap struc...
109
click to vote
DAS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Training and evaluation of techniques for handwriting recognition and retrieval is a challenge given that it is difficult to create large ground-truthed datasets. This is...
ESOP
2006
Springer
15 years 1 months ago
2006
Springer
Language-based information-flow analysis is promising in protecting data confidentiality. Although much work has been carried out in this area, relatively little has been done for ...
101
click to vote
ICDCS
1995
IEEE
15 years 1 months ago
1995
IEEE
One of the mostsoughtaftersoftware innovation of thisdecade is the construction of systems using off-the-shelf workstations that actually deliver, and even surpass, the power and ...