Publications

Export 1389 results:
Author Title Type [ Year(Desc)]
Filters: First Letter Of Last Name is P  [Clear All Filters]
1994
Pugh W.  1994.  Counting solutions to Presburger formulas: how and why. ACM SIGPLAN Notices. 29(6):121-134.
Plaisant C, Jain V.  1994.  Dynamaps: dynamic queries on a health statistics atlas. Conference companion on Human factors in computing systems. :439-440.
Perlis D.  1994.  An Error-Theory of Consciousness. MARYLAND COMPUTER SCIENCE.
Porter A, Votta LG.  1994.  An experiment to assess different defect detection methods for software requirements inspections. Proceedings of the 16th international conference on Software engineering. :103-112.
Shneiderman B, Plaisant C.  1994.  The future of graphic user interfaces: Personal role managers. People and Computers. :444-444.
Parulekar R, Davis LS, Chellappa R, Saltz J, Sussman A, Townshend J.  1994.  High performance computing for land cover dynamics. Pattern Recognition, 1994. Vol. 3-Conference C: Signal Processing, Proceedings of the 12th IAPR International Conference on. :234-238.
Tuhrim S, Reggia JA, Peng Y.  1994.  High-specificity neurological localization using a connectionist model. Artificial Intelligence in Medicine. 6(6):521-532.
Plaisant C, Carr DA, Shneiderman B.  1994.  Image Browsers: Taxonomy, Guidelines, and Informal Specifications. Institute for Systems Research Technical Reports.
Perlis D, V.S. Subrahmanian.  1994.  Meta-languages, reflection principles and self-reference. Handbook of logic in artificial intelligence and logic programming. :323-358.
Atallah GC, Ball MO, Baras JS, Goli SK, Karne RK, Kelley S, Kumar HP, Plaisant C, Roussopoulos N, Shneiderman B et al..  1994.  Next Generation Network Management Technology. Institute for Systems Research Technical Reports.
Sahinalp S, Vishkin U.  1994.  On a parallel-algorithms method for string matching problems (overview). Algorithms and ComplexityAlgorithms and Complexity. 778:22-32.
Maslov V, Pugh W.  1994.  Simplifying polynomial constraints over integers to make dependence analysis more precise. Parallel Processing: CONPAR 94—VAPP VI. :737-748.
McGarry F, Pajerski R, Page G, Waligora S, Basili VR.  1994.  Software Process Improvement in the NASA Software Engineering Laboratory..
McGarry F, Pajerski R, Page G, Waligora S, Basili VR.  1994.  Software Process Improvement in the NASA Software Engineering Laboratory..
Kaâniche M, Kanoun K, Cukier M, Martini M.  1994.  Software reliability analysis of three successive generations of a Switching System. Dependable Computing — EDCC-1. 852:471-490.
Gannon JD, Purtilo J, Zelkowitz MV.  1994.  Software Specification: A Comparison of Formal Methods.
Pugh W, Wonnacott D.  1994.  Static analysis of upper and lower bounds on dependences and parallelism. ACM Transactions on Programming Languages and SystemsACM Trans. Program. Lang. Syst.. 16(4):1248-1278.
Chen C, Porter A, Purtilo J.  1994.  Tool support for tailored software prototyping. Assessment of Quality Software Development Tools, 1994, Proceedings., Third Symposium on. :171-181.
Chen C, Porter A, Purtilo J.  1994.  Tool support for tailored software prototyping. Assessment of Quality Software Development Tools, 1994, Proceedings., Third Symposium on. :171-181.
Carr D, Plaisant C, Hasegawa H.  1994.  Usability Experiments for the Redesign of a Telepathology Workstation. CS-TR-3270
Perlis D, Miller M, Perlis D.  1994.  What Experts Deny, Novices Must Understand. In 3rd International Workshop on Human and Machine Cognition.
Perlis D, Miller M, Perlis D.  1994.  What Experts Deny, Novices Must Understand. In 3rd International Workshop on Human and Machine Cognition.
1995
Rose A, Shneiderman B, Plaisant C.  1995.  An applied ethnographic method for redesigning user interfaces. Proceedings of the 1st conference on Designing interactive systems: processes, practices, methods, & techniques. :115-122.
Dorr BJ, Palmer M.  1995.  Building a LCS-Based Lexicon in TAGs. Proceedings of the AAAI-95 Spring Symposium Series, Representation and Acquisition of Lexical Knowledge: Polysemy, Ambiguity, and Generativity, Stanford, CA, March. :27-29.
Kelly W, Pugh W, Rosser E.  1995.  Code generation for multiple mappings. Frontiers of Massively Parallel Computation, 1995. Proceedings. Frontiers '95., Fifth Symposium on the. :332-341.

Pages