Publications
2004. Skoll: distributed continuous quality assurance. Software Engineering, 2004. ICSE 2004. Proceedings. 26th International Conference on. :459-468.
2007. Skoll: A Process and Infrastructure for Distributed Continuous Quality Assurance. Software Engineering, IEEE Transactions on. 33(8):510-525.
1999. Skip Strips: maintaining triangle strips for view-dependent rendering. Visualization '99. Proceedings. :131-518.
1990. Skip lists: a probabilistic alternative to balanced trees. Communications of the ACMCommun. ACM. 33(6):668-676.
1992. Six Generations of Building Walkthrough: Final Technical Report to the National Science Foundation.
1993. Situated reasoning within tight deadlines and realistic space and computation bounds. Proc. Common Sense. 93
2012. SITS: A Hierarchical Nonparametric Model using Speaker Identity for Topic Segmentation in Multiparty Conversations. Association for Computational Linguistics.
2010. Sites Inferred by Metabolic Background Assertion Labeling (SIMBAL): adapting the Partial Phylogenetic Profiling algorithm to scan sequences for signatures that predict protein function.. BMC Bioinformatics. 11:52.
1999. SIPR: A new framework for generating efficient code for sparse matrix computations. Languages and Compilers for Parallel Computing. :213-229.
2008. Single-document and multi-document summarization techniques for email threads using sentence compression. Information Processing & Management. 44(4):1600-1610.
1999. Single display groupware: a model for co-present collaboration. Proceedings of the SIGCHI conference on Human factors in computing systems: the CHI is the limit. :286-293.
2003. Simultaneous tracking and recognition of human faces from video. Acoustics, Speech, and Signal Processing, 2003. Proceedings. (ICASSP '03). 2003 IEEE International Conference on. 3:III-225-8vol.3-III-225-8vol.3.
2003. Simultaneous pose and correspondence determination using line features. Computer Vision and Pattern Recognition, 2003. Proceedings. 2003 IEEE Computer Society Conference on. 2:II-424-II-431vol.2-II-424-II-431vol.2.
1998. Simultaneous estimation of viewing geometry and structure. Computer Vision — ECCV'98Computer Vision — ECCV'98. 1406:342-358.
2004. Simultaneous background and foreground modeling for tracking in surveillance video. Image Processing, 2004. ICIP '04. 2004 International Conference on. 2:1053-1056Vol.2-1053-1056Vol.2.
2007. Simultaneous appearance modeling and segmentation for matching people under occlusion. Proceedings of the 8th Asian conference on Computer vision - Volume Part II. :404-413.
1994. A simulation-based study on the concurrent execution of rules in a database environment. Journal of Parallel and Distributed computing. 20(1):20-42.
2001. Simulation revisited. Tools and Algorithms for the Construction and Analysis of Systems. :480-495.
1994. Simulation of the transient characteristics of partially- and fully-depleted SOI MOSFETs. Solid-State Electronics. 37(7):1387-1394.
1996. Simulation of the logic switching characteristics of hot-carrier-degraded ultra-thin SOI CMOS inverters. Solid-State Electronics. 39(11):1669-1674.
1984. Simulation of phonemic errors using artificial intelligence symbol processing techniques. Proceedings of the 17th annual symposium on Simulation. :49-64.
2000. Simulation based learning environments and the use of learning histories. CHI '00 extended abstracts on Human factors in computing systems. :2-3.
2005. Simulation and Secure Computation-Handling Expected Polynomial-Time Strategies in Simulation-Based Security Proofs. Lecture Notes in Computer Science. 3378:128-149.