8009 search results - page 1371 / 1602 » cans 2005 |
167
Voted
SMI
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper considers computation of visibility for twodimensional shapes whose boundaries are C1 continuous curves. We assume we are given a one-parameter family of candidate view...
212
click to vote
SP
2005
IEEE
16 years 8 days ago
2005
IEEE
In this paper, we propose BIND (Binding Instructions aNd Data),1 a fine-grained attestation service for securing distributed systems. Code attestation has recently received consi...
171
click to vote
SSDBM
2005
IEEE
16 years 8 days ago
2005
IEEE
The tools used to analyze scientific data are often distinct from those used to archive, retrieve, and query data. A scientific workflow environment, however, allows one to seamles...
171
click to vote
SSDBM
2005
IEEE
16 years 8 days ago
2005
IEEE
Several studies have demonstrated the effectiveness of Haar wavelets in reducing large amounts of data down to compact wavelet synopses that can be used to obtain fast, accurate a...
190
click to vote
TPHOL
2005
IEEE
16 years 8 days ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...