469 search results - page 37 / 94 » Putting curry-howard to work |
CN
2011
12 years 11 months ago
2011
Standard slow start does not work well under large bandwidthdelay product (BDP) networks. We find two causes of this problem in existing three popular operating systems, Linux, F...
HICSS
2003
IEEE
14 years 27 days ago
2003
IEEE
Increasing health care costs put a great strain on national economies. In recent years there have been several national and regional research and development projects in Finland a...
ICML
2004
IEEE
14 years 8 months ago
2004
IEEE
We propose a simple, novel and yet effective method for building and testing decision trees that minimizes the sum of the misclassification and test costs. More specifically, we f...
PDP
2010
IEEE
14 years 2 months ago
2010
IEEE
Abstract—This paper proposes a strategy to organize metricspace query processing in multi-core search nodes as understood in the context of search engines running on clusters of ...
CHI
2010
ACM
14 years 2 months ago
2010
ACM
Recent work in muscle sensing has demonstrated the potential of human-computer interfaces based on finger gestures sensed from electrodes on the upper forearm. While this approach...