Publications

Export 7151 results:
Author Title Type [ Year(Desc)]
1986
Perlis D.  1986.  Self-reference, knowledge, belief, and modality. Proc 5th National Conference on AI. :416-420.
Shneiderman B.  1986.  Seven plus or minus two central issues in human-computer interaction. ACM SIGCHI Bulletin - Special issue: CHI '86 Conference Proceedings. 17(4):343-349.
Aloimonos Y, Basu A.  1986.  Shape and 3-d motion from contour without point to point correspondences: General principles. CVPR86. :518-527.
Raschid L, Fei T, Lam H, Su SYW.  1986.  A Special-Function Unit for Sorting and Sort-Based Database Operations. IEEE Transactions on Computers. C-35(12):1071-1077.
Elman H.  1986.  A Stability Analysis of Incomplete LU Factorizations. Mathematics of Computation. 47(175):191-217.
Drapkin J, Perlis D.  1986.  Step-logics: An alternative approach to limited reasoning. Proceedings of the European Conf. on Artificial Intelligence. :160-163.
Alon N, Azar Y, Vishkin U.  1986.  Tight complexity bounds for parallel comparison sorting. 27th Annual Symposium on Foundations of Computer Science. :502-510.
Ahuja SB, Reggia JA.  1986.  Using abductive inferencing to derive complex error classifications for discrete sequential processes. Proceedings of the 19th annual symposium on Simulation. :207-225.
1987
Kozen D, Teitelbaum T, Chen WZ, Field JH, Pugh W, Vander Zanden BT.  1987.  ALEX-an Alexical Programming Language. TR87-835
Mount D, Silverman R.  1987.  Algorithms for covering and packing and applications to CAD/CAM (abstract only): preliminary results. Proceedings of the 15th annual conference on Computer Science. :439–-439–.
Faloutsos C, Sellis T, Roussopoulos N.  1987.  Analysis of object oriented spatial access methods. ACM SIGMOD Record. 16(3):426-439.
Perlis D.  1987.  Circumscribing with sets. Artificial Intelligence. 31(2):201-211.
Perlis D.  1987.  Circumscription as introspection. Proceedings of the Second International Symposium on Methodologies for intelligent systems. :440-444.
Greif I, Curtis B, Krasner H, Malone TW, Shneiderman B.  1987.  Computer-supported cooperative work (panel): is this REALLY a new field of research? Proceedings of the SIGCHI/GI conference on Human factors in computing systems and graphics interface. :227-228.
Kang H, Roussopoulos N.  1987.  On Cost-effectiveness of a Semijoin in Distributed Query Processing.. ISR-TR-1987-38
Kong TY, Mount D, Werman M.  1987.  The decomposition of a square into rectangles of minimal perimeter. Discrete Applied Mathematics. 16(3):239-243.
Shneiderman B.  1987.  Design Guidebook for Interaction Styles: A Taxonomy, Rule-base, and Some Opinions.
Shneiderman B.  1987.  Designing the user interface: professional development courses from the University of Maryland.
Ito E, Aloimonos Y.  1987.  Determining three dimensional transformation parameters from images: Theory. 1987 IEEE International Conference on Robotics and Automation. Proceedings. 4:57-61.
Peng Y, Reggia JA.  1987.  Diagnostic problem-solving with causal chaining. International Journal of Intelligent Systems. 2(3):265-302.
Baroff J, Simon R, Gilman F, Shneiderman B.  1987.  Direct manipulation user interfaces for expert systems. Expert systems: the user interfaceExpert systems: the user interface. :99-125.
JOSEPH SB, Mount D, Papadimitriou CH.  1987.  THE DISCRETE GEODESIC PROBLEM. SIAM Journal on Computing (SICOMP). 16(4)
Landau GM, Vishkin U, Nussinov R.  1987.  An efficient string matching algorithm with K substitutions for nucleotide and amino acid sequences*. Journal of theoretical biology. 126(4):483-490.
Laverson A, Norman K, Shneiderman B.  1987.  An evaluation of jump-ahead techniques in menu selection. Behaviour & Information Technology. 6(2):97-108.
O'Leary DP.  1987.  Fine and Medium Grained Parallel Algorithms for Matrix QR Factorization. Algorithms and Applications on Vector and Parallel ComputersAlgorithms and Applications on Vector and Parallel Computers. :347-349.

Pages