Research
Technical Reports

Go to a Year: 2007 | 2006 | 2005 | 2004 | 2003 | 2002

2007

• Yongzhen Zhuang, Lei Chen, X. Sean Wang, and Xiang Liany, A Weighted Moving Average-based Approach for Cleaning Sensor Data , University of Vermont, Department of Computer Science, Technical Report CS-07-01, January 2007.

2006

• Serguei Krivov, Sound Reasoning with Metaphors, Analogies and Inductive Generalizations, University of Vermont, Department of Computer Science, Technical Report CS-06-01, January 2006.
• Serguei Krivov, On Adaptive Logic of Events, University of Vermont, Department of Computer Science, Technical Report CS-06-02, January 2006.
• Christian Skalka and Scott Smith and David Van Horn, Types and Trace Effects of Higher Order Programs, University of Vermont, Department of Computer Science, Technical Report CS-06-03, Feburary 2006.
• Christian Skalka, Types and Trace Effects for Object Orientation, University of Vermont, Department of Computer Science, Technical Report CS-06-04, Feburary 2006.
• Xingquan Zhu and Xindong Wu, Error Awareness Data Mining, University of Vermont, Department of Computer Science, Technical Report CS-06-05, Feburary 2006.
• Xingquan Zhu and Xindong Wu, Scalable Representative Instance Selection and Ranking, University of Vermont, Department of Computer Science, Technical Report CS-06-06, Feburary 2006.
• Serguei Krivov, Richard Williams, Ferdinando Villa, Xindong Wu, SWVL: A Visualization Model for Languages of the Semantic Web, University of Vermont, Department of Computer Science, Technical Report CS-06-07, Feburary 2006.
• Dan He, Ontology-based Feature Weighting for Biomedical Literature Classification, University of Vermont, Department of Computer Science, Technical Report CS-06-08, April 2006.
• Jesse Craig, Reduction of Redunancy in Directed Random Verification through Checkpointing (MSc Thesis), University of Vermont, Department of Computer Science, Technical Report CS-06-09, April 2006.
• Yan Zhang, Xingquan Zhu and Xindong Wu, Corrective Classification: Learning from Data Imperfections with Aggressive and Diverse Classifier Ensembling, University of Vermont, Department of Computer Science, Technical Report CS-06-10, April 2006.
• Wook-Shin Han, Jaehwa Kim, Byung Suk Lee, Yufei Tao, Ralf Rantzau, and Volker Markl, CoPST: Cost-Based Predictive Spatio-Temporal Join, University of Vermont, Department of Computer Science, Technical Report CS-06-11, August 2006.

Return to Top

2005

• M.B. Cohen, C.J. Colbourn and A.C.H. Ling, Constructing Strength Three Covering Arrays with Augmented Annealing, University of Vermont, Department of Computer Science, Technical Report CS-05-01, January 2005.
• Divya Singh, Faster Sequence Alignment using Suffix Tree and Data-Mining Techniques (MSc Thesis), University of Vermont, Department of Computer Science, Technical Report CS-05-02, January 2005.
• Ying Yang, Xindong Wu, and Xingquan Zhu, Proactive-Reactive Prediction for Data Streams, University of Vermont, Department of Computer Science, Technical Report CS-05-03, February 2005. A shorter version of this paper has been accepted for publication in the Proceedings of the 11th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD-2005).
• Gong Chen, Xindong Wu, and Xingquan Zhu, Mining Sequential Patterns Across Data Streams, University of Vermont, Department of Computer Science, Technical Report CS-05-04, March 2005. A shorter version of this paper has been accepted for publication in the Proceedings of the Fifth IEEE International Conference on Data Mining (ICDM '05).
• Dennis Fuchs, Zhen He, and Byung Suk Lee, Compressed Histograms with Arbitrary Bucket Layouts for Selectivity Estimation, University of Vermont, Department of Computer Science, Technical Report CS-05-05, March 2005.
• Abdullah Arslan, Efficient approximate dictionary look-up over small alphabets, University of Vermont, Department of Computer Science, Technical Report CS-05-06, June 2005.
• Guojun Mao, Xindong Wu, Chunnian Liu, Xingquan Zhu, Gong Chen, Yue Sun, and Xu Liu, Online Mining of Maximal Frequent Itemsequences from Data Streams, University of Vermont, Department of Computer Science, Technical Report CS-05-07, June 2005.
• Elena Zheleva and Abdullah N. Arslan, Fast motif search in protein sequence databases, University of Vermont, Department of Computer Science, Technical Report CS-05-08, September 2005.
• Dan He and Abdullah N. Arslan, Space-efficient Algorithms for the Constrained Multiple Sequence Alignment Problem, University of Vermont, Department of Computer Science, Technical Report CS-05-09, September 2005.
• Yan Zhang, Xingquan Zhu, Xindong Wu, and Jeffrey P. Bond, ACE: An Aggressive Classifier Ensemble with Error Detection, Correction and Cleansing, University of Vermont, Department of Computer Science, Technical Report CS-05-10, October 2005. This paper was published in the Proceedings of the 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), and won the Best Paper Award of the IEEE ICTAI 2005 conference.

Return to Top

2004

• Qijun Chen, Inductive Learning on Partitioned Data (MSc Thesis), University of Vermont, Department of Computer Science, Technical Report CS-04-01, January 2004.
• Ying Yang and Xindong Wu, Parameter Tuning for Induction Algorithm Oriented Feature Elimination, University of Vermont, Department of Computer Science, Technical Report CS-04-02, January 2004. This paper has been accepted for publication in IEEE Intelligent Systems.
• Xindong Wu, Data Mining: An AI Perspective, University of Vermont, Department of Computer Science, Technical Report CS-04-03, January 2004. This paper has been accepted for publication in The IEEE Computational Intelligence Bulletin.
• P. Dukes and Alan C.H. Ling A combinatorial error bound for t-point-based sampling , University of Vermont, Department of Computer Science, Technical Report CS-04-04, Feburary 2004.
• Xingquan Zhu and Xindong Wu, Class Noise vs Attribute Noise: A Quantitative Study of Their Impacts , University of Vermont, Department of Computer Science, Technical Report CS-04-05, March 2004. This paper has been accepted for publication in Artificial Intelligence Review.
• Like Gao, Min Wang, X. Sean Wang, and Sriram Padmanabhan, Expressing and Optimizing Similarity-Based Queries in SQL , University of Vermont, Department of Computer Science, Technical Report CS-04-06, March 2004.
• Christian Skalka and Scott Smith, History Effects and Verification, University of Vermont, Department of Computer Science, Technical Report CS-04-07, April 2004.
• Xingquan Zhu, Xindong Wu, and Ying Yang, Error Detection and Impact-Sensitive Instance Ranking in Noisy Datasets, University of Vermont, Department of Computer Science, Technical Report CS-04-08, April 2004. This paper has been accepted for publication in the Proceedings of the 19th National Conference on Artificial Intelligence (AAAI-04).
• Dennis E. Fuchs, A Quantized Histogram for Multidimensional Selectivity Estimation (MSc Thesis), University of Vermont, Department of Computer Science, Technical Report CS-04-09, May 2004.
• Torgeir Lien LOCAL SEARCH OVER RELATIONAL SPECIFICATIONS (MSc Thesis), University of Vermont, Department of Computer Science, Technical Report CS-04-10, June 2004.
• Zhen He, Byung Suk Lee, and X. Sean Wang, Proactive and Reactive Multi-dimensional Histogram Maintenance for Selectivity Estimation, University of Vermont, Department of Computer Science, Technical Report CS-04-11, Aug 2004.
• Gong Chen, Xindong Wu, Xingquan Zhu, and Abdullah N. Arslan, Efficient String Matching with Wildcards and Length Constraints, University of Vermont, Department of Computer Science, Technical Report CS-04-12, September 2004.
• Like Gao, Min Wang and X. Sean Wang, Quality-Driven Evaluation of Trigger Conditions on Streaming Time Series, University of Vermont, Department of Computer Science, Technical Report CS-04-13, November 2004.
• Jeffrey E. Stone, An Intelligent Digital Library System for Biological Data (MSc Thesis), University of Vermont, Department of Computer Science, Technical Report CS-04-14, November 2004.

Return to Top

2003

• Xingquan Zhu, Jianping Fan, Ahmed K. Elmagarmid, and Xindong Wu, Hierarchical Video Content Description and Summarization Using Unified Semantic and Visual Similarity, University of Vermont, Department of Computer Science, Technical Report CS-03-1, January 2003. This paper has been accepted for publication in the ACM/Springer Journal on Multimedia Systems.
• Shichao Zhang, Xindong Wu, Chengqi Zhang, and Kaile Su, Identifying Quality Knowledge from Different Data Sources, University of Vermont, Department of Computer Science, Technical Report CS-03-2, January 2003. This paper has been accepted for publication in the Proceedings of ICDM '03 Workshop on Foundations and New Directions of Data Mining.
• Xingquan Zhu and Xindong Wu, Mining Video Associations for Efficient Database Management, University of Vermont, Department of Computer Science, Technical Report CS-03-3, January 2003. A shortened version of this paper has been accepted for publication in the Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI-03).
• Gyesung Lee and Xindong Wu, Rearranging Data Objects for Efficient and Stable Clustering, University of Vermont, Department of Computer Science, Technical Report CS-03-4, January 2003. This paper has been accepted for publication in the Proceedings of the 20th Annual ACM Symposium on Applied Computing (SAC 2005).
• Xindong Wu, Chengqi Zhang, and Shichao Zhang, Database Classification for Multi-Database Mining, University of Vermont, Department of Computer Science, Technical Report CS-03-5, January 2003. This paper has been accepted for publication in Information Sytems.
• François Pottier and Christian Skalka and Scott Smith, A Systematic Approach to Static Access Control, University of Vermont, Department of Computer Science, Technical Report CS-03-6, January 2003. This paper has been submitted to ACM Transactions on Programming Languages and Systems for publication.
• Christian Skalka and Scott Smith, Static Use-Based Object Confinement, University of Vermont, Department of Computer Science, Technical Report CS-03-7, January 2003. This paper has been accepted for publication at Springer International Journal of Information Security.
• Christian Skalka and Scott Smith, Set Types and Applications, University of Vermont, Department of Computer Science, Technical Report CS-03-8, January 2003. This paper has been accepted for publication at Electronic Notes in Theoretical Computer Science.
• Christian Skalka and François Pottier, Syntactic Type Soundness for HM$(X)$, University of Vermont, Department of Computer Science, Technical Report CS-03-9, January 2003. This paper has been accepted for publication at Electronic Notes in Theoretical Computer Science.
• Byung Suk Lee, Vinod Kannoth, Jeff S. Buzas, A Statistical Cost-Modeling of Financial Time Series Functions for an Object-Relational DBMS Query Optimizer, University of Vermont, Department of Computer Science, Technical Report CS-03-10, March 2003.
• James M. McQuillan, On the Satisfiability of Boolean Expressions (MSc Thesis), University of Vermont, Department of Computer Science, Technical Report CS-03-11, May 2003.
• Xingquan Zhu, Xindong Wu, and Qichun Chen, Identifying Class Noise in Large, Distributed Datasets, University of Vermont, Department of Computer Science, Technical Report CS-03-12, June 2003. A shorter version of this paper has been accepted for publication in the Proceedings of the 20th International Conference on Machine Learning (ICML-03).
• Craig A. Damon, Formalizing a Design for Lightweight Analysis: A Guideline and an Example, University of Vermont, Department of Computer Science, Technical Report CS-03-13, June 2003.
• Byung Lee, Metadata-based Generation of Statistical Cost Functions for Text Search , University of Vermont, Department of Computer Science, Technical Report CS-03-14, July 2003.
• Qijun Chen, Xindong Wu, and Xinquan Zhu, OIDM: Online Interactive Data Mining, University of Vermont, Department of Computer Science, Technical Report CS-03-15, October 2003. This paper has been accepted for publication in the Proceedings of the 17th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE), May 17-20, 2004, Ottawa, Canada.
• Jeffrey Stone, Xindong Wu, and Marc Greenblatt, A Semantic Network for Modeling Biological Knowledge in Multiple Databases, University of Vermont, Department of Computer Science, Technical Report CS-03-16, October 2003. A revised version of this paper has been refereed and accepted for presentation at the 15th Annual Conference International Information Management Association (Chicago, IL, October 7-9, 2004), and for publication in Communications of the IIMA.
• Songtao Jiang, Modeling the Costs of Spatial Query Operators Using Nonparametric Regression (MSc Thesis), University of Vermont, Department of Computer Science, Technical Report CS-03-17, November 2003.
• Zhen He, Byung Suk Lee, and Robert Snapp, Self-Tuning UDF Cost Modeling Using the Memory Limited Quadtree, University of Vermont, Department of Computer Science, Technical Report CS-03-18, December 2003.

Return to Top

2002

• Xindong Wu, Chengqi Zhang and Shichao Zhang, Mining Both Positive and Negative Association Rules, University of Vermont, Department of Computer Science, Technical Report CS-02-1, January 2002. This paper has been accepted for publication in the Proceedings of the 19th International Conference on Machine Learning (ICML-2002).
• Xindong Wu and Shichao Zhang, Synthesizing High-Frequency Rules from Different Data Sources, University of Vermont, Department of Computer Science, Technical Report CS-02-2, January 2002. This paper has been accepted for publication in the IEEE Transactions on Knowledge and Data Engineering.
• Hao Huang, Xindong Wu, and Richard Relue, Association Analysis with One Scan of Databases, University of Vermont, Department of Computer Science, Technical Report CS-02-3, January 2002. A shortened version of this paper has been accepted for publication in the Proceedings of the 2002 IEEE International Conference on Data Mining.
• Alan C.H. Ling, Difference triangle sets from affine planes, University of Vermont, Department of Computer Science, Technical Report CS-02-4, February 2002. This paper has been accepted for publication in the IEEE Transactions on Inform. Theory.
• Alan C.H. Ling, Some applications of combinatorial designs to extremal graph theory, University of Vermont, Department of Computer Science, Technical Report CS-02-5, February 2002. This paper has been accepted for publication in Ars Combinatoria.
• Byung Lee, Terence Critchlow, Ghaleb Abdulla, Chuck Baldwin, Roy Kamimura, Ron Musick, Robert Snapp and Nu-Ai Tang, The Framework for Approximate Queries on Simulation Data, University of Vermont, Department of Computer Science, Technical Report CS-02-6, February 2002.
• Byung S. Lee, Robert R. Snapp, Li Chen, and II-Yeol Song, Modeling and Querying Scientific Simulation Mesh Data, University of Vermont, Department of Computer Science, Technical Report CS-02-7, February 2002.
• Sang K. Cha, Kihong Kim, Byung S. Lee, Changbin Song, Sangyong Hwang, and Yong-sik Kwon, MEADOW: a Middleware for Efficient Access to Multiple Geographic Databases through OpenGIS Wrappers, University of Vermont, Department of Computer Science, Technical Report CS-02-8, February 2002. This paper has been accepted for publication in Software Practice and Experience.
• Charles J. Colbourn, Alan C.H. Ling and Martin Tompa, Construction of Optimal Quality Control for Oligo Arrays, University of Vermont, Department of Computer Science, Technical Report CS-02-9, February 2002. This paper has been accepted for publication in Bioinformatics.
• Richard Relue and Xindong Wu, Rule Generation with the Pattern Repository, University of Vermont, Department of Computer Science, Technical Report CS-02-10, May 2002. This paper has been accepted for publication in the Proceedings of the 2002 IEEE International Conference on Artificial Intelligence Systems (IEEE AIS-02).
• Won-Young Kim, Kyu-Young Whang, Byung Suk Lee, Young-Koo Lee, and Ji-Woong Chang, Partial Rollback in Object-Oriented/Object-Relational Database Management Systems, University of Vermont, Department of Computer Science, Technical Report CS-02-11, May 2002.
• Xindong Wu, Philip S. Yu, Gregory Piatetsky-Shapiro, Nick Cercone, T.Y. Lin, Ramamohanarao Kotagiri, and Benjamin W. Wah, Data Mining: How Research Meets Practical Development?, University of Vermont, Department of Computer Science, Technical Report CS-02-12, July 2002. This paper has been accepted as a vision paper for publication in Knowledge and Information Systems.
• Li Chen, QoS Protection Planning and Multicast Routing in Optical Networks (MSc Thesis), University of Vermont, Department of Computer Science, Technical Report CS-02-13, August 2002.
• Kalyani K. Manchi and Xindong Wu, Dynamic Refinement of Classification Rules, University of Vermont, Department of Computer Science, Technical Report CS-02-14, August 2002. This paper has been accepted for publication at the 14th IEEE Intl Conf on Tools with Artificial Intelligence.

Return to Top