2316 search results - page 431 / 464 » The many forms of hypercomputation |
163
click to vote
CONEXT
2009
ACM
15 years 5 months ago
2009
ACM
: We study mobile P2P content dissemination schemes which leverage the local dedicated caches provided by hand-held devices (e.g., smart-phones, PDAs) and opportunistic contacts be...
141
click to vote
DEBS
2009
ACM
15 years 5 months ago
2009
ACM
Recently, decentralized publish-subscribe (pub-sub) systems have gained popularity as a scalable asynchronous messaging paradigm over wide-area networks. Most existing pub-sub sys...
147
click to vote
HPDC
2010
IEEE
15 years 5 months ago
2010
IEEE
Sequence comparison is considered as a cornerstone application in bioinformatics, which forms the basis of many other applications. In particular, pairwise sequence alignment is a...
147
click to vote
HASKELL
2008
ACM
15 years 5 months ago
2008
ACM
We present Haskell libraries that statically ensure the safe use of resources such as file handles. We statically prevent accessing an already closed handle or forgetting to clos...
134
click to vote
CVPR
2010
IEEE
15 years 4 months ago
2010
IEEE
Object detection remains an important but challenging task in computer vision. We present a method that combines high accuracy with high efficiency. We adopt simplified forms of...