Publications

Export 7151 results:
Author Title Type [ Year(Desc)]
1985
Coppersmith D, Vishkin U.  1985.  Solving NP-hard problems in [] almost trees': Vertex cover. Discrete applied mathematics. 10(1):27-45.
Weldon LJ, Koved L, Shneiderman B.  1985.  The Structure of Information in Online and Paper Technical Manuals. Proceedings of the Human Factors and Ergonomics Society Annual MeetingProceedings of the Human Factors and Ergonomics Society Annual Meeting. 29(12):1110-1113.
Reggia JA, Nau DS, Peng Y, Perricone B.  1985.  A theoretical foundation for abductive expert systems.
Coolahan Jr JE, Roussopoulos N.  1985.  A timed petri net methodolgoy for specifying real-time system timing requirements. International Workshop on Timed Petri Nets. :24-31.
JaJa JF, Owens RM.  1985.  VLSI Architectures Based on the Small N Algorithms. ISR-TR-1985-8
Mount D.  1985.  Voronoi Diagrams on the Surface of a Polyhedron..
1986
Cole R, Vishkin U.  1986.  The accelerated centroid decomposition technique for optimal parallel tree evaluation in logarithmic time, Ultracomputer Note-108.
Son SH, Agrawala AK.  1986.  Algorithm for concurrency control in replicated databases.. COMP. SYST. SCI. ENG.. 1(2):75-81.
Iseki O, Shneiderman B.  1986.  Applying direct manipulation concepts: direct manipulation dik operating system (DMDOS). SIGSOFT Softw. Eng. Notes. 11(2):22-26.
Cole R, Vishkin U.  1986.  Approximate and exact parallel scheduling with applications to list, tree and graph problems. 27th Annual Symposium on Foundations of Computer Science. :478-491.
Cole R, Vishkin U.  1986.  Approximate scheduling, exact scheduling, and applications to parallel algorithms. Proceedings Symposium on Foundations of Computer Science. :478-491.
O'Leary DP, Stewart G.W.  1986.  Assignment and scheduling in parallel matrix factorization. Linear Algebra and its Applications. 77:275-299.
Reisel JF, Shneiderman B.  1986.  Is Bigger Better?: The Effects of Display Size on Program Reading Tech Report HCIL-86-08.
Norman KL, Weldon LJ, Shneiderman B.  1986.  Cognitive layouts of windows and multiple screens for user interfaces. International Journal of Man-Machine Studies. 25(2):229-248.
Ramsey CL, Reggia JA, Nau DS, Ferrentino A.  1986.  A comparative analysis of methods for expert systems. International journal of man-machine studies. 24(5):475-499.
Perlis D, Minker J.  1986.  Completeness results for circumscription. Artificial Intelligence. 28(1):29-42.
Aloimonos Y.  1986.  Computing Intrinsic Images..
O'Leary DP, Rust BW.  1986.  Confidence Intervals for Inequality-Constrained Least Squares Problems, with Applications to Ill-Posed Problems. SIAM Journal on Scientific and Statistical Computing. 7:473-489.
Perlis D.  1986.  On the consistency of commonsense reasoning. Computational Intelligence. 2(1):180-190.
Morariu J, Shneiderman B.  1986.  Design and research on the interactive encyclopedia system (TIES). Proc. 29th Conference of the Association for the Development of Computer Based Instructional Systems. :19-21.
Shneiderman B.  1986.  Designing menu selection systems. Journal of the American Society for Information Science. 37(2):57-70.
Aloimonos Y, Basu A.  1986.  Determining the Translation of a Rigidly Moving Surface, without Correspondence,.
Cole R, Vishkin U.  1986.  Deterministic coin tossing and accelerating cascades: micro and macro techniques for designing parallel algorithms. Proceedings of the eighteenth annual ACM symposium on Theory of computing. :206-219.
Cole R, Vishkin U.  1986.  Deterministic coin tossing with applications to optimal parallel list ranking. Information and Control. 70(1):32-53.
Shneiderman B, Shafer P, Simon R, Weldon L.  1986.  Display Strategies for Program Browsing: Concepts and Experiment. IEEE Software. 3(3):7-15.

Pages