116 search results - page 7 / 24 » Deduction Systems for Coalgebras Over Measurable Spaces |
QI
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. It is argued that the vector space measures used to measure closeness of market prices to predictors for market prices are invalid because of the observed metric of commo...
IMC
2003
ACM
14 years 29 days ago
2003
ACM
Available bandwidth estimation is useful for route selection in overlay networks, QoS verification, and traffic engineering. Recent years have seen a surge in interest in availab...
SOSP
2005
ACM
14 years 4 months ago
2005
ACM
Disk performance is increasingly limited by its head positioning latencies, i.e., seek time and rotational delay. To reduce the head positioning latencies, we propose a novel tech...
ACMDIS
2010
ACM
13 years 8 months ago
2010
ACM
Recent convergence between low-cost technology, artform and political discourse presents a new design space for enabling public participation and expression. We explore non-expert...
MIR
2005
ACM
14 years 1 months ago
2005
ACM
Web image search has been explored and developed in academic as well as commercial areas for over a decade. To measure the similarity between Web images and user queries, most of ...