illustration of intersecting lines with various shapes at the connecting points signifying algorithms on a green gradient background

Algorithms

Current selections

Sort by: Most recent

Clear selections

Publication

Contextual Simulations for Information Retrieval Evaluation

Information Retrieval in Context Workshop (IRiX 2005, part of SGIR 2005), Salvador, Brazil | August 2003

Publication

Verifying sequential consistency on shared-memory multiprocessors by model checking

Shaz Qadeer

IEEE Transactions on Parallel and Distributed Systems | August 2003

Publication

Adaptive Duplicate Detection Using Learnable String Similarity Measures

Misha Bilenko, Raymond J. Mooney

Proceedings of the Ninth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining(KDD-2003) | August 2003

Publication

Adaptive Document Layout via Manifold Content

Chuck Jacobs, Wilmot Li, David Salesin

August 2003

Publication

Adding the EPSG:4326 Geographic Longitude-Latitude Projection to TerraServer

Siddharth Jain, Tom Barclay

MSR-TR-2003-56 | August 2003

Publication

The Future of Computing: Logic or Biology

July 2003

Publication

Thread-modular abstraction refinement

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer

Proceedings of the International Conference on Computer-Aided Verification | July 2003

Video

Bi-Scale Radiance Transfer

July 1, 2003 | John Snyder

Radiance transfer represents how generic source lighting is shadowed and scattered by an object to produce view-dependent appearance. We generalize by rendering transfer at two scales. A macro-scale is coarsely sampled over an object’s surface,…

Publication

GWINDOWS: Towards Robust Perception-Based UI

Andrew D. Wilson, Nuria Oliver

Computer Vision and Pattern Recognition Workshop, 2003. CVPRW ’03. Conference on | July 2003

Publication

Bi-Scale Radiance Transfer

Peter-Pike Sloan , Xinguo Liu , Heung-Yeung Shum , John Snyder

ACM SIGGRAPH | July 2003