Publications

Export 7151 results:
Author Title Type [ Year(Asc)]
Filters: End-zero-hit-queries-query-previews-nasa%E2%80%99s-global-change-master-directory is   [Clear All Filters]
1990
Dorr BJ.  1990.  Solving thematic divergences in machine translation. Proceedings of the 28th annual meeting on Association for Computational Linguistics. :127-134.
Mancebo R, Lo PC, Mount SM.  1990.  Structure and expression of the Drosophila melanogaster gene for the U1 small nuclear ribonucleoprotein particle 70K protein.. Molecular and Cellular BiologyMol. Cell. Biol.. 10(6):2492-2502.
Voytas DF, Konieczny A, Cummings MP, Ausubel FM.  1990.  The structure, distribution and evolution of the ıt Ta1 retrotransposable element family of ıt Arabidopsis thaliana. Genetics. 126(3):713-721.
Spetsakis ME, Aloimonos Y.  1990.  Structure from motion using line correspondences. International Journal of Computer VisionInt J Comput Vision. 4(3):171-183.
Sutton III GG, Reggia JA, Maisog JM.  1990.  Supervised and reinforced competitive learning. Neural Networks, 1990., 1990 IJCNN International Joint Conference on. :563-567.
Chakrabarti C, JaJa JF.  1990.  Systolic architectures for the computation of the discrete Hartley and the discrete cosine transforms based on prime factor decomposition. Computers, IEEE Transactions on. 39(11):1359-1368.
Cleaveland R.  1990.  Tableau-based model checking in the propositional mu-calculus. Acta Informatica. 27(8):725-747.
Cleaveland R, Hennessy M.  1990.  Testing equivalence as a bisimulation equivalence. Automatic Verification Methods for Finite State Systems. :11-23.
Perlis D.  1990.  Thing and Thought. Knowledge Representation and Defeasible Reasoning. Kluwer.
Sears A, Kochavy Y, Shneiderman B.  1990.  Touchscreen field specification for public access database queries: let your fingers do the walking. Proceedings of the 1990 ACM annual conference on Cooperation. :1-7.
Tsakiris JYADP.  1990.  TRACKING IN A COMPLEX VISUAL ENVIRONMENT. Computer Vision-ECCV 90: First European Conference on Computer Vision. Antibes, France, April 23-27, 1990. Proceedings. 1:249-249.
Khuller S, Mitchell JSB.  1990.  On a triangle counting problem. Information Processing Letters. 33(6):319-321.
Pugh W, Weddell G.  1990.  Two-directional record layout for multiple inheritance. Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation. :85-91.
Spetsakis M, Aloimonos Y.  1990.  A Unified Theory Of Structure From Motion. Proceedings of DARPA Image Understanding Workshop. :271-283.
Cleaveland R, Steffen B.  1990.  When is `partial' adequate? A logic-based proof technique using partial specifications Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e. :440-449.
1989
Yacoob Y, Gold YI.  1989.  3D object recognition via simulated particles diffusion. IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 1989. Proceedings CVPR '89. :442-449.
Elman H.  1989.  Approximate Schur Complement Preconditioners on Serial and Parallel Computers. SIAM Journal on Scientific and Statistical ComputingSIAM J. Sci. and Stat. Comput.. 10(3):581-581.
Kraus S, Perlis D.  1989.  Assessing others' knowledge and ignorance. Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems.
Furuta R, Plaisant C, Shneiderman B.  1989.  Automatically transforming regularly structured linear documents into hypertext.. Electronic Publishing. 2(4):211-229.
Peng Y, Reggia JA.  1989.  A comfort measure for diagnostic problem solving. Information Sciences. 47(2):149-184.
Khuller S.  1989.  On computing graph closures. Information Processing Letters. 31(5):249-255.
Peng Y, Reggia JA.  1989.  A connectionist model for diagnostic problem solving. Systems, Man and Cybernetics, IEEE Transactions on. 19(2):285-298.
Whitfield KC, Goodall SM, Reggia JA.  1989.  A connectionist model for dynamic control. Telematics and Informatics. 6(3-4):375-390.
Tagamets MA, Reggia JA.  1989.  A data flow implementation of a competition-based connectionist model* 1. Journal of Parallel and Distributed Computing. 6(3):704-714.
Son S H, Agrawala AK.  1989.  Distributed Checkpointing for Globally Consistent States of Databases. IEEE Trans. Softw. Eng.. 15(10):1157-1167.

Pages