Publications

Export 7151 results:
Author Title Type [ Year(Asc)]
1985
Minker J, Perlis D.  1985.  Computing protected circumscription. The Journal of Logic Programming. 2(4):235-249.
Aloimonos Y, Basu A, Brown CM.  1985.  Contour, orientation and motion. Proceedings: Image Understanding Workshop (Miami Beach, FL, December 9–10, 1985). :129-136.
O'Leary DP, Stewart G.W.  1985.  Data-flow algorithms for parallel matrix computation. Communications of the ACM. 28(8):840-853.
Aloimonos Y, Chou PB, of of Science U R. D. C.  1985.  Detection of Surface Orientation and Motion from Texture: The Case of Planes.
Berwick R, Weinberg A.  1985.  Deterministic parsing: A modern view. 15:15-33.
Roussopoulos N, Leifker D.  1985.  Direct spatial search on pictorial databases using packed R-trees. ACM SIGMOD Record. 14:17-31.
Reggia JA.  1985.  DS Nau, and PY Wang. A formal model of diagnostic inference. Information Sciences. 37:227-285.
Roussopoulos N, Bader C.  1985.  Dynamic access control for relational views.. INFO. SYST.. 10(3):361-369.
Perl Y, Vishkin U.  1985.  Efficient implementation of a shifting algorithm. Discrete applied mathematics. 12(1):71-80.
Tarjan RE, Vishkin U.  1985.  An efficient parallel biconnectivity algorithm. SIAM Journal on Computing. 14:862-862.
Vishkin U.  1985.  On efficient parallel strong orientation. Information Processing Letters. 20(5):235-240.
Landau GM, Vishkin U.  1985.  Efficient string matching in the presence of errors. Foundations of Computer Science, 1985., 26th Annual Symposium on. :126-136.
Zelkowitz MV, Elgot J, Itkin D, Kowalchack B, Maggio M.  1985.  The Engineering of an Environment on Small Machines. Proceedings of the IEEE 1st International Conference on Computer Workstations. :61-69.
Reggia JA.  1985.  Evaluation of Medical Expert Systems: A Case Study in Performance Analysis. Proceedings of the Ninth Annual Symposium on Computer Applications in Medical Care. :287-291.
Mount D.  1985.  On Finding Shortest Paths on Convex Polyhedra..
Reggia JA, Nau DS, Wang P, Peng Y.  1985.  A formal model of abductive inference. Information Sciences. 37:227-285.
Reggia JA, Nau DS, Wang PY, Peng Y.  1985.  A formal model of diagnostic inference, II. Algorithmic solution and application. Information Sciences. 37(1-3):257-285.
Owens RM, JaJa JF.  1985.  A High-Level Interactive System for Designing VLSI Signal Processors. ISR-TR-1985-7
Shneiderman B.  1985.  Human factors issues of manuals, online help, and tutorials. Empirical foundations of information and software science. 1984:107-107.
Perlis D.  1985.  Languages with self-reference I: Foundations. Artificial Intelligence. 25(3):301-322.
Parton D, Huffman K, Pridgen P, Norman K, Shneiderman B.  1985.  Learning a menu selection tree: training methods compared. Behaviour & Information Technology. 4(2):81-91.
JaJa JF.  1985.  Lower bounds on monotone arithmetic circuits with restricted depths. Computers & Mathematics with Applications. 11(12):1155-1164.
Shneiderman B.  1985.  A model programming environment. Advances in Human-Computer Interaction. 1:105-132.
O'Leary DP, White RE.  1985.  Multi-splittings of Matrices and Parallel Solution of Linear Systems. SIAM Journal on Algebraic and Discrete Methods. 6:630-640.
JaJa JF, Wu SM.  1985.  A New Approach for Compiling Boolean Functions. ISR; TR 1985-39

Pages