Publications
Export 124 results:
Author [ Title] Type Year Filters: Keyword is Computer science [Clear All Filters]
2002. Dependent rounding in bipartite graphs. The 43rd Annual IEEE Symposium on Foundations of Computer Science, 2002. Proceedings. :323-332.
1997. Design and evaluation of incremental data structures and algorithms for dynamic query interfaces. IEEE Symposium on Information Visualization, 1997. Proceedings. :81-86.
2000. Direct annotation: a drag-and-drop strategy for labeling photos. IEEE International Conference on Information Visualization, 2000. Proceedings. :88-95.
1993. A distributed algorithm for ear decomposition. , Fifth International Conference on Computing and Information, 1993. Proceedings ICCI '93. :180-184.
2009. Distributed Strategies for Channel Allocation and Scheduling in Software-Defined Radio Networks. IEEE INFOCOM 2009. :1521-1529.
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.
2001. Dynamic queries and brushing on choropleth maps. Fifth International Conference on Information Visualisation, 2001. Proceedings. :757-764.
2003. The effect of bilingual term list size on dictionary-based cross-language information retrieval. Proceedings of the 36th Annual Hawaii International Conference on System Sciences, 2003.
1992. Efficient algorithms for computing matching and chromatic polynomials on series-parallel graphs. , Fourth International Conference on Computing and Information, 1992. Proceedings. ICCI '92. :42-45.
2001. Efficient and Non-interactive Non-malleable Commitment. Advances in Cryptology — EUROCRYPT 2001Advances in Cryptology — EUROCRYPT 2001. 2045:40-59.
2007. Efficient lookup on unstructured topologies. IEEE Journal on Selected Areas in Communications. 25(1):62-72.
1996. Efficient model checking via the equational μ-calculus. , Eleventh Annual IEEE Symposium on Logic in Computer Science, 1996. LICS '96. Proceedings. :304-312.
1995. Efficient on-the-fly model checking for CTL. , Tenth Annual IEEE Symposium on Logic in Computer Science, 1995. LICS '95. Proceedings. :388-397.
1988. An efficient pictorial database system for PSQL. IEEE Transactions on Software Engineering. 14(5):639-650.
2004. End-to-end analysis of distributed video-on-demand systems. IEEE Transactions on Multimedia. 6(1):129-141.
2002. Experiences with capsule-based active networking. DARPA Active NEtworks Conference and Exposition, 2002. Proceedings. :16-24.
2002. Experimental Evaluation of the Unavailability Induced by a Group Membership Protocol. Dependable Computing EDCC-4. 2485:644-648.
1995. Experimental investigation of high performance cognitive and interactive text filtering. , IEEE International Conference on Systems, Man and Cybernetics, 1995. Intelligent Systems for the 21st Century. 5:4398-4403vol.5-4398-4403vol.5.
1992. Exploratory active vision: theory. Proceedings of 1992 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 1992. :10-15.
2004. Extending the utility of treemaps with flexible hierarchy. Eighth International Conference on Information Visualisation, 2004. IV 2004. Proceedings. :335-344.
2004. Facilitating understanding of information visualizations: emerging principles and examples. Eighth International Conference on Information Visualisation, 2004. IV 2004. Proceedings.
2008. Finding Corrupted Computers Using Imperfect Intrusion Prevention System Event Data. Computer Safety, Reliability, and Security. 5219:221-234.
2006. Finding Mold-Piece Regions Using Computer Graphics Hardware. Geometric Modeling and Processing - GMP 2006. 4077:655-662.
2007. Finding Most Probable Worlds of Probabilistic Logic Programs. Scalable Uncertainty Management. 4772:45-59.
2009. First Steps to Netviz Nirvana: Evaluating Social Network Analysis with NodeXL. International Conference on Computational Science and Engineering, 2009. CSE '09. 4:332-339.