11063 search results - page 321 / 2213 » On the existence of universal models |
161
click to vote
FOCS
2005
IEEE
16 years 11 days 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...
209
click to vote
TLDI
2005
ACM
16 years 9 days ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
180
click to vote
DIGRA
2005
Springer
16 years 9 days ago
2005
Springer
This paper details a research methodology that emerged during an inquiry into game design aimed at promoting conceptual learning in physics. The methodology, Research as DesignDes...
178
click to vote
EUROCRYPT
2005
Springer
16 years 9 days ago
2005
Springer
A (1,2)-robust combiner for a cryptographic primitive P is a construction that takes two candidate schemes for P and combines them into one scheme that securely implement P even i...
163
click to vote
SSS
2005
Springer
16 years 7 days ago
2005
Springer
This paper considers the self-stabilizing unison problem. The contribution of this paper is threefold. First, we establish that when any self-stabilizing asynchronous unison protoc...