Publications
(1996).
Vocabulary and Language Model Adaptation Using Information Retrieval.
Proceedings of International Conference on Spoken Language Processing.
(2004). 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.
(2007).
(2009). Visual Similarity from Optimizing Feature and Memory On A Hypersphere.
Proceedings of IEEE Conference on Computer Vision and Pattern Recognition .
(2019).
(2011).
(2015). Visual Concept Learning: Combining Machine Vision and Bayesian Generalization on Concept Hierarchies.
(2013).
(1991).
(2010). A Virtual Spanner for Efficient Face Routing in Multihop Wireless Networks.
Lecture Notes in Computer Science. 4217,
(2006).
(1991).
(1998). A View of the Parallel Computing Landscape.
Communications of the ACM. 52(10), 56-67.
(2009). A View of the Parallel Computing Landscape.
Communications of the ACM. 52(10), 56-67.
(2009).
(2011). Viable Protection of High-Performance Networks through Hardware/Software Co-Design.
Proceedings of ACM International Workshop on Security in Software Defined Networks & Network Function Virtualization.
(2017).
(1998).
(2007). Very Fast Containment of Scanning Worms.
Proceedings of the 13th USENIX Security Symposium. 29-44.
(2004).
(2009). Verifying Reachability in Networks with Mutable Datapaths.
Proceedings of NSDI '17.
(2017). On Verification of Interoperability of CAD Systems with a Focus on Invariant Properties.
Computer-Aided Design. 115, 256-266.
(2019). Verification in the Age of Microservices.
Proceedings of the 16th Workshop on Hot Topics in Operating Systems HotOS'17.
(2017).
(1991).