Publications
Export 292 results:
[ Author] Title Type Year Filters: First Letter Of Title is F [Clear All Filters]
1997. Fundamental laws and assumptions of software maintenance. Empirical Software Engineering. 2(2):119-131.
2008. Formalizing Soundness of Contextual Effects. Theorem Proving in Higher Order LogicsTheorem Proving in Higher Order Logics. 5170:262-277.
2006. Finding Mold-Piece Regions Using Computer Graphics Hardware. Geometric Modeling and Processing - GMP 2006. 4077:655-662.
1995. Finding Legal Reordering Transformations using Mappings. Languages and compilers for parallel computing: 7th International Workshop, Ithaca, NY, USA, August 8-10, 1994: proceedings. 7:107-107.
2007. Filtering spam with behavioral blacklisting. Proceedings of the 14th ACM conference on Computer and communications security. :342-351.
2011. A Fast Bilinear Structure from Motion Algorithm Using a Video Sequence and Inertial Sensors. IEEE Transactions on Pattern Analysis and Machine Intelligence. 33(1):186-193.
2007. Fast Bilinear SfM with Side Information. Computer Vision, 2007. ICCV 2007. IEEE 11th International Conference on. :1-8.
2008. Fast monitoring of traffic subpopulations. Proceedings of the 8th ACM SIGCOMM conference on Internet measurement. :257-270.
2006. Face Verification Across Age Progression. Image Processing, IEEE Transactions on. 15(11):3349-3361.
2004. Facial similarity across age, disguise, illumination and pose. Image Processing, 2004. ICIP '04. 2004 International Conference on. 3:1999-2002Vol.3-1999-2002Vol.3.
2002. Formal specification and verification of a group membership protocol for an intrusion-tolerant group communication system. :9-18.
2003. Formal verification of an intrusion-tolerant group membership protocol. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS E SERIES D. 86(12):2612-2622.
2006. Finding Gait in Space and Time. Pattern Recognition, 2006. ICPR 2006. 18th International Conference on. 4:586-589.
2007. Full Spectrum Modeling: From Simplicity to Elaboration and Realism in Urban Pattern Formation. North american association computational social and organization sciences conference (NAACSOS).
2006. Fuzzy svm ensembles for relevance feedback in image retrieval. Image and Video Retrieval. :350-359.
2004. Formal Modeling Of Middleware-based Distributed Systems. Electronic Notes in Theoretical Computer Science. 108:21-37.
2008. A Fast Algorithm for Learning a Ranking Function from Large-Scale Data Sets. Pattern Analysis and Machine Intelligence, IEEE Transactions on. 30(7):1158-1170.
2007. Fast large scale Gaussian process regression using approximate matrix-vector products. Learning workshop.
2005. Fast Computation of Sums of Gaussians in High Dimensions. Technical Reports from UMIACS UMIACS-TR-2005-69.
2006. Fast optimal bandwidth selection for kernel density estimation. Proceedings of the sixth SIAM International Conference on Data Mining. :524-528.
2007. A fast algorithm for learning large scale preference relations. Proceedings of the Eleventh International Conference on Artificial Intelligence and Statistics (AISTATS 2007). 2:388-395.
2010. Fast Computation of Kernel Estimators. Journal of Computational and Graphical Statistics. 19(1):205-220.