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

Automatic caption localization in compressed video

A.K Jain, Zhang Hongjiang, Zhong Yu

April 2000

Publication

Automatic Extraction of Moving objects Using Multiple Features and Multiple Frames

Li Jinhui Pan, Ya-Qin Zhang

April 2000

Group

Adaptive Systems and Interaction Group

The Adaptive Systems and Interaction team pursues the study and development of principles, applications, and tools for extending our understanding of principles of computational intelligence as well as developing and fielding trustworthy AI systems. Our…

Publication

H.263 (Including H.263+) and Other ITU-T Video Coding Standards

Tsuhan Chen, Gary Sullivan, Atul Puri

Multimedia Systems, Standards, and Networks | Published by CRC Press | 2000

Publication

Lower Bounds on Consensus

March 2000

Publication

When Does a Correct Mutual Exclusion Algorithm Guarantee Mutual Exclusion

Leslie Lamport, Sharon Perl, William Weihl

Information Processing Letters | March 2000, Vol 76(3): pp. 131-134

Publication

Fast Progressive Image Coding Without Wavelets

Henrique S. Malvar

Data Compression Conference | March 2000

Data Compression Conference

Publication

Marmot: An Optimizing Compiler for Java

Bob Fitzgerald, Todd B. Knoblock, Erik Ruf, Bjarne Steensgaard, David Tarditi

MSR-TR-99-33 | March 2000

Publication

Efficient Discovery of Error-Tolerant Frequent Itemsets in High Dimensions

Cheng Yang, Usama Fayyad, Paul S. Bradley

MSR-TR-2000-20 | February 2000

Publication

The Underlying Logic of Hoare Logic

Andreas Blass, Yuri Gurevich

Bulletin of the European Association for Theoretical Computer Science | February 2000