1047 search results - page 154 / 210 » Searching Without a Heuristic: Efficient Use of Abstraction |
IPPS
2000
IEEE
14 years 14 days ago
2000
IEEE
The development of communications services for distributed applications that are both well-structured (layered) and efficient can be difficult. This paper presents a C++ framework...
FC
2009
Springer
13 years 12 months ago
2009
Springer
Abstract. This paper introduces certified sets to the private set intersection problem. A private set intersection protocol allows Alice and Bob to jointly compute the set intersec...
POPL
1997
ACM
13 years 11 months ago
1997
ACM
Java offers the real possibility that most programs can be written in a type-safe language. However, for Java to be broadly useful, it needs additional expressive power. This pape...
CISST
2004
13 years 9 months ago
2004
Abstract Compressed domain image retrieval is going to play an increasingly important role in the future. It allows the calculation of image features and hence content-based image ...
FTP
1998
Springer
14 years 9 days ago
1998
Springer
Abstract. We describe two methods on the basis of which efficient resolution decision procedures can be developed for a range of description logics. The first method uses an orderi...