Publications
Export 124 results:
Author Title Type [ Year] Filters: Keyword is Computer science [Clear All Filters]
2001. Dynamic queries and brushing on choropleth maps. Fifth International Conference on Information Visualisation, 2001. Proceedings. :757-764.
2001. Efficient and Non-interactive Non-malleable Commitment. Advances in Cryptology — EUROCRYPT 2001Advances in Cryptology — EUROCRYPT 2001. 2045:40-59.
2001. The one-inclusion graph algorithm is near-optimal for the prediction model of learning. IEEE Transactions on Information Theory. 47(3):1257-1261.
2001. Ordered treemap layouts. IEEE Symposium on Information Visualization, 2001. INFOVIS 2001. :73-78.
2001. A trend analysis of exploitations. 2001 IEEE Symposium on Security and Privacy, 2001. S&P 2001. Proceedings. :214-229.
2000. Direct annotation: a drag-and-drop strategy for labeling photos. IEEE International Conference on Information Visualization, 2000. Proceedings. :88-95.
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.
2000. Optimizing retrieval and processing of multi-dimensional scientific datasets. Parallel and Distributed Processing Symposium, 2000. IPDPS 2000. Proceedings. 14th International. :405-410.
2000. Supporting creativity with powerful composition tools for artifacts and performances. Proceedings of the 33rd Annual Hawaii International Conference on System Sciences, 2000.
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.
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.
1999. Network service selection for distributed multimedia applications. Third International Conference on Computational Intelligence and Multimedia Applications, 1999. ICCIMA '99. Proceedings. :388-392.
1998. Improved bounds and algorithms for hypergraph two-coloring. 39th Annual Symposium on Foundations of Computer Science, 1998. Proceedings. :684-693.
1998. LBF: a performance metric for program reorganization. 18th International Conference on Distributed Computing Systems, 1998. Proceedings. :222-229.
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.
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.
1997. Design and evaluation of incremental data structures and algorithms for dynamic query interfaces. IEEE Symposium on Information Visualization, 1997. Proceedings. :81-86.
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.
1997. MDL: a language and compiler for dynamic program instrumentation. , 1997 International Conference on Parallel Architectures and Compilation Techniques., 1997. Proceedings. :201-212.
1996. An algebraic theory of process efficiency. , Eleventh Annual IEEE Symposium on Logic in Computer Science, 1996. LICS '96. Proceedings. :63-72.
1996. Efficient model checking via the equational μ-calculus. , Eleventh Annual IEEE Symposium on Logic in Computer Science, 1996. LICS '96. Proceedings. :304-312.
1996. On stratified sampling for high coverage estimations. Dependable Computing — EDCC-2. 1150:35-54.
1995. Code generation for multiple mappings. Frontiers of Massively Parallel Computation, 1995. Proceedings. Frontiers '95., Fifth Symposium on the. :332-341.
1995. Comparing detection methods for software requirements inspections: a replicated experiment. IEEE Transactions on Software Engineering. 21(6):563-575.
1995. Efficient on-the-fly model checking for CTL. , Tenth Annual IEEE Symposium on Logic in Computer Science, 1995. LICS '95. Proceedings. :388-397.