Algorithms - Microsoft Research

Publication

Implicit Image Models in Fractal Image Compression

Geoffrey M. Davis

January 2000

Publication

Randomized Greedy Hot-Potato Routing

Costas Busch, Maurice Herlihy, Roger Wattenhofer

January 2000

Publication

A General Theory of Lee-Yang Zeros in Models with First-Order Phase Transitions

M. Biskup, Christian Borgs, Jennifer Chayes, L.J. Kleinwaks, R. Kotecku

MSR-TR-2000-35 | January 2000

Publication

Monads, Effects and Transformations

Nick Benton, Andrew Kennedy

Electronic Notes in Theoretical Computer Science, Third International Workshop on Higher Order Operational Techniques in Semantics (HOOTS) | January 2000

Publication

On the Undecidability of Second-Order Unification

Jordi Levy, Margus Veanes

Information and Computation | January 2000, Vol 159: pp. 125-150

Publication

Breadth and Depth of Semantic Lexicons

Evelyne Viegas

Breadth and Depth of Semantic Lexicons

Published by Springer Netherlands | January 2000, Vol 10

ISBN: 978-90-481-5347-3

Publication

Gibbs States of Graphical Representations of the Potts Model with External Fields

M. Biskup, Christian Borgs, Jennifer Chayes, R. Kotecky

Journal of Mathematical Physics | January 2000

Publication

On the Verification of Memory Models of Shared-Memory Multiprocessors

Shaz Qadeer

January 2000

Workshop on Shared-Memory Protocol Verification (MPV 2000).

Publication

Functional Images

Conal Elliott

January 2000

Publication

Human Interface Systems Using Intentional and Unintentional Behaviors

Tomoyuki Ishiyama, Yoshiaki Shirai, Yoshihisa Adachi, Yoshinori Kuno

January 2000