Publications

Export 7151 results:
Author Title [ Type(Desc)] Year
Journal Articles
Cleaveland R, Sokolsky O.  2001.  Equivalence and preorder checking for finite-state systems. Handbook of Process Algebra. :391-424.
Khuller S, Kim Y-A.  2004.  Equivalence of two linear programming relaxations for broadcast scheduling. Operations Research Letters. 32(5):473-478.
Stewart G.W.  2005.  Error Analysis of the Quasi-Gram–Schmidt Algorithm. SIAM Journal on Matrix Analysis and Applications. 27(2):493-506.
Alter TD, Jacobs DW.  1994.  Error propagation in 3D-from-2D recognition: Scaled-orthographic and perspective projections. Proceedings: ARPA Image Understanding Workshop, Monterey, California.
Zweben S, Curtis B, Shneiderman B.  1991.  ESP'91 Panel on The Best of ESP. Empirical studies of programmers: fourth workshop. :1-1.
Guo W, Jank W, Rand W.  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).
O'Leary DP.  1980.  Estimating Matrix Condition Numbers. SIAM Journal on Scientific and Statistical Computing. 1:205-209.
Aloimonos Y, Duric Z.  1994.  Estimating the heading direction using normal flow. International Journal of Computer Vision. 13(1):33-56.
O'Leary DP, Stewart G.W, Vandergraft JS.  1979.  Estimating the Largest Eigenvalue of a Positive Definite Matrix. Mathematics of Computation. 33:1289-1292.
Sundaresan A, Chellappa R.  2011.  ON THE ESTIMATION OF 3D HUMAN BODY MODELS AND POSE FROM MULTIPLE CAMERAS. EMERGING TOPICS IN COMPUTER VISION AND ITS APPLICATIONS. :3-25.
Shao J, Porikli F, Chellappa R.  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.
Das D, Gupta SK, Nau DS.  1995.  Estimation of setup time for machined parts: accounting for work-holding constraints using a vise. COMPUTERS IN ENGINEERING. :619-632.
Marchionini G, Hert C, Shneiderman B, Liddy L.  2001.  E-tables: Non-specialist use and understanding of statistical data. SURFACE, the Syracuse University Research Facility And Collaborative Environment. :33-33.
Fang H-ren, O'Leary DP.  2011.  Euclidean distance matrix completion problems. Optimization Methods and Software. :1-23.
Hannenhalli S.  2008.  Eukaryotic Transcription Factor Binding Sites—modeling and Integrative Search Methods. BioinformaticsBioinformatics. 24(11):1325-1331.
Hannenhalli S.  2007.  Eukaryotic Transcriptional Regulation: Signals, Interactions, and Modules. Computational genomics: current methods. :21-21.
Komlodi A, Hou W, Preece J, Druin A, Golub E, Alburo J, Liao S, Elkiss A, Resnik P.  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.
Oard D, Gey FC, Dorr BJ.  2002.  Evaluating Arabic Retrieval from English or French Queries: The TREC-2001 Cross-Language Information Retrieval Track. Proceedings of the Post Workshop of LREC.
Molina J, Cukier M.  2009.  Evaluating Attack Resiliency for Host Intrusion Detection Systems. Journal of Information Assurance and Security. 4(1):001-009.
Chang S, Van Horn D, Felleisen M.  2010.  Evaluating Call-By-Need on the Control Stack. arXiv:1009.3174 [cs].
Hayden C, Smith E, Hardisty E, Hicks MW, Foster JS.  2011.  Evaluating Dynamic Software Update Safety Using Systematic Testing. IEEE Transactions on Software Engineering. PP(99):1-1.
Kules B, Shneiderman B.  2008.  Evaluating Exploratory Search Systems. Information processing & management. 44(2):463-484.
Ehrlich K, Microsytems S, Marchionini G, Nielsen J, Shneiderman B.  1990.  EVALUATING HYPERMEDIA SYSTEMS. Human factors in computing systems: CHI'90 Conference proceedings, April 1-5, Seattle. :387-387.
Shneiderman B, GRANTHAM C, Norman K, ROGERS J, Roussopoulos N.  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).
Nau DS, Zhang G, Gupta SK, Karinthi RR.  1993.  Evaluating product machinability for concurrent engineering. Concurrent Engineering: Contemporary Issues and Modern Design Tools. :264-279.

Pages