469 search results - page 81 / 94 » Putting curry-howard to work |
ICS
2007
Tsinghua U.
14 years 1 months ago
2007
Tsinghua U.
Overlapping communication with computation is an important optimization on current cluster architectures; its importance is likely to increase as the doubling of processing power ...
IWIC
2007
Springer
14 years 1 months ago
2007
Springer
The Internet has already connected people and established a mature online community. The use of WWW is also in the main stream of disseminating one’s information and services. In...
WAOA
2007
Springer
14 years 1 months ago
2007
Springer
We consider the following distributed optimization problem: three agents i = 1, 2, 3 are each presented with a load drawn independently from the same known prior distribution. Then...
ICDM
2006
IEEE
14 years 1 months ago
2006
IEEE
The rapid growth of blog (also known as “weblog”) data provides a rich resource for social community mining. In this paper, we put forward a novel research problem of mining t...
ISM
2006
IEEE
14 years 1 months ago
2006
IEEE
We propose a hydraulic user interface consisting of an array of spray jets and the appropriate fluid sensing and fluid flow control systems for each jet, so that the device fun...