Publications
2001. Variable-precision rendering. Proceedings of the 2001 symposium on Interactive 3D graphics. :149-158.
2011. Variable remapping of images from very different sources. 2011 18th IEEE International Conference on Image Processing (ICIP). :1501-1504.
2010. Values of Stakeholders in the Net Neutrality Debate: Applying Content Analysis to Telecommunications Policy. Hawaii International Conference on System Sciences. :1-10.
2000. The value of strong inapproximability results for clique. Proceedings of the thirty-second annual ACM symposium on Theory of computing. :144-152.
2009. Validating Automotive Control Software Using Instrumentation-Based Verification. Automated Software Engineering, International Conference on. :15-25.
2001. Validating an access cost model for wide area applications. Cooperative Information Systems. :371-385.
1993. Vacuum-logic. Proceedings of AAAI 1993 Fall Symposium Series: Instantiating Real-World Agents. :51-54.
2004. Utilizing volatile external information during planning. Proceedings of the European Conference on Artificial Intelligence (ECAI). :647-651.
1998. Utility elicitation as a classification problem. Proceedings of the Fourteenth conference on Uncertainty in artificial intelligence. :79-88.
2008. Using wearable sensors and real time inference to understand human recall of routine activities. Proceedings of the 10th international conference on Ubiquitous computing. :154-163.
2003. Using Visualization Tools to Gain Insight Into Your Data. SPE Annual Technical Conference and Exhibition.
2009. Using uncertainty as a model selection and comparison criterion. Proceedings of the 5th International Conference on Predictor Models in Software Engineering. :18:1–18:9-18:1–18:9.
2004. Using transient/persistent errors to develop automated test oracles for event-driven software. Automated Software Engineering, 2004. Proceedings. 19th International Conference on. :186-195.
2004. Using the structure of Web sites for automatic segmentation of tables. Proceedings of the 2004 ACM SIGMOD international conference on Management of data. :119-130.
2005. Using the inner-distance for classification of articulated shapes. Computer Vision and Pattern Recognition, 2005. CVPR 2005. IEEE Computer Society Conference on. 2:719-726vol.2-719-726vol.2.
1993. Using Synthetic-Perturbation Techniques for Tuning Shared Memory Programs. Parallel Processing, 1993. ICPP 1993. International Conference on. 2:2-10.
2010. Using symbolic evaluation to understand behavior in configurable software systems. Software Engineering, 2010 ACM/IEEE 32nd International Conference on. 1:445-454.
2007. Using Stereo Matching for 2-D Face Recognition Across Pose. Computer Vision and Pattern Recognition, 2007. CVPR '07. IEEE Conference on. :1-8.
2003. Using state modules for adaptive query processing. 19th International Conference on Data Engineering, 2003. Proceedings. :353-364.
2003. Using specularities for recognition. Computer Vision, 2003. Proceedings. Ninth IEEE International Conference on. :1512-1519vol.2-1512-1519vol.2.
1975. Using semantic networks for data base management. Proceedings of the 1st International Conference on Very Large Data Bases. :144-172.
2000. Using quality of data metadata for source selection and ranking. Proceedings of the Third International Workshop on the Web and Databases, WebDB. :93-98.
2005. Using probabilistic models for data management in acquisitional environments. Proc. CIDR. :317-328.
2007. Using paraphrases for parameter tuning in statistical machine translation. Proceedings of the Second Workshop on Statistical Machine Translation. :120-127.