143 search results - page 17 / 29 » Language-Based Information Erasure |
POPL
2001
ACM
14 years 9 months ago
2001
ACM
We present a type system for a language based on F, which allows certain type annotations to be elided in actual programs. Local type inference determines types by a combination o...
CLEF
2003
Springer
14 years 1 months ago
2003
Springer
The current expansion in collections of natural language based digital documents in various media and languages is creating challenging opportunities for automatically accessing t...
INFOCOM
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— This paper investigates the dissemination of multiple pieces of information in large networks where users contact each other in a random uncoordinated manner, and users...
IPPS
2006
IEEE
14 years 2 months ago
2006
IEEE
As the desire of scientists to perform ever larger computations drives the size of today’s high performance computers from hundreds, to thousands, and even tens of thousands of ...
MM
2006
ACM
14 years 2 months ago
2006
ACM
In both academia and industry, peer-to-peer (P2P) applications have attracted great attention. Peer-to-peer file sharing applications, such as Napster, Gnutella, Kazaa, BitTorrent...