Publications
Export 17 results:
Author Title Type [ Year] Filters: Keyword is Algorithm design and analysis [Clear All Filters]
2011. Group-in-a-Box Layout for Multi-faceted Analysis of Communities. Privacy, Security, Risk and Trust (PASSAT), 2011 IEEE Third International Conference on and 2011 IEEE Third International Confernece on Social Computing (SocialCom). :354-361.
2010. New Constructive Aspects of the Lovasz Local Lemma. 2010 51st Annual IEEE Symposium on Foundations of Computer Science (FOCS). :397-406.
2009. A cooperative combinatorial Particle Swarm Optimization algorithm for side-chain packing. IEEE Swarm Intelligence Symposium, 2009. SIS '09. :22-29.
2008. Approximation Algorithms for Computing Capacity of Wireless Networks with SINR Constraints. IEEE INFOCOM 2008. The 27th Conference on Computer Communications. :1166-1174.
2008. Guest Editors' Introduction to the Special Section on Algorithms in Bioinformatics. IEEE/ACM Transactions on Computational Biology and Bioinformatics. 5(4):482-483.
2008. A new multiresolution generalized directional filter bank design and application in image enhancement. 15th IEEE International Conference on Image Processing, 2008. ICIP 2008. :2816-2819.
2003. Polydioptric camera design and 3D motion estimation. 2003 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 2003. Proceedings. 2:II-294-301vol.2-II-294-301vol.2.
2002. Decoupled query optimization for federated database systems. 18th International Conference on Data Engineering, 2002. Proceedings. :716-727.
2002. Eyes from eyes: new cameras for structure from motion. Third Workshop on Omnidirectional Vision, 2002. Proceedings. :19-26.
2001. Efficient algorithms for location and sizing problems in network design. IEEE Global Telecommunications Conference, 2001. GLOBECOM '01. 4:2586-2590vol.4-2586-2590vol.4.
2001. Visualization of large data sets with the Active Data Repository. IEEE Computer Graphics and Applications. 21(4):24-33.
1997. Design and evaluation of incremental data structures and algorithms for dynamic query interfaces. IEEE Symposium on Information Visualization, 1997. Proceedings. :81-86.
1995. Efficient on-the-fly model checking for CTL. , Tenth Annual IEEE Symposium on Logic in Computer Science, 1995. LICS '95. Proceedings. :388-397.
1995. Going beyond integer programming with the Omega test to eliminate false data dependences. IEEE Transactions on Parallel and Distributed Systems. 6(2):204-211.
1993. RTSL: a language for real-time schedulability analysis. Real-Time Systems Symposium, 1993., Proceedings.. :274-283.