1413 search results - page 115 / 283 » Bisimilarity of Open Terms |
168
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: The Salivaomics Knowledge Base (SKB) is designed to serve as a computational infrastructure that can permit global exploration and utilization of data and information ...
201
click to vote
SIGMOD
2010
ACM
15 years 5 months ago
2010
ACM
Tuning tools attempt to configure a database to achieve optimal performance for a given workload. Selecting an optimal set of physical structures is computationally hard since it ...
165
click to vote
MOBISYS
2011
ACM
14 years 9 months ago
2011
ACM
Modern smartphone operating systems support the development of third-party applications with open system APIs. In addition to an open API, the Android operating system also provid...
220
click to vote
KDD
2007
ACM
16 years 7 months ago
2007
ACM
A wide variety of machine learning problems can be described as minimizing a regularized risk functional, with different algorithms using different notions of risk and different r...
290
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
Reuse distance (i.e. LRU stack distance) precisely characterizes program locality and has been a basic tool for memory system research since the 1970s. However, the high cost of m...