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

Algorithms

Developing efficient algorithms that power faster, smarter, and more reliable computing across diverse applications.

当前选择

排序方式: 最新

论文与出版物

Complexity and algorithms for monomial and clausal predicate abstraction

Shuvendu Lahiri, Shaz Qadeer

International Conference on Automated Deduction (CADE ’09) | March 2009

论文与出版物

Individual Sequence Prediction using Memory-Efficient Context Trees

Ofer Dekel, Shai Shalev-Shwartz, Yoram Singer

IEEE Transactions on Information Theory | March 2009

论文与出版物

Vertical Paxos and Primary-Backup Replication

Leslie Lamport, Dahlia Malkhi, Lidong Zhou

The ACM Symposium on Principles of Distributed Computing (PODC 2009) | February 2009

论文与出版物

New Decoding Algorithms for a Class of Subsystem Codes and Generalized Shor Codes

Pradeep K. Sarvepalli, Martin Roetteler, Andreas Klappenecker

Proceedings IEEE International Symposium on Information Theory (ISIT’09) | February 2009

论文与出版物

Limits of randomly grown graph sequences

Christian Borgs, Jennifer Chayes, Laszlo Lovasz, Vera T. Sos, Katalin Vesztergombi

February 2009

论文与出版物

Less is More: Sampling the Neighborhood Graph Makes SALSA Better and Faster

Marc Najork, Sreenivas Gollapudi, Rina Panigrahy

2nd ACM International Conference on Web Search and Data Mining (WSDM) | February 2009

论文与出版物

Diversifying Search Results

Rakesh Agrawal, Sreenivas Gollapudi, Alan Halverson, Samuel Ieong

International Conference on Web Search and Data Mining (WSDM) | February 2009

论文与出版物

A 201.4GOPS 496mW Real-Time Multi-Object Recognition Processor with Bio-Inspired Neural Perception Engine

Joo-Young Kim, Minsu Kim, Seungjin Lee, Jinwook Oh, Kwanho Kim, Sejong Oh, Jeong-Ho Woo, Hoi-Jun Yoo, Donghyun Kim

International Solid-State Circuits Conference (ISSCC) | February 2009

论文与出版物

Character recognition in natural images

T. E. de Campos, B. R. Babu, M. Varma, Manik Varma

Proceedings of the International Conference on Computer Vision Theory and Applications, Lisbon, Portugal | February 2009

视频

Iterative Methods in Combinatorial Optimization

2009年1月29日 | Mohit Singh

In this talk we will demonstrate iterative methods as a general technique to analyze linear programming formulations of combinatorial optimization problems. We first show an application of the method to the Minimum Bounded Degree Spanning…

a man smiling for the camera

你的隐私选择