Publications

Export 7151 results:
Author Title Type [ Year(Desc)]
1990
Vishkin U.  1990.  Deterministic sampling—a new technique for fast pattern matching. Proceedings of the twenty-second annual ACM symposium on Theory of computing. :170-180.
Chu BTB, Reggia JA.  1990.  Diagnostic reasoning at multiple levels of abstraction. AI Systems in Government Conference, 1990. Proceedings., Fifth Annual. :168-175.
Yacoob Y.  1990.  Displaying voxel-based objects according to their qualitative shape synthesis. Proceedings of the 1st conference on Visualization'90. :51-58.
Lo PCH, Mount SM.  1990.  Drosophila melanogaster genes for U1 snRNA variants and their expression during development. Nucleic Acids ResearchNucl. Acids Res.. 18(23):6971-6979.
Ryu KW, JaJa JF.  1990.  Efficient algorithms for list ranking and for solving graph problems on the hypercube. Parallel and Distributed Systems, IEEE Transactions on. 1(1):83-90.
Sellis TK, Roussopoulos N, Ng RT.  1990.  Efficient compilation of large rule bases using logical access paths. Information Systems. 15(1):73-84.
Krishnamurthy S, JaJa JF.  1990.  An efficient parallel algorithm for channel routing. Computer Design: VLSI in Computers and Processors, 1990. ICCD '90. Proceedings., 1990 IEEE International Conference on. :400-403.
Porter A, Selby RW.  1990.  Empirically guided software development using metric-based classification trees. IEEE Software. 7(2):46-54.
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.
Porter A, Selby RW.  1990.  Evaluating techniques for generating metric-based classification trees. Journal of Systems and Software. 12(3):209-218.
Cardenas S, Zelkowitz MV.  1990.  Evaluation criteria for functional specifications. Proceedings of the 12th international conference on Software engineering. :26-33.
Furnier GR, Cummings MP, Clegg MT.  1990.  Evolution of avocados as revealed by DNA restriction fragment variation. J Hered. 81(3):183-188.
Jones T, Shneiderman B.  1990.  Examining usability for a training-oriented hypertext: Can hyper-activity be good? Electronic Publishing. 3(4):207-225.
Khuller S.  1990.  Extending planar graph algorithms to K3,3-free graphs. Information and Computation. 84(1):13-25.
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.
Shneiderman B.  1990.  Human values and the future of technology: a declaration of empowerment. Proceedings of the conference on Computers and the quality of life. :1-6.
Bandopadhay A, Aloimonos Y.  1990.  Image motion estimation by clustering. International Journal of Imaging Systems and Technology. 2(4):345-355.
Peng Y, Reggia JA.  1990.  Inductive inference model for diagnostic problem-solving.
Mark L, Roussopoulos N.  1990.  Information interchange between self-describing databases. Information Systems. 15(4):393-400.
Perlis D.  1990.  Intentionality and defaults. International J. of Expert Systems. 3:345-354.
Litwin W, Mark L, Roussopoulos N.  1990.  Interoperability of multiple autonomous databases. ACM Computing SurveysACM Comput. Surv.. 22(3):267-293.

Pages