16430 search results - page 3060 / 3286 » On Computable Tree Functions |
STACS
2010
Springer
14 years 3 months ago
2010
Springer
Let (V, δ) be a finite metric space, where V is a set of n points and δ is a distance function defined for these points. Assume that (V, δ) has a constant doubling dimension d...
RECOMB
2010
Springer
14 years 3 months ago
2010
Springer
Background: The empirical frequencies of DNA k-mers in whole genome sequences provide an interesting perspective on genomic complexity, and the availability of large segments of g...
CHI
2010
ACM
14 years 3 months ago
2010
ACM
In designing for engagement at a public multi-touch installation, we identified supporting multiple users and allowing for gradual discovery as challenges. In this paper, we prese...
SAC
2010
ACM
14 years 3 months ago
2010
ACM
Link-translating proxies are widely used for anonymous browsing, policy circumvention and WebVPN functions. These are implemented by encoding the destination URL in the path of th...
LCTRTS
2010
Springer
14 years 3 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...