Visible to the public Biblio

Filters: First Letter Of Title is L  [Clear All Filters]
Conference Paper
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.
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.
Osama Ennasr, Xiaobo Tan.  2015.  Leader-follower tracking for a network of gliding robotic fish using dynamic feedback linearization. Proceedings of the 54th IEEE Conference on Decision and Control. :227-233.
Zhang, Xiaobin, Wu, Bo, Lin, Hai.  2015.  Learning based supervisor synthesis of pomdp for pctl specifications. Decision and Control (CDC), 2015 IEEE 54th Annual Conference on. :7470–7475.
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
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.
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.
Weicong Ding, Prakash Ishwar, Venkatesh Saligrama.  2015.  Learning shared rankings from mixtures of noisy pairwise comparisons. 2015 {IEEE} International Conference on Acoustics, Speech and Signal Processing, {ICASSP} 2015, South Brisbane, Queensland, Australia, April 19-24, 2015. :5446–5450.
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.

Namaki, M, Chowdhury, F, Islam, M, Doppa, J, Wu, Y.  2017.  Learning to Speed Up Query Planning in Graph Databases. International Conference on Automated Planning and Scheduling.
Yang, Shan, Liang, Junbang, Lin, Ming C..  2017.  Learning-Based Cloth Material Recovery From Video. The IEEE International Conference on Computer Vision (ICCV).
Dai, Jin, Lin, Hai.  2015.  Learning-based design of fault-tolerant cooperative multi-agent systems. American Control Conference (ACC), 2015. :1929–1934.
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.
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.