Publications

Export 3364 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Last Name is S  [Clear All Filters]
1993
Schmidt JP, Siegel A, Srinivasan A.  1993.  Chernoff-Hoeffding bounds for applications with limited independence. Proceedings of the fourth annual ACM-SIAM Symposium on Discrete algorithms. :331-340.
Schmidt JP, Siegel A, Srinivasan A.  1993.  Chernoff-Hoeffding bounds for applications with limited independence. Proceedings of the fourth annual ACM-SIAM Symposium on Discrete algorithms. :331-340.
Cleaveland R, Parrow J, Steffen B.  1993.  The concurrency workbench: a semantics-based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systems. 15:36-72.
Bederson BB, Wallace RS, Schwartz EL.  1993.  Control and design of the spherical pointing motor. , 1993 IEEE International Conference on Robotics and Automation, 1993. Proceedings. :630-636vol.2-630-636vol.2.
Sellis T, Lin CC, Raschid L.  1993.  Coupling production systems and database systems: A homogeneous approach. Knowledge and Data Engineering, IEEE Transactions on. 5(2):240-256.
Shneiderman B.  1993.  Declaration in Apple vs. Microsoft/Hewlett-Packard. Sparks of innovation in human-computer interaction. :355-355.
Hannenhalli S, Perumalla K, Chandrasekharan N, Sridhar R.  1993.  A distributed algorithm for ear decomposition. , Fifth International Conference on Computing and Information, 1993. Proceedings ICCI '93. :180-184.
Shneiderman B.  1993.  Dynamic Queries: A step Beyond Database Languages. Institute for Systems Research Technical Reports.
Shneiderman B.  1993.  Education by engagement and construction: Experiences in the AT&T teaching theater. Educational Multimedia and Hypermedia Annual. Association for the Advancement of Computing in Education, Charlottesville, Virg. :471-479.
Shneiderman B.  1993.  Engagement and construction: Educational strategies for the post-TV era. Journal of Computing in Higher Education. 4(2):106-116.
Shneiderman B, Brethauer D, Plaisant C, Potter R.  1993.  Evaluating three museum installations of a hypertext system. Sparks of innovation in human-computer interaction. 40:404-404.
Marchionini G, Shneiderman B.  1993.  Finding facts vs. browsing knowledge in hypertext systems. Sparks of innovation in human-computer interaction. :103-103.
Shneiderman B.  1993.  First steps toward positive contributions. Communications of the ACM. 36(1):15-16.
Young D, Shneiderman B.  1993.  A graphical filter/flow representation of Boolean queries: A prototype implementation and evaluation. Journal of the American Society for Information Science. 44(6):327-339.
Weiland WJ, Shneiderman B.  1993.  A graphical query interface based on aggregation/generalization hierarchies. Information Systems. 18(4):215-232.
Potter RL, Weldon LJ, Shneiderman B.  1993.  Improving the accuracy of touchscreens: an experimental evaluation of three strategies. Sparks of innovation in human-computer interaction. :161-161.
Sears A, REVIS DOREEN, SWATSKI JANET, CRITTENDEN ROB, Shneiderman B.  1993.  Investigating touchscreen typing: the effect of keyboard size on typing speed. Behaviour & Information Technology. 12(1):17-22.
Sears A, REVIS DOREEN, SWATSKI JANET, CRITTENDEN ROB, Shneiderman B.  1993.  Investigating touchscreen typing: the effect of keyboard size on typing speed. Behaviour & Information Technology. 12(1):17-22.
Sears A, REVIS DOREEN, SWATSKI JANET, CRITTENDEN ROB, Shneiderman B.  1993.  Investigating touchscreen typing: the effect of keyboard size on typing speed. Behaviour & Information Technology. 12(1):17-22.
Cleaveland R, Steffen B.  1993.  A linear-time model-checking algorithm for the alternation-free modal mu-calculus. Formal methods in system design. 2(2):121-147.
Dillencourt MB, Mount D, Saalfeld AJ.  1993.  On The Maximum Number of Intersections of Two Polyhedra in 2 and 3 Dimensions. Proceedings of the Fifth Canadian Conference on Computational Geometry, Waterloo, Ontario. :49-54.
Shneiderman B.  1993.  A nonanthropomorphic style guide: overcoming the Humpty Dumpty syndrome. Sparks of innovation in human-computer interaction. :331-331.
Berkman O, Schieber B, Vishkin U.  1993.  Optimal doubly logarithmic parallel algorithms based on finding all nearest smaller values. Journal of Algorithms. 14(3):344-370.
Arkin E, Goodrich M, Mitchell J, Mount D, Piatko C, Skiena S.  1993.  Point probe decision trees for geometric concept classes. Algorithms and Data Structures. :95-106.
Citrin W, Halbert D, Hewitt C, Meyrowitz N, Shneiderman B.  1993.  Potentials and limitations of pen-based computers. Proceedings of the 1993 ACM conference on Computer science. :536-539.

Pages