Publications
2001. Equivalence and preorder checking for finite-state systems. Handbook of Process Algebra. :391-424.
2004. Equivalence of two linear programming relaxations for broadcast scheduling. Operations Research Letters. 32(5):473-478.
2005. Error Analysis of the Quasi-Gram–Schmidt Algorithm. SIAM Journal on Matrix Analysis and Applications. 27(2):493-506.
1994. Error propagation in 3D-from-2D recognition: Scaled-orthographic and perspective projections. Proceedings: ARPA Image Understanding Workshop, Monterey, California.
2011. Estimating Functional Agent-Based Models: An Application to Bid Shading in Online Markets Format. Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2011).
1980. Estimating Matrix Condition Numbers. SIAM Journal on Scientific and Statistical Computing. 1:205-209.
1994. Estimating the heading direction using normal flow. International Journal of Computer Vision. 13(1):33-56.
1979. Estimating the Largest Eigenvalue of a Positive Definite Matrix. Mathematics of Computation. 33:1289-1292.
2011. ON THE ESTIMATION OF 3D HUMAN BODY MODELS AND POSE FROM MULTIPLE CAMERAS. EMERGING TOPICS IN COMPUTER VISION AND ITS APPLICATIONS. :3-25.
2007. Estimation of contour motion and deformation for nonrigid object tracking. Journal of the Optical Society of America AJ. Opt. Soc. Am. A. 24(8):2109-2121.
1995. Estimation of setup time for machined parts: accounting for work-holding constraints using a vise. COMPUTERS IN ENGINEERING. :619-632.
2001. E-tables: Non-specialist use and understanding of statistical data. SURFACE, the Syracuse University Research Facility And Collaborative Environment. :33-33.
2008. Eukaryotic Transcription Factor Binding Sites—modeling and Integrative Search Methods. BioinformaticsBioinformatics. 24(11):1325-1331.
2007. Eukaryotic Transcriptional Regulation: Signals, Interactions, and Modules. Computational genomics: current methods. :21-21.
2007. Evaluating a cross-cultural children’s online book community: Lessons learned for sociability, usability, and cultural exchange. Interacting with Computers. 19(4):494-511.
2002. Evaluating Arabic Retrieval from English or French Queries: The TREC-2001 Cross-Language Information Retrieval Track. Proceedings of the Post Workshop of LREC.
2009. Evaluating Attack Resiliency for Host Intrusion Detection Systems. Journal of Information Assurance and Security. 4(1):001-009.
2011. Evaluating Dynamic Software Update Safety Using Systematic Testing. IEEE Transactions on Software Engineering. PP(99):1-1.
1990. EVALUATING HYPERMEDIA SYSTEMS. Human factors in computing systems: CHI'90 Conference proceedings, April 1-5, Seattle. :387-387.
1983. Evaluating multiple coordinated windows for programming workstations. NASA. Goddard Space Flight Center Proc. of the Eighth Ann. Software Eng. Workshop 11 p(SEE N 84-23137 13-61).
1993. Evaluating product machinability for concurrent engineering. Concurrent Engineering: Contemporary Issues and Modern Design Tools. :264-279.