11345 search results - page 116 / 2269 » Foundations of Computer Science |
106
click to vote
ENTCS
2007
14 years 11 months ago
2007
syntax and explicit substitutions Brigitte Pientka1 School of Computer Science McGill University Montreal, Canada This paper sketches a foundation for programming with higher-orde...
ICPP
1989
IEEE
15 years 3 months ago
1989
IEEE
Efficient hypercube algorithms are developed for the following image transformations: shrinking, expanding, translation, rotation, and scaling. A 2k −step shrinking and expandi...
DIGITALCITIES
2003
Springer
15 years 4 months ago
2003
Springer
The fastest developing city in China is Shanghai; its annual growth
106
click to vote
BIRTHDAY
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. This chapter considers the different temporal constructs appeared in the literature of temporal conceptual models (timestamping and evolution constraints), and it provid...
FOCS
2005
IEEE
15 years 5 months ago
2005
IEEE
We consider the problem of embedding finite metrics with slack: we seek to produce embeddings with small dimension and distortion while allowing a (small) constant fraction of al...