Conference Papers

(Publications are listed alphabetically by title)

Pages

Sharaf MA, Sismanis Y, Labrinidis A, Chrysanthis P, Roussopoulos N. Efficient dissemination of aggregate data over the wireless web. In: International Workshop on the Web and Databases (WebDB).; 2003. 9. p. 93-98p.

Duraiswami R, Gumerov NA, Zotkin DN, Davis LS. Efficient evaluation of reverberant sound fields. In: Applications of Signal Processing to Audio and Acoustics, 2001 IEEE Workshop on the. IEEE; 2001. 2. p. 203-206p.

Lee S, Bhattacharjee B, Banerjee S. Efficient geographic routing in multihop wireless networks. In: Proceedings of the 6th ACM international symposium on Mobile ad hoc networking and computing. New York, NY, USA: ACM; 2005. 2. p. 230-241p. (MobiHoc '05).

Biswas S, Aggarwal G, Chellappa R. Efficient Indexing For Articulation Invariant Shape Matching And Retrieval. In: Computer Vision and Pattern Recognition, 2007. CVPR '07. IEEE Conference on.; 2007. 1. p. 1-8p.

Tikir MM, Hollingsworth J. Efficient instrumentation for code coverage testing. In: ACM SIGSOFT Software Engineering Notes. Vol 27.; 2002. 8. p. 86-96p.

Heitzmann A, Palazzi B, Papamanthou C, Tamassia R. Efficient Integrity Checking of Untrusted Network Storage. In: StorageSS '08 Proceedings of the 4th ACM International Workshop on Storage Security and Survivability . ACM; 2008. 4. p. 43-54p. (StorageSS '08).

Memarsadeghi N, Raykar VC, Duraiswami R, Mount D. Efficient Kriging via Fast Matrix-Vector Products. In: Aerospace Conference, 2008 IEEE.; 2008. 1. p. 1-7p.

Morselli R, Bhattacharjee B, Srinivasan A, Marsh MA. Efficient lookup on unstructured topologies. In: Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing. New York, NY, USA: ACM; 2005. 7. p. 77-86p. (PODC '05).

Beynon MD, Sussman A, Kurc T, Catalyurek U, Saltz J. Efficient Manipulation of Large Datasets on Heterogeneous Storage Systems. In: Parallel and Distributed Processing Symposium, International. Vol 2. Los Alamitos, CA, USA: IEEE Computer Society; 2002. 0. p. 0084.

Yang C, Duraiswami R, Davis LS. Efficient mean-shift tracking via a new similarity measure. In: Computer Vision and Pattern Recognition, 2005. CVPR 2005. IEEE Computer Society Conference on. Vol 1.; 2005. 1. p. 176-183p. vol. p. 1-176p. - 183 vol. 1.

Aggarwal A, Bar-Noy A, Khuller S, Kravets D, Schieber B. Efficient minimum cost matching using quadrangle inequality. In: Foundations of Computer Science, 1992. Proceedings., 33rd Annual Symposium on.; 1992. 5. p. 583-592p.

Bhat GS, Cleaveland R, Groce A. Efficient Model Checking Via Buchi Tableau Automata⋆. In: Computer aided verification: 13th International conference, CAV 2001, Paris, France, July 18-22, 2001: proceedings. Vol 2102.; 2001. 3. p. 38.

Bhat G, Cleaveland R. Efficient model checking via the equational μ-calculus. In: , Eleventh Annual IEEE Symposium on Logic in Computer Science, 1996. LICS '96. Proceedings. IEEE; 1996. 3. p. 304-312p.

Ryu KD, Hollingsworth J, Keleher PJ. Efficient network and I/O throttling for fine-grain cycle stealing. In: Proceedings of the 2001 ACM/IEEE conference on Supercomputing (CDROM) - Supercomputing '01. Denver, Colorado; 2001. 3. p. 3.

Bhat G, Cleaveland R, Grumberg O. Efficient on-the-fly model checking for CTL. In: , Tenth Annual IEEE Symposium on Logic in Computer Science, 1995. LICS '95. Proceedings. IEEE; 1995. 3. p. 388-397p.

Khuller S, Schieber B. Efficient parallel algorithms for testing connectivity and finding disjoint s-t paths in graphs. In: Foundations of Computer Science, 1989., 30th Annual Symposium on.; 1989. 2. p. 288-293p.

Ramachandran V, Vishkin U. Efficient parallel triconnectivity in logarithmic time. In: VLSI Algorithms and Architectures.; 1988. 3. p. 33-42p.

Khan Z, Balch T, Dellaert F. Efficient particle filter-based tracking of multiple interacting targets using an MRF-based motion model. In: 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2003. (IROS 2003). Proceedings. Vol 1.; 2003. 2. p. 254-259p. vol.1.

Barequet G, Duncan CA, Goodrich MT, Kumar S, Pop M. Efficient perspective-accurate silhouette computation. In: Proceedings of the fifteenth annual symposium on Computational geometry. New York, NY, USA: ACM; 1999. 4. p. 417-418p. (SCG '99).

Pop M, Duncan C, Barequet G, Goodrich M, Huang W, Kumar S. Efficient perspective-accurate silhouette computation and applications. In: Proceedings of the seventeenth annual symposium on Computational geometry. New York, NY, USA: ACM; 2001. 6. p. 60-68p. (SCG '01).

Martinez MV, Parisi F, Pugliese A, Simari GI, V.S. Subrahmanian. Efficient Policy-Based Inconsistency Management in Relational Knowledge Bases. In: Scalable Uncertainty Management: 4th International Conference. Vol 6379.; 2010. 2. p. 264.

Cranston CB, Samet H. Efficient position-independent iconic search using an R-theta index. In: Proceedings of the 14th annual ACM international symposium on Advances in geographic information systems. New York, NY, USA: ACM; 2006. 2. p. 27-34p. (GIS '06).

Sankaranarayanan J, Alborzi H, Samet H. Efficient query processing on spatial networks. In: Proceedings of the 13th annual ACM international workshop on Geographic information systems. New York, NY, USA: ACM; 2005. 2. p. 200-209p. (GIS '05).

Bright L, Raschid L. Efficient remote data access in a mobile computing environment. In: ICPP.; 2000. 5. p. 57.

Agrawal G, Sussman A, Saltz J. Efficient runtime support for parallelizing block structured applications. In: Scalable High-Performance Computing Conference, 1994., Proceedings of the.; 1994. 1. p. 158-167p.

Hsu CJ, Ramasubbu S, Ko MY, Pino JL, Bhattacharyya SS. Efficient simulation of critical synchronous dataflow graphs. In: Proceedings of the 43rd annual Design Automation Conference.; 2006. 8. p. 893-898p.

Kee H, Bhattacharyya SS, Kornerup J. Efficient static buffering to guarantee throughput-optimal FPGA implementation of synchronous dataflow graphs. In: 2010 International Conference on Embedded Computer Systems (SAMOS).; 2010. 1. p. 136-143p.

Deshpande A, Garofalakis MN, Jordan MI. Efficient stepwise selection in decomposable models. In: Proc. UAI.; 2001. 1. p. 128-135p.

Landau GM, Vishkin U. Efficient string matching in the presence of errors. In: Foundations of Computer Science, 1985., 26th Annual Symposium on.; 1985. 1. p. 126-136p.

Srinivasan BV, Duraiswami R. Efficient subset selection via the kernelized Rényi distance. In: Computer Vision, 2009 IEEE 12th International Conference on.; 2009. 1. p. 1081-1088p.

Hayden CM, Hardisty EA, Hicks MW, Foster JS. Efficient systematic testing for dynamically updatable software. In: Proceedings of the 2nd International Workshop on Hot Topics in Software Upgrades. New York, NY, USA: ACM; 2009. 9. 9:p. 1-9p. :p. 5-9p. :p. 1-9p. :5. (HotSWUp '09).

Shi Q, JaJa JF. Efficient techniques for range search queries on earth science data. In: Scientific and Statistical Database Management, 2002. Proceedings. 14th International Conference on.; 2002. 1. p. 142-151p.

Lacroix Z, Raschid L, Vidal ME. Efficient techniques to explore and rank paths in life science data sources. In: Data Integration in the Life Sciences.; 2004. 1. p. 187-202p.

Zhang D, Cleaveland R. Efficient temporal-logic query checking for presburger systems. In: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering. New York, NY, USA: ACM; 2005. 2. p. 24-33p. (ASE '05).

Yi L, Jacobs DW. Efficiently Determining Silhouette Consistency. In: Computer Vision and Pattern Recognition, 2007. CVPR '07. IEEE Conference on.; 2007. 1. p. 1-8p.

Agrawal AK, Chellappa R. Ego-Motion Estimation and 3D Model Refinement in Scenes with Varying Illumination. In: Application of Computer Vision, 2005. WACV/MOTIONS '05 Volume 1. Seventh IEEE Workshops on. Vol 2.; 2005. 1. p. 140-146p.

Kandogan E, Shneiderman B. Elastic Windows: a hierarchical multi-window World-Wide Web browser. In: Proceedings of the 10th annual ACM symposium on User interface software and technology.; 1997. 1. p. 169-177p.

Kandogan E, Shneiderman B. Elastic Windows: evaluation of multi-window operations. In: Proceedings of the SIGCHI conference on Human factors in computing systems.; 1997. 2. p. 250-257p.

Kandogan E, Shneiderman B. Elastic windows: improved spatial layout and rapid multiple window operations. In: Proceedings of the workshop on Advanced visual interfaces. New York, NY, USA: ACM; 1996. 2. p. 29-38p. (AVI '96).

Seydou F, Duraiswami R, Seppanen T. Electromagnetic scattering from a multilayered cylindrical waveguide. In: Antennas and Propagation Society International Symposium, 2003. IEEE. Vol 3.; 2003. 3. p. 332-335p. vol.p. 3-332p. - 335 vol.3.

Bederson BB, Lee B, Sherman RM, Herrnson PS, Niemi RG. Electronic voting system usability issues. In: Proceedings of the SIGCHI conference on Human factors in computing systems.; 2003. 1. p. 145-152p.

Pugh W, Wonnacott D. Eliminating false data dependences using the Omega test. In: Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation.; 1992. 1. p. 140-151p.

Cho M, Mount D. Embedding and similarity search for point sets under translation. In: Proceedings of the twenty-fourth annual symposium on Computational geometry. New York, NY, USA: ACM; 2008. 3. p. 320-327p. (SCG '08).

Cheng K-, Zuckerman I, Kuter U, Nau DS. Emergence of cooperative societies in evolutionary games. New York, NY, USA: ACM; 2010. 1. p. 1793-1800p. (GECCO '10).

Rus I, Basili VR, Zelkowitz MV, Boehm B. Empirical evaluation of techniques and methods used for achieving and assessing software high dependability. In: Proc. DSN Workshop on Dependability Benchmarking.; 2002.

Memon AM, Xie Q. Empirical evaluation of the fault-detection effectiveness of smoke regression test cases for GUI-based software. In: Software Maintenance, 2004. Proceedings. 20th IEEE International Conference on.; 2004. 8. p. 8-17p.

Perry DE, Porter A, Votta LG. Empirical studies of software engineering: a roadmap. In: Proceedings of the conference on The future of Software engineering.; 2000. 3. p. 345-355p.

Asgari S, Basili VR, Costa P, Donzelli P, Hochstein L, Lindvall M, et al. Empirical-based estimation of the effect on software dependability of a technique for architecture conformance verification. In: Proceedings of the ICSE 2004 Workshop on Architecting Dependable Systems, Edinburgh, UK.; 2004.