Recent Cornell AI Student Papers

Recent Cornell AI Student Papers

Warning: this page is currently outdated.

Listed below are some publications from 2000 onwards (co-)authored by Cornell computer science students (i.e., pre-graduation). Boldface indicates students (either current or alumni). Hyperlinks are given for all Cornell-affiliated authors, when available. The only types of publications on this list are: (a) publications in AI venues (b) publications by students whose thesis is or will be AI-related.

Related sites include the artificial intelligence graduate studies page, the AI seminar page, the database page, the machine learning page, the natural language processing page, and the vision page.

National Conference on Artificial Intelligence (AAAI)/International Joint Conference on Artificial Intelligence (IJCAI)

Hubie Chen. Collapsibility and Consistency in Quantified Constraint Satisfaction. (2004)
Wei Wei, Jordan Erenrich, and Bart Selman. Towards Efficient Sampling: Exploiting Random Walk Strategies (2004)
Hubie Chen. A Theory of Average-Case Compilability in Knowledge Representation (2003)
Hubie Chen. Inverse Circumscription (2003)
Francis Chu and Joseph Halpern. Great Expectations. Part I: On the Customizability of Generalized Expected Utility (2003)
Francis Chu and Joseph Halpern. Great Expectations. Part II: Generalized Expected Utility as a Universal Decision Rule (2003)
Jordan Erenrich and Bart Selman. Sampling Combinatorial Spaces Using Biased Random Walks (poster) (2003)
Jeremy Kubica, Arancha Casal, and Tad Hogg. Agent-Based Control for Object Manipulation with Modular Self-reconfigurable Robots (2001)
Dimitris Achlioptas, Carla Gomes, Dongmin Liang, Henry Kautz, and Bart Selman. Generating Satisfiable Problem Instances (2000)

Association for Computational Linguistics (ACL)/ European Chapter (EACL) / North American Chapter (NAACL)/ Applied Natural Language Processing (ANLP)

Bo Pang and Lillian Lee. Seeing Stars: Exploiting class relationships for sentiment categorization with respect to rating scales (2005)
Vincent Ng. Learning Noun Phrase Anaphoricity to Improve Coreference Resolution: Issues in Representation and Optimization (2004)
Bo Pang and Lillian Lee. A Sentimental Education: Sentiment Analysis Using Subjectivity Summarization Based on Minimum Cuts (2004)
Vincent Ng and Claire Cardie. Weakly Supervised Natural Language Learning Without Redundant Views (2003)
Bo Pang, Kevin Knight, and Daniel Marcu. Syntax-based Alignment of Multiple Translations: Extracting Paraphrases and Generating New Sentences. (2003)
Mark Steedman, Rebecca Hwa, Stephen Clark, Miles Osborne, Anoop Sarkar, Julia Hockenmaier, Paul Ruhlen, Steven Baker, and Jeremiah Crim. Example Selection for Bootstrapping Statistical Parsers (2003)
Mark Steedman, Steven Baker, Stephen Clark, Jeremiah Crim, Julia Hockenmaier, Rebecca Hwa, Miles Osborne, Paul Ruhlen, and Anoop Sarkar. Bootstrapping Statistical Parsers from Small Datasets (2003).
Vincent Ng and Claire Cardie. Improving Machine Learning Approaches to Coreference Resolution (2002)
Rie Kubota Ando and Lillian Lee. Mostly-Unsupervised Statistical Segmentation of Japanese: Applications to Kanji (2000)
Claire Cardie, Vincent Ng, David Pierce, and Chris Buckley. Examining the Role of Statistical and Linguistic Knowledge Sources in a General-Knowledge Question-Answering System (2000)

Computer Vision and Pattern Recognition (CVPR)/International Conference on Computer Vision (ICCV)/European Conference on Computer Vision (ECCV)

David Crandall, Pedro Felzenszwalb, and Daniel Huttenlocher. Spatial Priors for Part-Based Recognition using Statistical Models (2005)
Ashish Raj and Ramin Zabih. A Graph Cut Algorithm for Generalized Image Deconvolution (2005) (poster)
Xiangyang Lan and Daniel P. Huttenlocher. Beyond Trees: Common Factor Models for 2D Human Pose Recovery (2004)
David Crandall and Jiebo Luo. Robust Color Object Detection using Spatial-Color Joint Probability Functions (poster) (2004)
Xiangyang Lan and Daniel P. Huttenlocher. A Unified Spatio-Temporal Articulated Model for Tracking (poster) (2004)
Yuri Boykov and Vladimir Kolmogorov. Computing Geodesics and Minimal Surfaces via Graph Cuts (2003)
Junhwan Kim, Vladimir Kolmogorov and Ramin Zabih. Visual Correspondence Using Energy Minimization and Mutual Information (2003)
Junhwan Kim and Ramin Zabih. Factorial Markov Random Fields (2002)
Vladimir Kolmogorov and Ramin Zabih. Multi-camera Scene Reconstruction via Graph Cuts (2002). Best paper award
Vladimir Kolmogorov and Ramin Zabih. What Energy Functions can be Minimized via Graph Cuts? (2002) Best paper award
Vladimir Kolmogorov and Ramin Zabih. Computing Visual Correspondence with Occlusions using Graph Cuts (poster) (2001)
Nicholas Howe and Dan Huttenlocher. Integrating Color, Texture, and Geometry for Image Retrieval.(2000)

International Conference on Machine Learning (ICML)

Thomas Finley and Thorsten Joachims. Supervised clustering with Support Vector Machines (2005). Distinguished student paper award (one of four)
Alex Niculescu-Mizil and Rich Caruana. Predicting Good Probabilities With Supervised Learning (2005). Distinguished student paper award (one of four)
Rich Caruana, Alex Niculescu-Mizil, Geoff Crew, and Alex Ksikes. Ensemble Selection from Libraries of Models. (2004)
Alin Dobra and Johannes Gehrke. Bias Correction in Classification Tree Construction (2001)
Kiri Wagstaff, Claire Cardie, Seth Rogers, and Stefan Schroedl. Constrained K-means Clustering with Background Knowledge (2001)
Nicholas Howe. Data as Ensembles of Records: Representation and Comparison (2000)
Yi-Cheng Huang, Bart Selman, and Henry Kautz. Learning Declarative Control Rules for Constraint-Based Planning (2000)
Kiri Wagstaff and Claire Cardie. Clustering with Instance-Level Constraints (2000)

Knowledge Discovery and Data Mining (KDD)

Anirban Dasgupta, Ravi Kumar, Prabhakar Raghavan, and Andrew Tomkins. Variable Latent Semantic Indexing (2005)
Filip Radlinski and Thorsten Joachims. Query Chains: Learning to Rank From Implicit Feedback (2005) Best student paper award
Mark Sandler. On the use of Linear Programming for Unsupervised Text Classification (2005)
Rich Caruana and Alex Niculescu-Mizil. Data Mining in Metric Space: An Empirical Analysis of Supervised Learning Performance Criteria (2004)
David Kempe, Jon Kleinberg, and Eva Tardos. Maximizing the Spread of Influence through a Social Network (Best Paper Award) (2003)
John Hopcroft, Omar Khan, Brian Kulis, and Bart Selman. Tracking Evolving Communities in Large Linked Networks (poster) (2003)
Jay Ayres, Johannes Gehrke, Tomi Yiu, Jason Flannick. Sequential Pattern Mining Using Bitmaps (poster) (2002)
Shai Ben-David, Johannes Gehrke, Reba Schuller. A Theoretical Framework for Learning from a Pool of Disparate Data Sources (poster) (2002)
Alin Dobra, Johannes Gehrke. SECRET: A Scalable Linear Regression Tree Algorithm (poster) (2002)
Alexandre Evfimievski, Johannes Gehrke, Ramakrishnan Srikant, Rakesh Agrawal. Privacy Preserving Mining of Association Rules (2002)
Cristian Bucila, Johannes Gehrke, Daniel Kifer, and Walker White. DualMiner: A Dual-Pruning Algorithm for Itemsets with Constraints (2002)
Annaka Kalton, Pat Langley, Kiri Wagstaff, and Jungsoon Yoo. Generalized Clustering, Supervised Learning, and Data Assignment (poster) (2001)
Dennis DeCoste and Kiri Wagstaff. Alpha Seeding for Support Vector Machines (poster) (2000)

Neural Information Processing Systems (NIPS)

Matthew Schultz and Thorsten Joachims. Learning a Distance Metric from Relative Comparison (2003)
Nicholas Howe, Michael E. Leventon, and William Freeman. Bayesian Reconstruction of 3D Human Motion from Single-Camera Video (2000)

Special Interest Group on Information Retrieval (SIGIR)

Oren Kurland and Lillian Lee. PageRank without hyperlinks: Structural re-ranking using links induced by language models (2005)
Oren Kurland, Lillian Lee, and Carmel Domshlak. Better than the real thing? Iterative pseudo-query processing using cluster-based language models (2005)
Oren Kurland and Lillian Lee. Corpus structure, language models, and ad hoc information retrieval (2004)
Rie Kubota Ando and Lillian Lee. Iterative Residual Rescaling: An Analysis and Generalization of LSI (2001)
Rie Kubota Ando. Latent Semantic Space: Iterative Scaling Improves Precision of Inter-document Similarity Measurement (2000)

Conference on Uncertainty in Artificial Intelligence (UAI)

Alex Niculescu-Mizil and Rich Caruana. Obtaining Calibrated Probabilities from Boosting (2005) (poster)
Joseph Y. Halpern and Riccardo Pucella. Reasoning about expectation (2002)

Empirical Methods in Natural Language Processing [and Very Large Corpora] ([HLT-]EMNLP[/VLC])

Yejin Choi, Claire Cardie, Ellen Riloff, and Siddharth Patwardhan. Identifying Sources of Opinions with Conditional Random Fields and Extraction Patterns (2005)
Art Munson, Claire Cardie, and Rich Caruana. Optimizing to Arbitrary NLP Metrics using Ensemble Selection (2005)
Ves Stoyanov, Claire Cardie, and Janyce Wiebe. Multi-Perspective Question Answering Using the OpQA Corpus (2005)
Theresa Wilson, Paul Hoffmann, Swapna Somasundaran, Jason Kessler, Janyce Wiebe, Yejin Choi, Claire Cardie, Ellen Riloff and Siddharth Patwardhan. OpinionFinder: A system for subjectivity analysis (2005) (demo)
Vincent Ng and Claire Cardie. Bootstrapping Coreference Classifiers with Multiple Machine Learning Algorithms (2003)
Vincent Ng and Claire Cardie. Combining Sample Selection and Error-Driven Pruning for Machine Learning of Coreference Rules (2002)
Bo Pang, Lillian Lee, and Shivakumar Vaithyanathan. Thumbs up? Sentiment Classification using Machine Learning Techniques (2002)
David Pierce and Claire Cardie. Limitations of Co-training for Natural Language Learning from Large Datasets (2001)

Selected Other Publications

Rie Kubota Ando, Branimir K. Boguraev, Roy J. Byrd, and Mary S. Neff. Multi-document Summarization by Visualizing Topical Content. NAACL-ANLP 2000 Automatic Summarization Workshop (2000)
Barton et al., including Kiri Wagstaff. Extravehicular Activity Suit Systems Design: How to Walk, Talk, and Breathe on Mars. Second Annual Human Exploration and Development of Space - University Partners (HEDS-UP) Forum (1999)
Shai Ben-David and Johannes Gehrke and Reba Schuller. A Statistical Learning Approach to Data Mining Issues, Learning@Snowbird workshop (2003) (poster)
Shai Ben-David and Reba Schuller. Exploiting Task Relatedness for Multiple Task Learning. COLT (2003)
Yuri Boykov and Vladimir Kolmogorov. An Experimental Comparison of Min-Cut/Max-Flow Algorithms for Energy Minimization in Computer Vision. Third International Workshop on Energy Minimization Methods in Computer Vision and Pattern Recognition (2001)
Eric Breck and Claire Cardie. Playing the Telephone Game: Determining the Hierarchical Structure of Perspective and Speech Expressions. In The 20th International Conference on Computational Linguistics (COLING 2004)
Eric Breck, John Burger, Lisa Ferro, Warren Greiff, Marc Light, Inderjeet Mani, and J. Rennie. Another Sys Called Qanda. TREC-9 (2000)
Eric Breck, John Burger, Lisa Ferro, Lynette Hirschman, David House, Marc Light, and Inderjeet Mani. How to Evaluate Your Question Answering System Every Day ... and Still Get Real Work Done. Language Resources and Evaluation (LREC) (2000)
Eric Breck, Marc Light, Gideon S. Mann, Ellen Riloff, Brianne Brown, Pranav Anand, Mats Rooth, and Michael Thelen. Looking Under the Hood: Tools for Diagnosing Your Question Answering Engine. ACL Workshop on Question Answering, 2001.
Chris Buckley, Mandar Mitra, Janet A. Walz, and Claire Cardie. Using Clustering and SuperConcepts Within SMART: TREC 6. Information Processing and Management (2000)
Claire Cardie, Michael White, Vincent Ng, and Daryl McCullough. Detecting Discrepancies in Numeric Estimates Using Multidocument Hypertext Summaries. HLT 2002.
Rich Caruana and Alex Niculescu-Mizil. Learning the structure of related tasks. Inductive Transfer: 10 Years Later, NIPS workshop (2005)
Rich Caruana and Alex Niculescu-Mizil. Predicting Good Probabilities with Supervised Learning. Fourth Conference on Artificial Intelligence Applications to Environmental Science (2005)
Rich Caruana and Alex Niculescu. Data Mining in Metric Space: An Empirical Analysis of Supervised Learning Performance Criteria. First Workshop on ROC Analysis in AI (2004)
Rich Caruana and Alex Niculescu. An Empirical Evaluation of Supervised Learning for ROC Area. First Workshop on ROC Analysis in AI (2004)
Rich Caruana and Alex Niculescu. An Empirical Comparison of Supervised Learning Methods Using Nine Performance Criteria. Learning@Snowbird workshop (2004) (poster)
Rich Caruana, Charles Chiu, Geoff Crew, Kohsuke Kawaguchi, Alex Ksikes, Alex Niculescu. Extreme Selection Ensembles. Learning@Snowbird workshop (2003) (poster)
Hubie Chen. Quantified Constraint Satisfaction and Bounded Treewidth. 16th European Conference on Artificial Intelligence (ECAI), 2004.
Hubie Chen. The Expressive Rate of Constraints. Eighth International Symposium on Artificial Intelligence and Mathematics, 2004.
Hubie Chen. Periodic Constraint Satisfaction Problems: Polynomial-Time Algorithms. Ninth International Conference on Principles and Practice of Constraint Programming, 2003.
Hubie Chen. An Algorithm for SAT Above the Threshold. Sixth International Conference on Theory and Applications of Satisfiability Testing, 2003.
Hubie Chen, Carla Gomes, and Bart Selman. Formal Models of Heavy-Tailed Behavior in Combinatorial Search. Seventh International Conference on Principles and Practice of Constraint Programming (2001)
Steve Chong and Riccardo Pucella. A Framework for Creating Natural Language User Interfaces for Action-Based Applications. Third AMAST Workshop on Algebraic Methods in Language Processing (AMiLP-3) (2003)
Francis C. Chu and Joseph Y. Halpern. A decision-theoretic approach to reliable message delivery. Distributed Computing 14 (2001)
Francis C. Chu and Joseph Y. Halpern. On the NP-completeness of finding an optimal strategy in games with common payoff. International Journal of Game Theory (2001)
David Crandall and Rangachar Kasturi. Robust Detection of Stylized Text Events in Digital Video. ICDAR (2001)
David Crandall and Rangachar Kasturi. Robust Extraction of Text in Video. ICPR (2000)
Lin Guo, Feng Shao, Chavdar Botev, and Jayavel Shanmugasundaram. XRANK: Ranked Keyword Search over XML Documents. SIGMOD (2003).
Joseph Y. Halpern and Riccardo Pucella. A logic for reasoning about upper probabilities. JAIR (2002)
Lynette Hirschman, Eric Breck, Marc Light, John D. Burger, and Lisa Ferro. Automated Grading of Short-Answer Tests. IEEE Intelligent Systems (Trends and Controversies section), 2000.
Holger Hoos and Kevin O'Neill. Stochastic Local Search Methods for Dynamic SAT: An Initial Investigation. AAAI Workshop on Leveraging Probability and Uncertainty in Computation (2000).
Amanda M. Holland-Minkley. Planning Proof Content for Communicating Induction. Proceedings of the International Conference on Natural Language Generation (INLG), 2002.
Nicholas Howe. Using Artificial Queries to Evaluate Image Retrieval. IEEE Workshop on Content-Based Access of Image and Video Databases (2000)
Junhwan Kim, Frederic Cordier, and Nadia Magnenat-Thalmann. Neural Network-based Pianist's Hand Animation. Computer Graphics International (2000)
Junhwan Kim and Fabio Pellacini. Jigsaw Image Mosaic. SIGGRAPH 2002
Junhwan Kim, Martin R. Prince, Ramin Zabih, Jeff Bezanson, Richard Watts, Hale Erel, Yi Wang. Automatic Selection of Mask and Arterial Phase Images for Temporally-Resolved MR Digital Subtraction Angiography. International Society for Magnetic Resonance in Medicine (2002).
Jon Kleinberg and Mark Sandler. Using Mixture Models for Collaborative Filtering. Symposium on Theory of Computing (STOC), 2004.
Jon Kleinberg and Mark Sandler. Convergent Algorithms for Collaborative Filtering. ACM Conference on Electronic Commerce, 2003.
Vladimir Kolmogorov, Ramin Zabih and Steven Gortler. Generalized Multi-camera Scene Reconstruction using Graph Cuts. Fourth International Workshop on Energy Minimization Methods in Computer Vision and Pattern Recognition, 2003.
Jeremy Kubica, Arancha Casal, and Tad Hogg. Complex Behaviors from Local Rules in Modular Self-reconfigurable Robots. International Conference of Robotics and Automation (ICRA) (2001).
Lucian Leahu and Carla Gomes . Quality of LP-based Approximations for Highly Combinatorial Problems. Principles and Practice of Constraint Programming (CP), 2004.
Marc Light, Gideon Mann, Ellen Riloff, and Eric Breck. Analyses for Elucidating Current Question Answering Technology. Journal of Natural Language Engineering, 2001.
E. Loken, Filip Radlinski, V. H. Crespi and J. Millet. "New SAT Is to Old SAT as ...," APS Observer 18, 15-16 (2005).
E. Loken, Filip Radlinski, V. H. Crespi, L. Cushing, and J. Millet. "Online study behavior of 100,000 students studying for the SAT, ACT and GRE", Journal of Educational Computing Research(30), 255--262 (004).
Niranjan Nagarajan and Golan Yona. Automatic prediction of protein domains from sequence information using a hybrid learning system. Bioinformatics. To appear.
Niranjan Nagarajan and Golan Yona. A multi-expert system for the automatic detection of protein domains from sequence information. RECOMB 2003.
Vincent Ng and Claire Cardie. Identifying Anaphoric and Non-Anaphoric Noun Phrases to Improve Coreference Resolution. Proceedings of the 19th International Conference on Computational Linguistics (COLING) (2002).
David Pierce and Claire Cardie. User-oriented machine learning strategies for information extraction: Putting the human back in the loop. IJCAI Workshop on Adaptive Text Extraction and Mining (2001)
Filip Radlinski and Thorsten Joachims. Evaluating the Robustness of Learning from Implicit Feedback. ICML Workshop on Learning in Web Search (2005).
Horacio Saggion and Dragomir Radev and Simone Teufel and W. Lam and John Blitzer and A. Celebi and H. Qi and D. Liu and Elliot Drabet. Meta Evaluation of Summaries in a Cross-Lingual Environment using Content-Based Metrics. Proceedings of the 19th International Conference on Computational Linguistics (COLING) (2002).
Veselin Stoyanov, Claire Cardie, Diane Litman and Janyce Wiebe. Evaluating and Opinion Annotation Scheme using a New Multi-Perspective Question and Answer Corpus. Proceedings of the AAAI Spring Symposium on Exploring Attitude and Affect in Text (2004).
Umar Syed and Golan Yona. Using a mixture of probabilistic decision trees for direct prediction of protein function. RECOMB (2003).
Serguei Vassilvitskii, Jeremy Kubica, Eleanor Rieffel, John Suh, and Mark Yim. On the General Reconfiguration Problem for Expanding Cube Style Modular Robots. International Conference of Robotics and Automation (ICRA) (2001).
Ioannis A. Vetsikas and Bart Selman. WhiteBear: An Empirical Study of Design Tradeoffs for Autonomous Trading Agents. AAAI Workshop on Game Theoretic and Decision Theoretic Agents (2002).
Ioannis A. Vetsikas. Design Tradeoffs for Autonomous Trading Agents. Eighth International Conference on Principles and Practice of Constraint Programming, Doctoral Program (2002).
Ioannis A. Vetsikas and Bart Selman. A Principled Study of the Design Tradeoffs for Autonomous Trading Agents. Second International Joint Conference on Autonomous Agents and Multiagent Systems (2003).
Ioannis A. Vetsikas and Bart Selman. A Methodology and Equilibria for the Design Tradeoffs of Autonomous Trading Agents. International Joint Conference on Autonomous Agents and Multiagent Systems (2004).
Ioannis A. Vetsikas and Bart Selman.Autonomous Trading Agent Design in the Presence of Tradeoffs. 7th International Conference on Electronic Commerce (2005).
Ioannis A. Vetsikas and Bart Selman. Bayes Nash Equilibria for m-th Price Auctions with Multiple Closing Times. ACM Exchanges (2005).
Wei Wei and Bart Selman. Accelerating Random Walks. Eighth International Conference on Principles and Practice of Constraint Programming (2002).
Wei Wei and Bart Selman. Learning to Speed up Search. AAAI 2002 Workshop on Probabilistic Approaches in Search.
Michael White, Claire Cardie, Vincent Ng, David Pierce, Kiri Wagstaff, and Daryl McCullough. Detecting Discrepancies and Improving Intelligibility: Two Preliminary Evaluations of RIPTIDES. Proceedings of the 2001 Document Understanding Conference (DUC-01) (2001).
Michael White, Tanya Korelsky, Claire Cardie, Vincent Ng, David Pierce, and Kiri Wagstaff. Multi-document Summarization via Information Extraction. Human Language Technologies (2001)
J. Wiebe, E. Breck, C. Buckley, C. Cardie, P. Davis, B. Fraser, D. Litman, D. Pierce, E. Riloff, T. Wilson, and M. Maybury. Recognizing and Organizing Opinions Expressed in the World Press. Working Notes - New Directions in Question Answering (AAAI Spring Symposium Series), 2003.
Philip Zigoris, J. Siu, O. Wang, and A. Hayes. Balancing automated behavior and human control in multi-agent systems: a case study in RoboFlag. Proc. American Control Conference (2003)

Misc: Ioannis Vetsikas won the Trading Agent Competition in both 2004 and 2002 and finished third in the finals of the International Trading Agent Competition at the 2001 ACM Conference on Electronic Commerce.

Lillian Lee