Publications

Export 7151 results:
Author Title Type [ Year(Desc)]
Filters: Block-preconditioners-discrete-incompressible-navier%E2%80%93stokes-equations is   [Clear All Filters]
1989
Selby RW, Porter A.  1989.  Software metric classification trees help guide the maintenance of large-scale systems. , Conference on Software Maintenance, 1989., Proceedings. :116-123.
Babuska I, Elman H.  1989.  Some aspects of parallel implementation of the finite-element method on message passing architectures. Journal of Computational and Applied Mathematics. 27(1-2):157-187.
Perlis D.  1989.  Some Brief Essays on Mind.
Golub GH, O'Leary DP.  1989.  Some History of the Conjugate Gradient and Lanczos Algorithms: 1948–1976. SIAM Review. 31(1):50-102.
Furuta R, Plaisant C, Shneiderman B.  1989.  A spectrum of automatic hypertext constructions. Hypermedia. 1(2):179-195.
Zelkowitz MV, Kowalchack B, Itkin D, Herman L.  1989.  A support tool for teaching computer programming. Issues in software engineering educationIssues in software engineering education. :139-167.
Perlis D.  1989.  Truth and meaning (research note). Artificial intelligence. 39(2):245-250.
Aloimonos Y.  1989.  Unification and integration of visual modules. Proceedings Image Understanding Workshop. :507-551.
Aloimonos Y.  1989.  Unifying Shading and Texture Through an Active Observer. Proceedings of the Royal Society of London. B. Biological Sciences. 238(1290):25-37.
Seabrook RHC, Shneiderman B.  1989.  The user interface in a hypertext, multiwindow program browser. Interacting with computers. 1(3):301-337.
Shneiderman B.  1989.  User-Friendly Computer Interfaces.
1990
Landau GM, Vishkin U, Nussinov R.  1990.  [31] Fast alignment of DNA and protein sequences. Methods in Enzymology. 183:487-502.
JaJa JF.  1990.  The 3rd Symposium on the Frontiers of Massively Parallel Computation: Proceedings of the Third Symposium.
Yun P, Reggia JA.  1990.  Abductive Inference Models for Diagnostic Problem-Solving.
Shneiderman B, Deter R.  1990.  The advantages of hypertext for large information spaces; where are the big systems? Hypertext: concepts, systems and applications: proceedings of the First European Conference on Hypertext, INRIA, France, November 1990. (5):343-343.
Cleaveland R.  1990.  On automatically distinguishing inequivalent processes. Workshop on Computer-Aided Verification.
O'Leary DP.  1990.  On bounds for scaled projections and pseudoinverses. Linear Algebra and its Applications. 132:115-117.
Herve J, Aloimonos Y.  1990.  Catastrophe theory and computational vision. Proc. AAAI-90 Workshop on Qualitative Vision. :96-100.
Peng XB, Mount SM.  1990.  Characterization of enhancer-of-white-apricot in Drosophila melanogaster.. GeneticsGenetics. 126(4):1061-1069.
Khuller S.  1990.  Coloring algorithms for K5-minor free graphs. Information Processing Letters. 34(4):203-208.
Sutton III GG, Reggia JA, Maisog JM.  1990.  Competitive learning using competitive activation rules. Neural Networks, 1990., 1990 IJCNN International Joint Conference on. :285-291.
O'Leary DP, Stewart G.W.  1990.  Computing the eigenvalues and eigenvectors of symmetric arrowhead matrices. Journal of Computational Physics. 90(2):497-505.
Cleaveland R, Parrow J, Steffen B.  1990.  The concurrency workbench. Automatic Verification Methods for Finite State Systems. :24-37.
Doszkocs TE, Reggia JA, others.  1990.  Connectionist models and information retrieval. Annual review of information science and technology. 25:209-262.
Dorr BJ.  1990.  A Cross-Linguistic Approach to Translation. Proceedings of the Third International Conference on Theoretical and Methodological Issues in Machine Translation of Natural Language. :13-33.

Pages