Publications
2005. Approximation results for probabilistic survivability. Multi-Agent Security and Survivability, 2005 IEEE 2nd Symposium on. :1-10.
2011. Variable remapping of images from very different sources. 2011 18th IEEE International Conference on Image Processing (ICIP). :1501-1504.
1998. Models and high-performance algorithms for global BRDF retrieval. Computational Science Engineering, IEEE. 5(4):16-29.
1992. Parallel sparse Cholesky factorization on a shared memory multiprocessor. Parallel Computing. 18(9):1009-1022.
2005. Efficient temporal-logic query checking for presburger systems. Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering. :24-33.
2005. Fast generic model-checking for data-based systems. Formal Techniques for Networked and Distributed Systems-FORTE 2005. :83-97.
2007. Numerical Analysis of Plasmon Resonances in Nanoparticles Based on Fast Multipole Method. Magnetics, IEEE Transactions on. 43(4):1465-1468.
2011. Blurring-invariant Riemannian metrics for comparing signals and images. 2011 IEEE International Conference on Computer Vision (ICCV). :1770-1775.
2005. Fast on-the-fly parametric real-time model checking. Real-Time Systems Symposium, 2005. RTSS 2005. 26th IEEE International. :10–pp-10–pp.
2009. Modal expansion of HRTFs: Continuous representation in frequency-range-angle. Acoustics, Speech and Signal Processing, 2009. ICASSP 2009. IEEE International Conference on. :285-288.
2005. Query planning for the grid: adapting to dynamic resource availability. Cluster Computing and the Grid, IEEE International Symposium on. 2:751-758.
2003. The integrated CWB-NC/PIOAtool for functional verification and performance analysis of concurrent systems. Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems. :431-436.
2008. Extending sense-making models with ideas from cognition and learning theories. Proceedings of the American Society for Information Science and Technology. 45(1):23-23.
2008. Affinity Makes the Difference: Nonselective Interaction of the UBA Domain of Ubiquilin-1 with Monomeric Ubiquitin and Polyubiquitin Chains. Journal of Molecular Biology. 377(1):162-180.
2007. Task-based interaction with an integrated multilingual, multimedia information system: a formative evaluation. Proceedings of the 7th ACM/IEEE-CS joint conference on Digital libraries. :117-126.
2011. Boosting the scalability of botnet detection using adaptive traffic sampling. Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security. :124-134.
2009. Structure of the S5a:K48-Linked Diubiquitin Complex and Its Interactions with Rpn13. Molecular Cell. 35(3):280-290.
2009. Two Alternatively Spliced Isoforms of the Arabidopsis SR45 Protein Have Distinct Roles during Normal Plant Development. Plant PhysiologyPlant Physiol.. 150(3):1450-1458.
2000. Kronos: A software system for the processing and retrieval of large-scale AVHRR data sets. PE & RS- Photogrammetric Engineering and Remote Sensing. 66(9):1073-1082.
2007. GATA and Nkx factors synergistically regulate tissue-specific gene expression and development in vivo. Development. 134(1):189-198.
2002. Image-based face recognition: Issues and methods. Image recognition and classification: algorithms, systems, and applicationsImage recognition and classification: algorithms, systems, and applications. :375-402.
2005. iSonic: interactive sonification for non-visual data exploration. Proceedings of the 7th international ACM SIGACCESS conference on Computers and accessibility. :194-195.
2005. Improving Accessibility and Usability of Geo-referenced Statistical Data (2003). Institute for Systems Research Technical Reports.
2009. Improving search effectiveness in the legal e-discovery process using relevance feedback. Proceedings of the global E-Discovery/E-Disclosure workshop on electronically stored information in discovery at the 12th international conference on artificial intelligence and law (ICAIL09 DESI Workshop). DESI Press, Barcelona.
2004. Iterative figure-ground discrimination. Pattern Recognition, 2004. ICPR 2004. Proceedings of the 17th International Conference on. 1:67-70Vol.1-67-70Vol.1.