Publications

Export 292 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is F  [Clear All Filters]
1994
Khuller S, Naor J.  1994.  Flow in planar graphs with vertex capacities. Algorithmica. 11(3):200-225.
Dorr BJ, Garman J, Weinberg A.  1994.  From syntactic encodings to thematic roles: Building lexical entries for interlingual MT. Machine Translation. 9(3):221-250.
Yuen S, Cleaveland R, Dayar Z, Smolka S.  1994.  Fully abstract characterizations of testing preorders for probabilistic processes. CONCUR'94: Concurrency Theory. :497-512.
Shneiderman B, Plaisant C.  1994.  The future of graphic user interfaces: Personal role managers. People and Computers. :444-444.
1993
Plaisant C, Laboratory H-computer I.  1993.  Facilitating Data Exploration: Dynamic Queries On A Health Statistics Map. Proc. of the Government Statistics Section, Annual Meeting of the American Statistical Assoc. Conf. Proc, pg. :18-23.
Varshney A, Brooks FP.  1993.  Fast analytical computation of Richards's smooth molecular surface. Proceedings of the 4th conference on Visualization '93. :300-307.
Arya S, Phamdo N, Farvardin N, Mount D.  1993.  Fast search algorithms with applications to split and multi-stage vector quantization of speech lsp parameters. Speech Coding for Telecommunications, 1993. Proceedings., IEEE Workshop on. :65-66.
Marchionini G, Shneiderman B.  1993.  Finding facts vs. browsing knowledge in hypertext systems. Sparks of innovation in human-computer interaction. :103-103.
Shneiderman B.  1993.  First steps toward positive contributions. Communications of the ACM. 36(1):15-16.
Jordan PW, Dorr BJ, Benoit JW.  1993.  A first-pass approach for evaluating machine translation systems. Machine Translation. 8(1):49-58.
1992
Panconesi A, Srinivasan A.  1992.  Fast randomized algorithms for distributed edge coloring. Proceedings of the eleventh annual ACM symposium on Principles of distributed computing. :251-262.
Tian J, Zelkowitz MV.  1992.  A formal program complexity model and its application. Journal of Systems and Software. 17(3):253-266.
Liao HS, Osada M, Shneiderman B.  1992.  A formative evaluation of three interfaces for browsing directories using dynamic queries.
1991
Mahesh R, Rangan C.P, Srinivasan A.  1991.  On finding the minimum bandwidth of interval graphs. Information and Computation. 95(2):218-224.
Nirkhe M, Kraus S, Perlis D.  1991.  Fully deadline-coupled planning: One step at a time. Methodologies for Intelligent Systems. :589-599.
1990
Landau GM, Vishkin U, Nussinov R.  1990.  Fast alignment of DNA and protein sequences. Methods in enzymology. 183:487-502.
Schieber B, Vishkin U.  1990.  Finding all nearest neighbors for convex polygons in parallel: a new lower bound technique and a matching algorithm. Discrete Applied Mathematics. 29(1):97-111.
Kreitzberg CB, Shneiderman B.  1990.  FORTRAN Programming: A Spiral Approach.
Zelkowitz MV.  1990.  A functional correctness model of program verification. Computer. 23(11):30-39.
Shneiderman B.  1990.  Future directions for human‐computer interaction. International Journal of Human-Computer Interaction. 2(1):73-90.
1989
Landau GM, Vishkin U.  1989.  Fast parallel and serial approximate string matching* 1. Journal of Algorithms. 10(2):157-169.
Cole R, Vishkin U.  1989.  Faster optimal parallel prefix sums and list ranking. Information and Computation. 81(3):334-352.
Chan TF, Elman H.  1989.  Fourier Analysis of Iterative Methods for Elliptic Problems. SIAM Review. 31(1):20-49.
Chang AE, Steinberg SM, Culnane M, Lampert MH, Reggia JA, Simpson CG, Hicks JE, White DE, Yang JJ, Glatstein E.  1989.  Functional and psychosocial effects of multimodality limb-sparing therapy in patients with soft tissue sarcomas. Journal of Clinical Oncology. 7(9):1217-1217.
1988
Landau GM, Vishkin U.  1988.  Fast string matching with k differences.. J. COMP. SYST. SCI.. 37(1):63-78.

Pages