Visible to the public Biblio

Filters: First Letter Of Last Name is K  [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]
K
Kurup, Prakash, Liu, Kaikai.  2016.  Telepresence Robot with Autonomous Navigation and Virtual Reality: Demo Abstract. Proceedings of the 14th ACM Conference on Embedded Network Sensor Systems CD-ROM. :316–317.
Kunihisa Okano, Masashi Wakaiki, João Pedro Hespanha.  2015.  Real-time Control under Clock Offsets between Sensors and Controllers. Proc. of the 18th Int. Conf. on Hybrid Systems: Computation and Control (HSCC 2015)" month = "Apr..
Krishna K. Venkatasubramanian, Eugene Y. Vasserman, Oleg Sokolsky, Insup Lee.  2014.  Functional Alarms for Systems of Interoperable Medical Devices. 15th International {IEEE} Symposium on High-Assurance Systems Engineering ({HASE} 2014). :247–248.
Krishna K. Venkatasubramanian, Eugene Y. Vasserman, Vasiliki Sfyrla, Oleg Sokolsky, Insup Lee.  2015.  Requirement Engineering for Functional Alarm System for Interoperable Medical Devices. 34th International Conference on Computer Safety, Reliability, and Security, {SAFECOMP} 2015. :252–266.
Kohl, Benjamin A., Chen, Sanjian, Mullen-Fortino, Margaret, Lee, Insup.  2013.  Evaluation and Enhancement of an Intraoperative Insulin Infusion Protocol via In-Silico Simulation. Proceedings of the 2013 IEEE International Conference on Healthcare Informatics (ICHI '13). :307–316.
Kirill Trapeznikov, Venkatesh Saligrama, David A. Castañón.  2011.  Active Boosted Learning (ActBoost). Proceedings of the Fourteenth International Conference on Artificial Intelligence and Statistics, {AISTATS} 2011, Fort Lauderdale, USA, April 11-13, 2011. 15:743–751.
Kirill Trapeznikov, Venkatesh Saligrama.  2013.  Supervised Sequential Classification Under Budget Constraints. Proceedings of the Sixteenth International Conference on Artificial Intelligence and Statistics, {AISTATS} 2013, Scottsdale, AZ, USA, April 29 - May 1, 2013. 31:581–589.
Kirill Trapeznikov, Venkatesh Saligrama, David A. Castañón.  2012.  Two stage decision system. {IEEE} Statistical Signal Processing Workshop, {SSP} 2012, Ann Arbor, MI, USA, August 5-8, 2012. :920–923.
Kirill Trapeznikov, Venkatesh Saligrama, David A. Castañón.  2012.  Multi-Stage Classifier Design. Proceedings of the 4th Asian Conference on Machine Learning, {ACML} 2012, Singapore, Singapore, November 4-6, 2012. 25:459–474.
King, Andrew L, Feng, Lu, Sokolsky, Oleg, Lee, Insup.  2013.  A modal specification approach for on-demand medical systems. Foundations of Health Information Engineering and Systems. :199–216.
King, Andrew, Fortino, Kelsea, Stevens, Nicholas, Shah, Sachin, Fortino-Mullen, Margaret, Lee, Insup.  2012.  Evaluation of a smart alarm for intensive care using clinical data. 34$^{th}$ Annual International Conference of the IEEE Engineering in Medicine and Biology Society.. :166–169.
Kim, Eric S., Arcak, Murat, Seshia, Sanjit A..  2017.  A Small Gain Theorem for Parametric Assume-Guarantee Contracts. Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control. :207–216.
Kim, E., Wu, C.-J., Horowitz, R., Arcak, M..  2017.  Offset optimization of signalized intersections via the Burer-Monteiro method. Proceedings of the 2017 American Control Conference. :3554-3559.
Kim, E., Arcak, M., Seshia, S..  2015.  Compositional controller synthesis for vehicular traffic networks. Proceedings of the 54th IEEE Conference on Decision and Control. :6165-6171.
Kim, E., Arcak, M., Seshia, S..  2016.  Directed specifications and assumption mining for monotone dynamical systems. 19th ACM International Conference on Hybrid Systems: Computation and Control. :21-30.
Khezerlou, Amin Vahedian, Zhou, Xun, Tong, Ling, Li, Yanhua, Luo, Jun.  2017.  Forecasting Gathering Events through Continuous Destination Prediction on Big Trajectory Data. 24th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (SIGSPATIAL 2017). :1–10.
Khalilikhah, Majid, Heaslip, Kevin, Hancock, Kathleen.  2016.  Traffic sign vandalism and demographics of local population: A case study in Utah. Journal of Traffic and Transportation Engineering (English Edition). 3:192–202.
Khalilikhah, Majid, Heaslip, Kevin.  2016.  Analysis of factors temporarily impacting traffic sign readability. International journal of transportation science and technology. 5:60–67.