Algorithms

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

当前选择

排序方式: 最新

清除选择

在这些结果中搜索

内容类型

人员

Wei Chen (143)

Leslie Lamport (137)

Qingwei Lin 林庆维 (128)

Christian Borgs (72)

Jennifer Chayes (66)

Sumit Gulwani (61)

Janardhan (Jana) Kulkarni (54)

Dongmei Zhang (52)

Brendan Lucier (48)

Margus Veanes (42)

Marco Molinaro (42)

Jianfeng Gao (40)

Aleksandrs Slivkins (39)

Manik Varma (36)

Nishanth Chandran (30)

Nicole Immorlica (29)

Eric Horvitz (28)

David Heckerman (27)

Sergey Yekhanin (26)

Neeraj Kayal (25)

Saravan Rajmohan (25)

Ishai Menache (23)

Ravishankar Krishnaswamy (22)

Thomas Moscibroda (20)

Bo Qiao (20)

Jakub Tarnawski (20)

Pu Zhao (20)

Dongsheng Li (20)

Sepideh Mahabadi (20)

John Snyder (19)

Nikolaj Bjørner (19)

Harsha Simhadri (19)

Sriram Rajamani (18)

Yang Liu (18)

Andrew D. Wilson (17)

Siddhartha Sen (17)

Sebastian Braun (17)

Si Qin (17)

Jennifer Wortman Vaughan (16)

Satya Lokam (16)

Baining Guo (15)

Stephen Lin (15)

Dimitra Emmanouilidou (15)

Aditya Nori (14)

Ivan Tashev (14)

John Langford (14)

Konstantina Mellou (13)

Henrique S. Malvar (12)

Neel Joshi (12)

Lester Mackey (12)

Minghua Ma (12)

Siwei Wang (12)

G. Ramalingam (11)

Luke Marshall (11)

Akshay Nambi (11)

Matheus R. F. Mendonça (11)

Christopher Bishop (10)

Ryen W. White (10)

Arturs Backurs (10)

Akshay Krishnamurthy (9)

Amit Deshpande (9)

Karin Strauss (9)

Lev Nachmanson (9)

Shuvendu Lahiri (9)

Yue Dong (9)

Ankit Garg (9)

Miro Dudík (8)

Suman Nath (8)

Surajit Chaudhuri (8)

Rick Szeliski (8)

Tolga Acar (8)

Hang Dong (8)

Yashoteja Prabhu (8)

Chetan Bansal (7)

Hannes Gamper (7)

Lidong Zhou (7)

Navin Goyal (7)

Ramachandran Ramjee (7)

Robert E. Schapire (7)

James Bono (7)

Yuqing Yang (7)

Andrey Kolobov (6)

Bozidar Radunovic (6)

Michel Galley (6)

Michael Freedman (6)

Markus Weimer (6)

Venkat Padmanabhan (6)

Ramarathnam Venkatesan (6)

Weizhu Chen (6)

Bichlien Nguyen (6)

Zinan Lin (6)

Chong Luo (5)

Dan Bohus (5)

Fan Yang (5)

Nicolo Fusi (5)

Jim Gray (5)

Jonathan Larson (5)

Matthew Hastings (5)

Peter Lee (5)

Ranveer Chandra (5)

Sumit Basu (5)

Xiaodong Liu (5)

Fanny Nina Paravecino (5)

Scott Freitas (5)

Caihua Shan (5)

Liqun Li (5)

Bela Bauer (4)

Burton Smith (4)

Carlo Curino (4)

Chris Quirk (4)

Chin-Yew Lin (4)

Emre Kiciman (4)

Cédric Fournet (4)

Harry Shum (4)

Nebojsa Jojic (4)

Katja Hofmann (4)

Kim Laine (4)

Nikhil Swamy (4)

Phil Bernstein (4)

Paul Mineiro (4)

Sanjeev Mehrotra (4)

Sebastian Burckhardt (4)

Tarleton Gillespie (4)

Tanuja Ganu (4)

Linjun Shou (寿林钧) (4)

Huseyin Inan (4)

Patricia Kovaleski (4)

Qianhui Wu (4)

Hugo Barbalho (4)

Jue Zhang (4)

Fangkai Yang (4)

Victor Reis (4)

Anson Bastos (4)

Alec Wolman (3)

Anton Schwaighofer (3)

Victor Bahl (3)

Josh Benaloh (3)

John Winn (3)

Manuel Costa (3)

Mark Encarnación (3)

Matthai Philipose (3)

Melissa Chase (3)

Nikunj Raghuvanshi (3)

Patrick Longa (3)

Sameh Elnikety (3)

Santiago Zanella-Béguelin (3)

Vivek Narasayya (3)

Yongguang Zhang (3)

Yuan-Jyue Chen (3)

Nagarajan Natarajan (3)

Sonu Mehta (3)

David Alvarez-Melis (3)

Urszula Chajewska (3)

Vu Le (3)

Hao Cheng (3)

Dylan Foster (3)

Jennifer Neville (3)

Mayukh Das (3)

A. Parayil (3)

Xinyang Jiang (3)

Xuchao Zhang (3)

Dongqi Han (3)

Pashmina Cameron (3)

Nicolas Bruno (3)

Andrew Blake (2)

A.J. Brush (2)

Abigail Sellen (2)

Butler Lampson (2)

Arnd Christian König (2)

Chris White (2)

Dr. Chetan Nayak (2)

David Rothschild (2)

Daniel G. Goldstein (2)

Ethan Jackson (2)

Furu Wei (2)

Galen Hunt (2)

E. Glen Weyl (2)

Manish Gupta (2)

Hsiao-Wuen Hon (2)

Íñigo Goiri (2)

Jinyu Li (2)

Rui Ding (2)

Kalika Bali (2)

Kate Crawford (2)

Lijuan Wang (2)

Markus Cozowicz (2)

Matthew J. Parkinson (2)

Markus Mobius (2)

Nathalie Henry Riche (2)

Peng Cheng (2)

Ran Gal (2)

Ricardo Bianchini (2)

Roman Lutchyn (2)

Shi Han (2)

Sarah Bird (2)

Thomas Karagiannis (2)

Yeye He (2)

Stavros Volos (2)

Solon Barocas (2)

Paul Smolensky (2)

Budhaditya Deb (2)

Robert Sim (2)

Young Jin Kim (2)

Vibhav Vineet (2)

Divya Gupta (2)

Neil Tenenholtz (2)

Robert Gmyr (2)

Li Dong (2)

P. Anandan (2)

Bamdev Mishra (2)

Kenichi Kumatani (2)

Yang Liu (2)

Matteo Interlandi (2)

Jordan Ash (2)

Raghu Ramakrishnan (2)

Esha Choukse (2)

Rodrigo Fonseca (2)

Ava P. Amini (2)

Jake Smith (2)

Deepesh Hada (2)

Srinivasan Iyengar (2)

Luna K. Qiu (2)

Harsha Nori (2)

Zhiyuan He (2)

Ha Trinh (2)

Gagan Somashekar (2)

Yifan Wu (2)

Jihoon Tack (2)

Sabyasachi Basu (2)

Adam Fourney (1)

Ajay Manchepalli (1)

Akash Lal (1)

Andrzej Pastusiak (1)

Andrew Putnam (1)

Austin Donnelly (1)

Aviv Hurvitz (1)

Badrish Chandramouli (1)

Bodhi Priyantha (1)

Jonathan M. Carlson (1)

Scott Counts (1)

Christian Paquin (1)

Daan Leijen (1)

Darren Edge (1)

Dan Ling (1)

Dan Shumow (1)

David Johnston (1)

Doug Burger (1)

Dushyanth Narayanan (1)

Haidong Zhang (1)

Jake Hofman (1)

Karen Easterbrook (1)

Kevin Kane (1)

Knut Magne Risvik (1)

Kori Inkpen (1)

Krishna Chintalapudi (1)

Kukjin Lee (1)

Lars Liden (1)

Lei Cui (1)

Lei Ji (1)

Manoj Syamala (1)

Marcus Peinado (1)

Nick Craswell (1)

Nikos Karampatziakis (1)

Nicolas Villar (1)

Peter Bodík (1)

Piali Choudhury (1)

Rick Rashid (1)

Roy Levin (1)

Andrey Rybalchenko (1)

Ryota Tomioka (1)

Sasa Junuzovic (1)

Sean Rintel (1)

Spencer Fowers (1)

Srinath Setty (1)

Siddharth Suri (1)

Tony Hoare (1)

Vassily Lyutsarev (1)

Hanna Wallach (1)

William Blum (1)

Xun Guo (1)

Yanjie Gao (1)

Yan Lu (1)

Daniel Firestone (1)

Aseem Rastogi (1)

Yaobo Liang (1)

Avrilia Floratou (1)

Jiaolong Yang (1)

Li Zhao (1)

Fangzhao Wu (1)

Nathan Evans (1)

Mihaela Vorvoreanu (1)

Pat Sweeney (1)

Hui Xue (1)

Haoyu Dong (1)

Sunayana Sitaram (1)

Sitaram Lanka (1)

Karthik Ramachandra (1)

Sonia Jaffe (1)

Scarlett Li (1)

Michael Schwarz (1)

Tobias Schnabel (1)

Hamed Khanpour (1)

Ivan Sadovskyy (1)

Swadheen Shukla (1)

Eleanor Dillon (1)

Jianxun Lian (1)

Wei Cui (1)

Ran Gilad-Bachrach (1)

Shruti Tople (1)

Kevin Kaichuang Yang (1)

Mike Walker (1)

Yeyun Gong (1)

Widad Machmouchi (1)

Xenofon Foukas (1)

Arjun Radhakrishna (1)

Brian Caswell (1)

Rathijit Sen (1)

Mengting Wan (1)

Juan M. Lavista Ferres (1)

Shaohan Huang (1)

Abhisek Pan (1)

Madeleine Daepp (1)

Friederike Niedtner (1)

Ashley J. Llorens (1)

Ashvin Agrawal (1)

Camille Couturier (1)

Kunho Kim (1)

Stojan Trajanovski (1)

Andrea Tupini (1)

Tengchao Lv (1)

Prof. Darren Cosker (1)

Millicent Ochieng (1)

Robin Abraham (1)

Jayashree Mohan (1)

Victor Ruehle (1)

Alex Lu (1)

Chang Xu (1)

Xianliang Yang (1)

Chenglong Wang (1)

Jeevana Priya Inala (1)

Yansen Wang (1)

Rogerio Bonatti (1)

Yangyu Huang (1)

Yifan Yang (1)

Harkirat Behl (1)

Jiahang Xu (1)

Yuge Zhang (1)

Xiao Liu (1)

Bonnie Kruft (1)

Menglin Xia (1)

Zelalem Gero (1)

Frank Noé (1)

Whitney Hudson (1)

Rujia Wang (1)

Asma Ben Abacha (1)

Gabriel Ebner (1)

Sarah Smith (1)

Weijia Xu (1)

Chaojie Zhang (1)

Fiodar Kazhamiaka (1)

Ade Famoti (1)

Xiaoting Qin (1)

Siddarth Asokan (1)

Sampath Rajendra (1)

Soheil Abbasloo (1)

Lev Tankelevitch (1)

Tianyu Ding (1)

Chen Liang (1)

Vivan Amin (1)

Sarah Alamdari (1)

Matthew Vogel (1)

Darya Moldavskaya (1)

Kiran Tomlinson (1)

Philippe Laban (1)

Baolin Peng (1)

Lingjiao Chen (1)

Sirui Li (1)

Fazle Faisal (1)

Fatemeh Saleh (1)

Pooria Namyar (1)

Zhengyuan Yang (1)

Lu Wang (1)

Yuchen Zeng (1)

Shivam Garg (1)

Payod Panda (1)

Pedro BPS Reis (1)

Gaia Molinaro (1)

Taiwei Shi (1)

Rock Yuren Pang (1)

发布日期

论文与出版物

On compressible pairings and their computation

Michael Naehrig, Paulo S. L. M. Barreto, Peter Schwabe

Progress in Cryptology – AFRICACRYPT 2008 | January 2008

Progress in Cryptology – AFRICACRYPT 2008

项目

论文与出版物

The Role of Abduction in Declarative Authorization Policies

Mo Becker

10th International Symposium on Practical Aspects of Declarative Languages (PADL) | January 2008

10th International Symposium on Practical Aspects of Declarative Languages (PADL)

论文与出版物

Proofs from Tests

Nels Beckman, Aditya Nori, Sriram Rajamani, Robert Simmons

MSR-TR-2008-17 | January 2008

论文与出版物

Bayesian Coalitional Games

Samuel Ieong, Yoav Shoham

Proceedings of National Conference on Artificial Intelligence (AAAI) | January 2008

论文与出版物

Rapidly Deploying Grammar-Based Speech Applications with Active Learning and Back-off Grammars

Tim Paek, Sudeep Gandhe, Max Chickering

In Proceedings of the 9th SIGDIAL Workshop on Discourse and Dialogue | January 2008

论文与出版物

Universally Composable Multi-party Computation with an Unreliable Common Reference String

Vipul Goyal, Jonathan Katz

Theory of Cryptography. TCC 2008. Lecture Notes in Computer Science | January 2008

论文与出版物

Evaluation Measures for Preference Judgments

Ben Carterette, Paul Bennett

Poster-Paper in Proceedings of the 31st Annual International ACM SIGIR Conference on Research and Development in Information Retrieval | January 2008

Poster-Paper in Proceedings of the 31st Annual International ACM SIGIR Conference on Research and Development in Information Retrieval

论文与出版物

Ranking Abstractions

Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang

Programming Languages and Systems. ESOP 2008. Lecture Notes in Computer Science. | January 2008

论文与出版物

Constraint-Based Approach for Analysis of Hybrid Systems

Sumit Gulwani, Ashish Tiwari

Computer Aided Verification (CAV) | January 2008

项目

论文与出版物

On the Stability of Web Crawling and Web Search

Reid Anderson, Christian Borgs, Jennifer Chayes, John Hopcroft, Vahab Mirrokni, Shang-Hua Teng

ISAAC ’08: Proceedings of the 19th International Symposium on Algorithms and Computation | January 2008

ISAAC '08: Proceedings of the 19th International Symposium on Algorithms and Computation

ISBN: 978-3-540-92181-3