Visible to the public Biblio

Filters: First Letter Of Title is L  [Clear All Filters]
A B C D E F G H I J K [L] M N O P Q R S T U V W X Y Z   [Show ALL]
A
A. Pourhabib, R. Tuo, S. He, Y. Ding,, J.Z. Huang.  2017.  Local calibration of computer experiments. Journal of the American Statistical Association. revised and re-submitted
Abhinav Ganesan, Sidharth Jaggi, Venkatesh Saligrama.  2015.  Learning immune-defectives graph through group tests. {IEEE} International Symposium on Information Theory, {ISIT} 2015, Hong Kong, China, June 14-19, 2015. :66–70.
Abhinav Ganesan, Sidharth Jaggi, Venkatesh Saligrama.  2017.  Learning Immune-Defectives Graph Through Group Tests. {IEEE} Trans. Information Theory. 63:3010–3028.
Antonio Iannopollo, Pierluigi Nuzzo, Stavros Tripakis, Alberto L. Sangiovanni{-}Vincentelli.  2014.  Library-based scalable refinement checking for contract-based design. Design, Automation {&} Test in Europe Conference {&} Exhibition, {DATE} 2014, Dresden, Germany, March 24-28, 2014. :1–6.
B
B. Kim, H. I. Hwang, T. Park, S. H. Son, I. Lee.  2014.  A layered approach for testing timing in the model-based implementation. 2014 Design, Automation Test in Europe Conference Exhibition (DATE). :1-4.
C
D
G
Georgios Giantamidis, Stavros Tripakis.  2016.  Learning Moore Machines from Input-Output Traces. {FM} 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. :291–309.
Giraldo, Jairo, Cardenas, Alvaro, Kantarcioglu, Murat.  2017.  Leveraging Unique CPS Properties to Design Better Privacy-Enhancing Algorithms. Proceedings of the Hot Topics in Science of Security: Symposium and Bootcamp. :1–12.
H
J
J. Zhao, C. K. Chang, L. Itti.  2017.  Learning to Recognize Objects by Retaining other Factors of Variation. Proceedings of the IEEE Winter Conference on Applications of Computer Vision (WACV), Santa Rosa, CA. :1-9.

Most ConvNets formulate object recognition from natural images as a single task classification problem, and attempt to learn features useful for object categories, but invariant to other factors of variation such as pose and illumination. They do not explicitly learn these other factors; instead, they usually discard them by pooling and normalization. Here, we take the opposite approach: we train ConvNets for object recognition by retaining other factors (pose in our case) and learning them jointly with object category. We design a new multi-task leaning (MTL) ConvNet, named disentangling CNN (disCNN), which explicitly enforces the disentangled representations of object identity and pose, and is trained to predict object categories and pose transformations. disCNN achieves significantly better object recognition accuracies than the baseline CNN trained solely to predict object categories on the iLab-20M dataset, a large-scale turntable dataset with detailed pose and lighting information. We further show that the pretrained features on iLab-20M generalize to both Washington RGB-D and ImageNet datasets, and the pretrained disCNN features are significantly better than the pretrained baseline CNN features for fine-tuning on ImageNet.

Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul L. Jones, Scott A. Smolka, Radu Grosu.  2017.  Lagrangian Reachabililty. Computer Aided Verification - 29th International Conference, {CAV} 2017 Proceedings, Part {I}. :379–400.
Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul Jones, Scott A. Smolka, Radu Grosu.  2017.  Lagrangian Reachability. International Conference on Computer Aided Verification (CAV 2017). :379–400.
Jonathan Root, Jing Qian, Venkatesh Saligrama.  2015.  Learning Efficient Anomaly Detectors from K-NN Graphs. Proceedings of the Eighteenth International Conference on Artificial Intelligence and Statistics, {AISTATS} 2015, San Diego, California, USA, May 9-12, 2015. 38
Joseph Wang, Kirill Trapeznikov, Venkatesh Saligrama.  2014.  An LP for Sequential Learning Under Budgets. Proceedings of the Seventeenth International Conference on Artificial Intelligence and Statistics, {AISTATS} 2014, Reykjavik, Iceland, April 22-25, 2014. 33:987–995.