Publications

Export 7151 results:
Author Title Type [ Year(Desc)]
1997
Kia O, Doermann D, Rosenfeld A, Chellappa R.  1997.  Symbolic Compression and Processing of Document Images. LAMP-TR-004,CFAR-TR-849,CS-TR-3734
Bultan T, Gerber R, Pugh W.  1997.  Symbolic model checking of infinite state systems using Presburger arithmetic. Computer Aided Verification. :400-411.
North C, Shneiderman B.  1997.  A Taxonomy of Multiple Window Coordination. Institute for Systems Research Technical Reports.
Sauvola J, Kauniskangas H, Doermann D, Pietikainen M.  1997.  Techniques for Automated Testing for Automated Testing of Document Analysis Algorithms. Proceedings of the First Brazilian Symposium on Document Image Analysis. :201-212.
Yacoob Y, Davis LS.  1997.  Temporal Multi-scale Models for Image Motion Estimation. Image Understanding Workshop: proceedings of a workshop held in New Orleans, Louisiana, May 11-14, 1997. 1:135-135.
Arkin EM, Belleville P, Mitchell JSB, Mount D, Romanik K, Salzberg S, Souvaine D.  1997.  Testing simple polygons. Computational Geometry. 8(2):97-114.
Bongki CC, Chang C, Moon B, Acharya A, Shock C, Sussman A, Saltz J.  1997.  Titan: a High-Performance Remote-sensing Database. In Proceedings of the 1997 International Conference on Data Engineering.
Dorr BJ, Olsen MB, Thomas SC.  1997.  Toward Compact Monotonically Compositional Interlingua Using Lexical Aspect.
Bolle R, Aloimonos Y, Fermüller C.  1997.  Toward motion picture grammars. Computer Vision — ACCV'98Computer Vision — ACCV'98. 1352:283-290.
Regli WC, Gupta SK, Nau DS.  1997.  Towards multiprocessor feature recognition. Computer-Aided Design. 29(1):37-51.
Stewart G.W.  1997.  The Triangular Matrices of Gaussian Elimination and Related Decompositions. IMA Journal of Numerical Analysis. 17(1):7-16.
Plaisant C, Rose A, Shneiderman B, Vanniamparampil AJ.  1997.  User Interface Reengineering: Low-Effort, High-Payoff Strategies. IEEE Software. 14(4):66-72.
Lane CJ, Kuester SP, Shneiderman B.  1997.  User Interfaces for a Complex Robotic Task: A Comparison of Tiles vs. Overlapped Windows. Institute for Systems Research Technical Reports.
Hollingsworth J, Miller EL.  1997.  Using content-derived names for configuration management. ACM SIGSOFT Software Engineering Notes. 22(3):104-109.
Gupta SK.  1997.  Using manufacturing planning to generate manufacturability feedback. Journal of Mechanical Design. 119:73-73.
Olsen MB, Dorr BJ, Clark DJ.  1997.  Using WordNet to Posit Hierarchical Structure in Levin's Verb Classes.
Dubayah R, Blair JB, Bufton JL, Clark DB, JaJa JF, Knox R, Luthcke SB, Prince S, Weishampel J.  1997.  The vegetation canopy lidar mission. Proceedings of Land Satellite Information in the Next Decade, II: Sources and Applications. Bethesda (MD): American Society of Photogrammetry and Remote Sensing. :100-112.
Kobla V, Doermann D, Faloutsos C.  1997.  VideoTrails: Representing and Visualizing Structure in Video Sequences. Proceedings of the ACMInternational Multimedia Conference. :335-346.
Ferreira R, Moon B, Humphries J, Sussman A, Saltz J, Miller R, Demarzo A.  1997.  The virtual microscope.. Proceedings of the AMIA Annual Fall Symposium. :449-449.
Mahajan R, Shneiderman B.  1997.  Visual and textual consistency checking tools for graphical user interfaces. IEEE Transactions on Software Engineering. 23(11):722-735.
North C, Shneiderman B, Plaisant C.  1997.  Visual Information Seeking in Digital Image Libraries: The Visible Human Explorer. Information in Images.
Aloimonos Y.  1997.  Visual Navigation: Flies, Bees, and UGV's. Visual navigation: from biological systems to unmanned ground vehicles.
Aloimonos Y.  1997.  Visual navigation: from biological systems to unmanned ground vehicles.
Fermüller C, Cheong LF, Aloimonos Y.  1997.  Visual space distortion. Biological Cybernetics. 77(5):323-337.
Davis LS, Fejes S, Harwood D, Yacoob Y, Hariatoglu I, Black M.  1997.  Visual surveillance of human activity. Computer Vision—ACCV'98. :267-274.

Pages