Publications

Export 7151 results:
Author Title Type [ Year(Desc)]
Filters: Filter is   [Clear All Filters]
1990
Elgot-Drapkin JJ, Perlis D.  1990.  Reasoning situated in time I: Basic concepts. Journal of Experimental and Theoretical Artificial Intellige. 2(1):75-98.
O'Leary DP.  1990.  Robust Regression Computation Using Iteratively Reweighted Least Squares. SIAM Journal of Matrix Analysis and Applications. 11:466-480.
Pepling M, Mount SM.  1990.  Sequence of a cDNA from the Drosophila melanogaster white gene.. Nucleic Acids ResearchNucleic Acids Res. 18(6):1633-1633.
Pugh W.  1990.  Skip lists: a probabilistic alternative to balanced trees. Communications of the ACMCommun. ACM. 33(6):668-676.
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.
1991
Grant J, Litwin W, Roussopoulos N, Sellis T.  1991.  An algebra and calculus for relational multidatabase systems. , First International Workshop on Interoperability in Multidatabase Systems, 1991. IMS '91. Proceedings. :118-124.
Cole R, Vishkin U.  1991.  Approximate parallel scheduling. II. Applications to logarithmic-time optimal parallel graph algorithms. Information and Computation. 92(1):1-47.
Vishkin U.  1991.  Can parallel algorithms enhance serial implementation? Parallel Processing Symposium, 1994. Proceedings., Eighth International. :376-385.
Mount D, Silverman R.  1991.  Combinatorial and computational aspects of Minkowski decompositions. Contemporary Mathematics. 119:107-124.
Reggia JA, Sutton G, Cho S.  1991.  Competitive activation mechanisms in connectionist models. Advances in control networks and large-scale parallel distributed processing models. 1:119-119.
Lavi J, Agrawala AK, Buhr R, Jackson K, Jackson M, Lang B.  1991.  Computer based systems engineering workshop. Software Engineering Education. :149-163.

Pages