Search
Add filters:
Use filters to refine the search results.
Item hits:
Publication Date | Article Title | Author(s) |
---|---|---|
2019 | Abstraction and Subsumption in Modular Verification of C Programs | Beringer, Lennart; Appel, Andrew W |
2013 | Information Lower Bounds via Self-reducibility | Braverman, Mark; Garg, Ankit; Pankratov, Denis; Weinstein, Omri |
2015 | Label optimal regret bounds for online local learning | Awasthi, Pranjal; Charikar, Moses S; Lai, Kevin A; Risteski, Andrej |
2012 | Towards deterministic tree code constructions | Braverman, Mark |
Oct-2013 | Attribit: content creation with semantic attributes | Chaudhuri, Siddhartha; Kalogerakis, Evangelos; Giguere, Stephen; Funkhouser, Thomas |
Aug-2017 | Intelligent Probing for Locality Sensitive Hashing: Multi-Probe LSH and Beyond | Lv, Qin; Josephson, William; Wang, Zhe; Charikar, Moses; Li, Kai |
2019 | Learning A StrokeāBased Representation for Fonts | Balashova, Elena; Bermano, Amit H; Kim, Vladimir G; DiVerdi, Stephen; Hertzmann, Aaron, et al |
2015 | Learning Hierarchical Semantic Segmentations of LIDAR Data | Dohan, David; Matejek, Brian; Funkhouser, Thomas |
2017 | Dilated Residual Networks | Yu, Fisher; Koltun, Vladlen; Funkhouser, Thomas |
2018 | Robotic Pick-and-Place of Novel Objects in Clutter with Multi-Affordance Grasping and Cross-Domain Image Matching | Zeng, Andy; Song, Shuran; Yu, Kuan-Ting; Donlon, Elliott; Hogan, Francois R, et al |