3552 search results - page 225 / 711 » Proof theory in the abstract |
170
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
Abstract. Often in neurosurgical planning a dual spin echo acquisition is performed that yields proton density (PD) and T2-weighted images to evaluate edema near a tumor or lesion....
150
click to vote
TCC
2009
Springer
16 years 7 months ago
2009
Springer
Extractable functions are functions where any adversary that outputs a point in the range of the function is guaranteed to "know" a corresponding preimage. Here, knowledg...
197
click to vote
INFOCOM
2006
IEEE
16 years 17 days ago
2006
IEEE
Abstract— A bloom filter is a simple, space-efficient, randomized data structure for concisely representing a static data set, in order to support approximate membership querie...
163
click to vote
EWSN
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, we consider the minimization of a relevant energy consumption related cost function in the context of sensor networks where correlated sources are generate...
160
click to vote
AI
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Today’s case based reasoning applications face several challenges. In a typical application, the case bases grow at a very fast rate and their contents become increasin...