Export 124 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is Computer science  [Clear All Filters]
Dang G, North C, Shneiderman B.  2001.  Dynamic queries and brushing on choropleth maps. Fifth International Conference on Information Visualisation, 2001. Proceedings. :757-764.
Di Crescenzo G, Katz J, Ostrovsky R, Smith A.  2001.  Efficient and Non-interactive Non-malleable Commitment. Advances in Cryptology — EUROCRYPT 2001Advances in Cryptology — EUROCRYPT 2001. 2045:40-59.
Li Y, Long PM, Srinivasan A.  2001.  The one-inclusion graph algorithm is near-optimal for the prediction model of learning. IEEE Transactions on Information Theory. 47(3):1257-1261.
Shneiderman B, Wattenberg M.  2001.  Ordered treemap layouts. IEEE Symposium on Information Visualization, 2001. INFOVIS 2001. :73-78.
Browne HK, Arbaugh WA, McHugh J, Fithen WL.  2001.  A trend analysis of exploitations. 2001 IEEE Symposium on Security and Privacy, 2001. S&P 2001. Proceedings. :214-229.
Shneiderman B, Kang H.  2000.  Direct annotation: a drag-and-drop strategy for labeling photos. IEEE International Conference on Information Visualization, 2000. Proceedings. :88-95.
Gandhi R, Kumar G, Bederson BB, Shneiderman B.  2000.  Domain name based visualization of Web histories in a zoomable user interface. 11th International Workshop on Database and Expert Systems Applications, 2000. Proceedings. :591-598.
Chang C, Kurc T, Sussman A, Saltz J.  2000.  Optimizing retrieval and processing of multi-dimensional scientific datasets. Parallel and Distributed Processing Symposium, 2000. IPDPS 2000. Proceedings. 14th International. :405-410.
Shneiderman B.  2000.  Supporting creativity with powerful composition tools for artifacts and performances. Proceedings of the 33rd Annual Hawaii International Conference on System Sciences, 2000.
Kang H, Shneiderman B.  2000.  Visualization methods for personal photo collections: browsing and searching in the PhotoFinder. 2000 IEEE International Conference on Multimedia and Expo, 2000. ICME 2000. 3:1539-1542vol.3-1539-1542vol.3.
Mundur P, Simon R, Sood A.  1999.  Integrated admission control in hierarchical video-on-demand systems. IEEE International Conference on Multimedia Computing and Systems, 1999. 1:220-225vol.1-220-225vol.1.
Simon R, Sood A, Mundur P.  1999.  Network service selection for distributed multimedia applications. Third International Conference on Computational Intelligence and Multimedia Applications, 1999. ICCIMA '99. Proceedings. :388-392.
Radhakrishnan J, Srinivasan A.  1998.  Improved bounds and algorithms for hypergraph two-coloring. 39th Annual Symposium on Foundations of Computer Science, 1998. Proceedings. :684-693.
Eom H, Hollingsworth J.  1998.  LBF: a performance metric for program reorganization. 18th International Conference on Distributed Computing Systems, 1998. Proceedings. :222-229.
Leighton T, Rao S, Srinivasan A.  1998.  Multicommodity flow and circuit switching. , Proceedings of the Thirty-First Hawaii International Conference on System Sciences, 1998. 7:459-465vol.7-459-465vol.7.
Soffer A, Samet H, Zotkin DN.  1998.  Pictorial query trees for query specification in image databases. Fourteenth International Conference on Pattern Recognition, 1998. Proceedings. 1:919-921vol.1-919-921vol.1.
Tanin E, Beigel R, Shneiderman B.  1997.  Design and evaluation of incremental data structures and algorithms for dynamic query interfaces. IEEE Symposium on Information Visualization, 1997. Proceedings. :81-86.
Srinivasan A.  1997.  Improved approximations for edge-disjoint paths, unsplittable flow, and related routing problems. , 38th Annual Symposium on Foundations of Computer Science, 1997. Proceedings. :416-425.
Hollingsworth J, Niam O, Miller BP, Xu Z, Goncalves MJR, Zheng L.  1997.  MDL: a language and compiler for dynamic program instrumentation. , 1997 International Conference on Parallel Architectures and Compilation Techniques., 1997. Proceedings. :201-212.
Natarajan V, Cleaveland R.  1996.  An algebraic theory of process efficiency. , Eleventh Annual IEEE Symposium on Logic in Computer Science, 1996. LICS '96. Proceedings. :63-72.
Bhat G, Cleaveland R.  1996.  Efficient model checking via the equational μ-calculus. , Eleventh Annual IEEE Symposium on Logic in Computer Science, 1996. LICS '96. Proceedings. :304-312.
Powell D, Cukier M, Arlat J.  1996.  On stratified sampling for high coverage estimations. Dependable Computing — EDCC-2. 1150:35-54.
Kelly W, Pugh W, Rosser E.  1995.  Code generation for multiple mappings. Frontiers of Massively Parallel Computation, 1995. Proceedings. Frontiers '95., Fifth Symposium on the. :332-341.
Porter A, Votta LG, Basili VR.  1995.  Comparing detection methods for software requirements inspections: a replicated experiment. IEEE Transactions on Software Engineering. 21(6):563-575.
Bhat G, Cleaveland R, Grumberg O.  1995.  Efficient on-the-fly model checking for CTL. , Tenth Annual IEEE Symposium on Logic in Computer Science, 1995. LICS '95. Proceedings. :388-397.