Publications

Found 45 results
[ Author(Desc)] Title Type Year
Filters: First Letter Of Title 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 
L
Lüning, A.., Friedland G., Knipping L., & Rojas R. (2007).  Visualizing Large-Screen Electronic Chalkboard Content on Handheld Devices. Proceedings of the Second IEEE International Workshop on Multimedia Technologies for E-Learning at 9th IEEE Symposium on Multimedia. 369-375.
P
Pan, X., Chakraborty R., & Yu S. X. (2019).  Visual Similarity from Optimizing Feature and Memory On A Hypersphere. Proceedings of IEEE Conference on Computer Vision and Pattern Recognition .
Panda, A., Lahav O., Argyraki K., Sagiv M., & Shenker S. J. (2017).  Verifying Reachability in Networks with Mutable Datapaths. Proceedings of NSDI '17.
Panda, A., Sagiv M., & Shenker S. J. (2017).  Verification in the Age of Microservices. Proceedings of the 16th Workshop on Hot Topics in Operating Systems HotOS'17.
R
Rayner, M., Hockey B. Ann, Chatzichrisafis N., Farrell K., & Renders J-M. (2005).  A Voice-Enabled Procedure Browser for the International Space Station. Proceedings of the 43rd Annual Meeting of the Association for Computational Linguistics (ACL 2005). 29-32.
V
Vallentin, M., Paxson V., & Sommer R. (2016).  VAST: A Unified Platform for Interactive Network Forensics. Proceedings of USENIX Sympyosium on Networked Systems Design and Implementation.
Vasallo, P. Reviriego (2000).  Variable Packet Size Equation Based Congestion Control.

Pages