Publications
Export 853 results:
Author Title [ Type] Year Filters: First Letter Of Last Name is F [Clear All Filters]
2008. Rule-based static analysis of network protocol implementations. Information and Computation. 206(2):130-157.
2012. Rpn1 and Rpn2 coordinate ubiquitin processing factors at the proteasome. Journal of Biological ChemistryJ. Biol. Chem..
1993. The role of fixation in visual motion analysis. International Journal of Computer Vision. 11(2):165-186.
2000. Robustly estimating changes in image appearance. Computer Vision and Image Understanding. 78(1):8-31.
2009. Robust Wavelet-Based Super-Resolution Reconstruction: Theory and Algorithm. IEEE Transactions on Pattern Analysis and Machine Intelligence. 31(4):649-660.
2011. A robust and rotationally invariant local surface descriptor with applications to non-local mesh processing. Graphical Models. 73(5):231-242.
2010. Reversible Post-Translational Carboxylation Modulates the Enzymatic Activity of N-Acetyl-l-ornithine Transcarbamylase. Biochemistry. 49(32):6887-6895.
2001. Rescuing a destabilized protein fold through backbone cyclization. Journal of Molecular Biology. 308(5):1045-1062.
1982. On the relationship between the biconnectivity augmentation and traveling salesman problem. Theoretical Computer Science. 19(2):189-201.
1997. Regularization by Truncated Total Least Squares. SIAM Journal on Scientific Computing. 18(4):1223-1241.
2012. Refactoring Network Infrastructure to Improve Manageability: A Case Study of Home Networking. SIGCOMM Comput. Commun. Rev.. 42(3):54-61.
1993. Recognizing 3-D Motion. INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL IN℡LIGENCE. 13:1624-1624.
2001. Reading between the lines: Lessons from the SDMI challenge. Proceedings of the 10th USENIX Security Symposium. :13-17.
2012. Prototyping scalable digital signal processing systems for radio astronomy using dataflow models. Radio Science. 47(3):n/a-n/a.
2008. Promoting Insight-Based Evaluation of Visualizations: From Contest to Benchmark Repository. Visualization and Computer Graphics, IEEE Transactions on. 14(1):120-134.
2009. Promoting energy efficient behaviors in the home through feedback: The role of human-computer interaction. Proc. HCIC Workshop. 9
2009. Promoting energy efficient behaviors in the home through feedback: The role of human-computer interaction. Proc. HCIC Workshop. 9
2009. Profile-guided static typing for dynamic scripting languages. ACM SIGPLAN Notices. 44(10):283-300.