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

HD Photo: a new image coding technology for digital photography

Sridhar Srinivasan, Chengjie Tu, Shankar Regunathan, Gary J. Sullivan

Proceedings of SPIE Applications of Digital Image Processing XXX | September 2007, Vol 6696: pp. 101-119

Publication

Accelerated Parallel Texture Optimization

Hao-Da Huang, Xin Tong, Wen-Cheng Wang

Journal of Computer Science and Technology | September 2007, Vol 22: pp. 761-769

Publication

Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus

Andrew Phillips, Luca Cardelli

Computational Methods in Systems Biology | September 2007, Vol 4695: pp. 184-199

Publication

Learning with Hypergraphs: Clustering, Classification, and Embedding

Denny Zhou, Jiayuan Huang, Bernhard Schölkopf

Advances in Neural Information Processing Systems 19: Proceedings of the 2006 Conference | September 2007

Publication

Abortable Consensus and Its Application to Probabilistic Atomic Broadcast

MSR-TR-2006-135 | September 2007

URCS Technical Report 648

Publication

P2P Rating

Danny Bickson, Dahlia Malkhi, Lidong Zhou

7th IEEE International Conference on Peer-to-Peer Computing | September 2007

Publication

Spatial Scalability Within the H.264/AVC Scalable Video Coding Extension

C.A. Segall, Gary J. Sullivan

IEEE Transactions on Circuits and Systems for Video Technology | August 2007, Vol 17(9): pp. 1121-1135

Publication

Introduction to the Special Issue on Scalable Video Coding—Standardization and Beyond

Thomas Wiegand, Gary J. Sullivan, Jens-Rainer Ohm, Ajay K. Luthra

IEEE Transactions on Circuits and Systems for Video Technology | August 2007, Vol 17(9): pp. 1099-1102

Publication

Geometry of Multi-layer Freeform Structures for Architecture

Helmut Pottmann, Yang Liu, Johannes Wallner, Alexander Bobenko, Wenping Wang

ACM Transactions on Graphics(SIGGRAPH) | August 2007

Project

The Yogi Project

Yogi is a research project within the Rigorous Software Engineering group at Microsoft Research India on software property checking. Our goal is to build a scalable software property checker by systematically combining static analysis with…