Publications
Export 1389 results:
Author Title Type [ Year] Filters: First Letter Of Last Name is P [Clear All Filters]
1997. Parallelizing and algorithm for visibility on polyhedral terrain. International Journal of Computational Geometry and Applications. 7(1/2):75-84.
1997. Perturbation analysis for the QR decomposition. SIAM Journal on Matrix Analysis and Applications. 18:775-791.
1997. Query previews for networked information systems: a case study with NASA environmental data. SIGMOD Record. 26(1):75-81.
1997. Query previews in networked information systems: the case of EOSDIS. CHI '97 extended abstracts on Human factors in computing systems: looking to the future. :202-203.
1997. Randomized Distributed Edge Coloring via an Extension of the Chernoff--Hoeffding Bounds. SIAM Journal on Computing. 26(2):350-350.
1997. Sources of, and exploiting, inconsistency: preliminary report. JOURNAL OF APPLIED NONCLASSICAL LOGICS. 7:13-24.
1997. Specification-based Testing of Reactive Software: Tools and Experiments. Software Engineering, International Conference on. :525-525.
1997. Specification-based Testing of Reactive Software: Tools and Experiments. Software Engineering, International Conference on. :525-525.
1997. Symbolic model checking of infinite state systems using Presburger arithmetic. Computer Aided Verification. :400-411.
1997. Techniques for Automated Testing for Automated Testing of Document Analysis Algorithms. Proceedings of the First Brazilian Symposium on Document Image Analysis. :201-212.
1997. Toward motion picture grammars. Computer Vision — ACCV'98Computer Vision — ACCV'98. 1352:283-290.
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.
1997. Visual Information Seeking in Digital Image Libraries: The Visible Human Explorer. Information in Images.
1998. Approximating large convolutions in digital images. PROCEEDINGS-SPIE THE INTERNATIONAL SOCIETY FOR OPTICAL ENGINEERING. :216-227.
1998. AQuA: an adaptive architecture that provides dependable distributed objects. Seventeenth IEEE Symposium on Reliable Distributed Systems. :245-253.
1998. Bringing treasures to the surface: previews and overviews in a prototype for the Library of Congress National Digital Library. CHI 98 conference summary on Human factors in computing systems. :187-188.
1998. Comparing detection methods for software requirements inspections: A replication using professional subjects. Empirical Software Engineering. 3(4):355-379.
1998. Constraint-based array dependence analysis. ACM Transactions on Programming Languages and SystemsACM Trans. Program. Lang. Syst.. 20(3):635-678.