Skip to main content

Search

Reset

Add filters:

Use filters to refine the search results.


Item hits:
Publication DateArticle TitleAuthor(s)
2019Abstraction and Subsumption in Modular Verification of C ProgramsBeringer, Lennart; Appel, Andrew W
2013Information Lower Bounds via Self-reducibilityBraverman, Mark; Garg, Ankit; Pankratov, Denis; Weinstein, Omri
2015Label optimal regret bounds for online local learningAwasthi, Pranjal; Charikar, Moses S; Lai, Kevin A; Risteski, Andrej
2012Towards deterministic tree code constructionsBraverman, Mark
Oct-2013Attribit: content creation with semantic attributesChaudhuri, Siddhartha; Kalogerakis, Evangelos; Giguere, Stephen; Funkhouser, Thomas
Aug-2017Intelligent Probing for Locality Sensitive Hashing: Multi-Probe LSH and BeyondLv, Qin; Josephson, William; Wang, Zhe; Charikar, Moses; Li, Kai
2019Learning A Strokeā€Based Representation for FontsBalashova, Elena; Bermano, Amit H; Kim, Vladimir G; DiVerdi, Stephen; Hertzmann, Aaron, et al
2015Learning Hierarchical Semantic Segmentations of LIDAR DataDohan, David; Matejek, Brian; Funkhouser, Thomas
2017Dilated Residual NetworksYu, Fisher; Koltun, Vladlen; Funkhouser, Thomas
2018Robotic Pick-and-Place of Novel Objects in Clutter with Multi-Affordance Grasping and Cross-Domain Image MatchingZeng, Andy; Song, Shuran; Yu, Kuan-Ting; Donlon, Elliott; Hogan, Francois R, et al