Visible to the public Biblio

Filters: First Letter Of Last Name is V  [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]
Viorel Preoteasa, Stavros Tripakis.  2014.  Refinement calculus of reactive systems. 2014 International Conference on Embedded Software, {EMSOFT} 2014, New Delhi, India, October 12-17, 2014. :2:1–2:10.
Viorel Preoteasa, Stavros Tripakis.  2016.  Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems. Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} '16, New York, NY, USA, July 5-8, 2016. :768–777.
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis.  2017.  Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. Formal Techniques for Distributed Objects, Components, and Systems - 37th {IFIP} {WG} 6.1 International Conference, {FORTE} 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Sw. :194–209.
Vincenzo Matta, Cédric Richard, Venkatesh Saligrama, Ali H. Sayed.  2016.  Guest Editorial Inference and Learning over Networks. {IEEE} Trans. Signal and Information Processing over Networks. 2:423–425.
Vigil-Hayes, Morgan, Belding, Elizabeth, Zegura, Ellen.  2017.  FiDO: A Community-based Web Browsing Agent and CDN for Challenged Network Environments. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol.. 1:108:1–108:25.
Venkatesh Saligrama, David A. Castañón.  2006.  Reliable Tracking With Intermittent Communications. 2006 {IEEE} International Conference on Acoustics Speech and Signal Processing, {ICASSP} 2006, Toulouse, France, May 14-19, 2006. :1141–1144.
Venkatesh Saligrama, David Starobinski.  2006.  On the macroscopic effects of local interactions in multi-hop wireless networks. 4th International Symposium on Modeling and Optimization in Mobile, Ad-Hoc and Wireless Networks (WiOpt 2006), 3-6 April 2006, Boston, Massachusetts, {USA}. :161–168.
Venkatesh Saligrama, Yonggang Shi, William Clement Karl.  2004.  Performance guarantees in sensor networks. 2004 {IEEE} International Conference on Acoustics, Speech, and Signal Processing, {ICASSP} 2004, Montreal, Quebec, Canada, May 17-21, 2004. :269–272.
Venkatesh Saligrama, Zhu Chen.  2012.  Video anomaly detection based on local statistical aggregates. 2012 {IEEE} Conference on Computer Vision and Pattern Recognition, Providence, RI, USA, June 16-21, 2012. :2112–2119.
Venkatesh Saligrama, Manqi Zhao.  2012.  Local Anomaly Detection. Proceedings of the Fifteenth International Conference on Artificial Intelligence and Statistics, {AISTATS} 2012, La Palma, Canary Islands, April 21-23, 2012. 22:969–983.
Venkatesh Saligrama, Janusz Konrad, Pierre{-}Marc Jodoin.  2010.  Video Anomaly Identification. {IEEE} Signal Process. Mag.. 27:18–33.