Publications
2012. Local Segmentation of Touching Characters using Contour based Shape Decomposition. Document Analysis Systems.
2007. Local strategy learning in networked multi-agent team formation. Autonomous Agents and Multi-Agent Systems. 15(1):29-45.
1996. Local tools: an alternative to tool palettes. Proceedings of the 9th annual ACM symposium on User interface software and technology. :169-170.
1995. Localization of Sequences Required for Size-specific Splicing of a SmallDrosophilaIntronin Vitro. Journal of Molecular Biology. 253(3):426-437.
2011. Localizing parts of faces using a consensus of exemplars. Computer Vision and Pattern Recognition (CVPR), 2011 IEEE Conference on. :545-552.
2009. Locally time-invariant models of human activities using trajectories on the grassmannian. Computer Vision and Pattern Recognition, 2009. CVPR 2009. IEEE Conference on. :2435-2441.
1988. Locating alignments with k differences for nucleotide and amino acid sequences. Computer applications in the biosciences: CABIOS. 4(1):19-19.
2004. Location diversity in anonymity networks. Proceedings of the 2004 ACM workshop on Privacy in the electronic society. :66-76.
2006. Lock inference for atomic sections. Proceedings of the First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing.
2006. LOCKSMITH: context-sensitive correlation analysis for race detection. SIGPLAN Not.. 41(6):320-331.
2011. LOCKSMITH: Practical static race detection for C. ACM Trans. Program. Lang. Syst.. 33(1):3:1–3:55-3:1–3:55.
1993. Logic and Artificial Intelligence: A New Synthesis? ANNALES-SOCIETATIS MATHEMATICAE POLONAE SERIES 4. 18:297-297.
1999. Logic and databases: a 20 year retrospective-updated in honor of Ray Reiter. Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter. :234-299.
2000. A logic for characterizing multiple bounded agents. Autonomous Agents and Multi-Agent Systems. 3(4):351-387.
2003. Logic foundry: rapid prototyping for FPGA-based DSP systems. EURASIP J. Appl. Signal Process.. 2003:565-579.
2008. A Logic Framework for Sports Video Summarization Using Text-Based Semantic Annotation. Semantic Media Adaptation and Personalization, 2008. SMAP '08. Third International Workshop on. :69-75.
1998. Logic knowledge bases with two default rules. Annals of Mathematics and Artificial Intelligence. 22(3):333-361.
2005. Logic, self-awareness and self-improvement: The metacognitive loop and the problem of brittleness. Journal of Logic and Computation. 15(1):21-21.