2007 Technical Reports
| 07-011 |
Carl Philips, Ruchaneewan
Susomboon, Reem Mokhtar, Daniela Raicu, Jacob Furst, Segmentation
of Soft Tissue Using Texture Features and Gradient Snakes,
Setpember 2007.
[abstract],
[full paper:
doc] |
| 07-010 |
Iyad
A. Kanj,
Ljubomir Perkovic, Ge Xia,
Strictly-Localized Construction of Near-Optimal Power Spanners for
Wireless Ad-Hoc Networks,
August 2007.
[abstract],
[full paper: pdf] |
| 07-009 |
Iyad
A. Kanj,
Ljubomir Perkovic, On Geometric Spanners of
Euclidean Graphs and their Applications in Wireless Networks,
August 2007.
[abstract],
[full paper: pdf] |
| 07-008 |
Iyad
A. Kanj, Michael J. Pelsmajer,
Marcus Schaefer, Ge Xia,
On the Induced Matching Problem,
August 2007.
[abstract],
[full paper: postscript,
pdf] |
| 07-007 |
Daniel Marx,
Marcus Schaefer, The
Complexity of Nonrepetitive Coloring,
July 2007.
[abstract],
[full paper: postscript,
pdf] |
| 07-006 |
Matthew A. Goto, Eric J. Schwabe,
A Dynamic Programming Algorithm for Finding Highest-Scoring
Forbidden-Pairs Paths with Variable Vertex Scores,
July 2007.
[abstract],
[full paper: postscript,
pdf] |
| 07-005 |
Carlos Castro-Herrera, Towards a
Unified Process for Automated Traceability,
June 2007.
[abstract],
[full paper: pdf] |
| 07-004 |
Michael J. Pelsmajer,
Marcus Schaefer, Kevin
Stern, Δk-Confluent and
Ok-confluent Graphs,
June 2007.
[abstract],
[full paper: postscript,
pdf] |
| 07-003 |
Taghrid
Samak, QoS Policy Modeling for Conflict
Detection,
April 2007.
[abstract],
[full paper: postscript,
pdf] |
| 07-002 |
Adel El-Atawy,
Taghrid
Samak,
Zein Wali,
Ehab Al-Shaer,
Sheng Li, An Automated Framework for
Validating Firewall Policy Enforcement,
March 2007.
[abstract],
[full paper: postscript,
pdf] |
| 07-001 |
Craig
S. Miller, Sven Fuchs,
Niranchana S. Anantharaman, Priti Kulkarni,
Evaluating Category Membership
for Information Architecture,
January 2007. [abstract],
[full paper: pdf] |
2006 Technical Reports
| 06-016 |
Michael J. Pelsmajer,
Marcus Schaefer,
Daniel
tefankovič,
Removing Even Crossings, Continued,
August 2006. [abstract],
[full paper: postscript,
pdf] |
| 06-015 |
Mark Hilgart,
Step-Through Debugging of GLSL Shaders,
August 2006. [abstract],
[full paper:
pdf] |
| 06-014 |
Chad Williams,
Bamshad Mobasher,
Profile Injection Attack Detection for Securing Collaborative
Recommender Systems,
August 2006. [abstract],
[full paper:
pdf] |
| 06-013 |
Michael J. Pelsmajer,
Marcus Schaefer,
Daniel
tefankovič,
Crossing Numbers and Parameterized Complexity,
August 2006. [abstract],
[full paper: postscript,
pdf] |
| 06-012 |
Robin Burke,
Hybrid
Recommender Systems: A Comparative Study,
August 2006. [abstract],
[full paper: doc] |
| 06-011 |
Marcus Schaefer,
The
Graph Sandwich Problem for a coNP Property,
July 2006. [abstract],
[full paper: ps,
pdf] |
| 06-010 |
Bongani Malinga,
Daniela Raicu,
Jacob Furst,
Local vs.
Global Histogram-Based Color Image Clustering,
June 2006. [abstract],
[full paper: pdf] |
| 06-009 |
Jonathan Gemmell,
David Sigfredo
Angulo, Tobin Sosnick, Karl Freed, Abhishek Jha, Andrés Colubri,
Joseph DeBartolo, David Kendall, Gregor von Laszewski,
Inverse
Protein Folding of Ubiquitin on the Illinois Bio-Grid,
May 2006. [abstract],
[full paper: doc] |
| 06-008 |
Ruchaneewan
Susomboon, Daniela Stan Raicu,
Jacob Furst,
Pixel-Based
Texture Classification of Tissues in Computed Tomography,
May 2006. [abstract],
[full paper: pdf] |
| 06-007 |
Cosmin Stejerean, Paiboon Siwamutita, E. D. Frank, Carol S Giometti,
Gyorgy Babnigg,
David Angulo,
Kevin Drew, Gregor von Laszewski,
An End-to-End
System for Organizing and Sharing Raw and
Derived Mass Spectrometry Data,
May 2006. [abstract],
[full paper: pdf] |
| 06-006 |
Chad Williams, Runa
Bhaumik, JJ Sandvig,
Bamshad Mobasher,
and Robin Burke,
Evaluation of
Profile Injection Attacks In Collaborative Recommender Systems,
May 2006. [abstract],
[full paper: pdf] |
| 06-005 |
Adel El-Atawy
,
Survey on the Use of Formal Languages/Models for the
Specification, Verification, and Enforcement of Network Access-lists,
April 2006. [abstract],
[full paper:
pdf] |
| 06-004 |
Eric Puryear, David Angulo,
Alex Schilling, Kevin Drew, Gregor von Laszewski,
Comparing
Mass Spectra,
March 2006. [abstract],
[full paper: doc] |
| 06-003 |
Eric Puryear, David Angulo,
Kevin Drew, Gregor von Laszewski, Alex Schilling, Enhancing a
Mass Spectrometry I/O Framework,
March 2006. [abstract],
[full paper: doc] |
| 06-002 |
Jennifer Van Puymbrouck, David Angulo, Kevin Drew, Lee Ann
Hollenbeck, Dominic Battre, Alex Schilling, David Jabon, Gregor von
Laszewski, A Batch Import Module for
an Empirically Derived Mass Spectral Database,
March 2006. [abstract],
[full paper: doc] |
| 06-001 |
Radha Jagadeesan,
Alan Jeffrey,
James Riely,
Typed Parametric Polymorphism for Aspects,
February 2006. [abstract],
[full paper: pdf] |
2005 Technical Reports
| 05-019 |
Adel El-Atawy,
Hazem Hamed,
Ehab Al-Shaer,
Adaptive
Statistical Optimization Techniques for Firewall Packet Filtering,
December 2005. [abstract],
[full paper:
postscript, pdf] |
| 05-018 |
Dominic Battré,
Distributed Searching in Biological Databases,
December 2005. [abstract],
[full paper:
pdf] |
| 05-017 |
Michael J. Pelsmajer,
Marcus Schaefer,
Daniel
tefankovič,
Crossing Number of Graphs with Rotation Systems,
November 2005. [abstract],
[full paper: postscript,
pdf] |
| 05-016 |
Amber Settle, Chad Settle,
Distance Learning and Student Satisfaction in Java
Programming Courses,
November 2005. [abstract],
[full paper: doc,
pdf] |
| 05-015 |
JJ Sandvig,
Robin
Burke,
TAACORN: A CBR Recommender for Academic Advising,
November 2005. [abstract],
[full paper: doc] |
| 05-014 |
Peter Hui,
James Riely,
Temporal Aspects as Security Automata,
October 2005. [abstract],
[full paper: pdf] |
| 05-013 |
Michael J. Pelsmajer,
Marcus Schaefer,
Daniel
tefankovič,
Removing Even Crossings,
September 2005. [abstract],
[full paper: pdf] |
| 05-012 |
Troy Smith, Thomas M. Repede, and
Steven L. Lytinen,
Determining the Plausibility of Answers to Questions,
September 2005. [abstract],
[full paper: postscript] |
| 05-011 |
Grant Zemont,
Towards Value Based Requirements Traceability,
September 2005. [abstract],
[full paper: pdf] |
| 05-010 |
Suleyman Uludag,
King-Shan Lui, Klara Nahrstedt,
Greg Brewster,
Comparative Analysis of Topology Aggregation Techniques and
Approaches for the Scalability of QoS Routing,
May 2005. [abstract],
[full paper: pdf] |
| 05-009 |
Marcus Schaefer, Eric
Sedgwick,
Daniel
tefankovič,,
Computing Dehn Twists and Geometric
Intersection Numbers in Polynomial Time,
April 2005. [abstract],
[full paper: postscript] |
| 05-008 |
Jianer Chen, Iyad
A. Kanj, Ge Xia, Simplicity is Beauty: Improved Upper
Bounds for Vertex Cover, April 2005. [abstract],
[full paper: postscript,
pdf] |
| 05-007 |
Iyad
A. Kanj, Luay Nakhleh, and Ge Xia, Reconstructing Evolution
of Natural Languages: Complexity and Parameterized Algorithms,
April 2005, updated May
2006. [abstract],
[full paper: postscript,
pdf] |
| 05-006 |
Jianer Chen, Iyad
A. Kanj, Ge Xia, A Note on Search Trees,
April 2005. [abstract],
[full paper: pdf] |
| 05-005 |
Michael J. Pelsmajer,
Marcus Schaefer,
Daniel
tefankovič,
Odd Crossing Number Is Not Crossing Number
, April 2005. [abstract], [full paper:
postscript, pdf] |
05-004 |
Eric Puryear,
David Angulo, Alex Schilling, Kevin Drew, Gregor von Laszewski,
Developing a Distributed and Scalable Foundation for Mass Spectrometry Data
, April 2005.
[abstract], [full paper: doc] |
| 05-003 |
Xuchang Zou,
Raffaella Settimi,
Jane Cleland-Huang,
and Chuan Duan,
Empirical Study of a Probabilistic Network Model for Retrieving
Traceability Links, March 2005.
[abstract], [full paper:
pdf] |
| 05-002 |
Mohamed Taibah,
Ehab Al-Shaer
and Hazem Hamed,
Dynamic Response in Distributed Firewall Systems, February 2005.
[abstract], [full paper:
pdf] |
| 05-001 |
Yonghe Yan,
Fair Admission Control to Achieve Guaranteed Bandwidth
Allocation, February 2005.
[abstract], [full paper:
pdf] |
2004 Technical Reports
| 04-012 |
Robert Poulsen,
Peter Wiemer-Hastings,
Tutoring Bilingual Students With
an Automated Reading Tutor That Listens:
Results of a Two-Month Pilot Study,
December 2004.
[abstract], [full paper:
doc] |
| 04-011 |
Ehab S. Al-Shaer,
Hazem H. Hamed,
Design and Implementation of Firewall Policy Advisor Tools,
December 2004.
[abstract], [full paper:
pdf] |
| 04-010 |
Shuang Xu,
Xiaowen Fang,
Jacek Brzezinski,
Susy S. Chan,
A Visual-Auditory Presentation Model for Sequential Textual
Information, November 2004.
[abstract], [full paper:
doc] |
| 04-009 |
Jean Lam,
Susy S. Chan,
Xiaowen Fang,
Jacek Brzezinski,
Proposed Research Model for Customization and
Satisfaction with Mobile Commerce, November 2004.
[abstract], [full paper:
doc] |
| 04-008 |
Chibiao Liu,
James Yu,
Applications and Performance Analysis of Bridging with L3 Forwarding
on Wireless LANs, November 2004.
[abstract], [full paper:
pdf] |
| 04-007 |
Yongning Tang,
Ehab Al-Shaer,
Active Fault Reasoning in Communication Networks, November 2004.
[abstract], [full paper:
pdf] |
| 04-006 |
Iyad Kanj,
Ljubomir Perkovic, A Note on Baker's Algorithm, November 2004.
[abstract],
[full paper: pdf] |
| 04-005 |
Will Marrero,
Using BDDs to decide CTL, October 2004. [abstract],
[full paper: postscript] |
| 04-004 |
Steven Lauterburg,
On Building a Unification-Based Parser, August
2004. [abstract],
[full paper: doc] |
| 04-003 |
Salah Aly, Khaled Mustafa, Protocol
Verification And Analysis
Using Colored Petri Nets, August
2004. [abstract],
[full paper: pdf] |
| 04-002 |
Salah Aly,
A Light-Weight Encrypting For Real Time Video
Transmission, August 2004. [abstract],
[full paper: pdf] |
| 04-001 |
Peter Hui,
Marcus Schaefer,
Paired Pointset Traversal, March
2004. [abstract],
[full paper: postscript] |
2003 Technical Reports
| 03-004 |
Jeffrey Absher,
wFIFO - a Filesystem-Based Solution to Unrestricted Log Growth in
MINIX, October 2003. [abstract],
[full paper: doc,
pdf,
html] |
| 03-003 |
Jeffrey Absher,
An Empirical Examination of Current High-Availability Clustering
Solutions Performance, October 2003.[abstract],
[full paper: html,
doc] |
| 03-002 |
Jianer Chen,
Iyad Kanj, and Ge
Xia,
A note on sub-exponential time parameterized complexity,
April 2003. [abstract],
[full paper: postscript,
pdf] |
| 03-001 |
Ruth F. Ter Bush, Contextual
Influence on Attribution Accuracy, January 2003. [abstract],
[full paper: html] |
2002 Technical Reports
| 02-005 |
Eric J. Schwabe,
Ian M. Sutherland, Efficient Data Mappings for Parity-Declustered Data Layouts,
July 2002. [abstract], [full
paper: postscript,
pdf] |
| 02-004 |
Marcus Schaefer,
Frank
Stephan, Strong Reductions and Immunity for Exponential Time,
March 2002. [abstract], [full
paper: postscript,
pdf] |
| 02-003 |
André
Berthiaume, Ljubomir
Perkovic, Amber
Settle, Janos
Simon, Firing Synchronization on the Ring, January 2002. [abstract],
[full paper: postscript, pdf] |
| 02-002 |
Eunseuk Oh, Iyad A.
Kanj, Efficient All-to-All Broadcast Schemes in Distributed-memory
Parallel Computer, January 2002. [abstract],
[full paper: postscript] |
| 02-001 |
Jianer Chen, Iyad
A. Kanj, Guojun Wang, Hypercube Network Fault Tolerance: A
Probabilistic Approach, January 2002. [abstract],
[full paper: postscript] |
2001 Technical Reports
| 01-011 |
Marcus Schaefer, Eric
Sedgwick, Daniel Stefankovič,
Recognizing String Graphs in NP, October 2001. [abstract],
[full paper: postscript] |
| 01-010 |
Bamshad
Mobasher, Honghua Dai, Tao Luo, Miki Nakagawa, Effective Personalization Based on
Association Rule Discovery from Web Usage Data, July 2001. [abstract],
[full paper: pdf] |
| 01-009 |
Marcus Schaefer,
Completeness in the Polyonmial Time Hierarchy, July 2001. [abstract],
[full paper: postscript] |
| 01-008 |
Vladimir A. Kulyukin,
Abraham Bookstein,
Integrated Object Recognition with Extended Hamming Distance,
June 2001. [abstract], [full
paper: pdf] |
| 01-007 |
John Kristoff,
Avoiding Network Capacity Collapse, May 2001. [abstract],
[full paper: pdf, postscript] |
| 01-006 |
Bettina Berendt, Bamshad Mobasher,
Myra Spiliopoulou, Jim Wiltshire
Measuring the Accuracy of Sessionizers for Web Usage Analysis,
March 2001. [abstract], [full
paper: pdf] |
| 01-005 |
Bamshad Mobasher,
Honghua Dai, Tao Luo, Miki Nakagawa, Improving the Effectiveness of Collaborative Filtering on
Anonymous Web Usage Data, March 2001. [abstract],
[full paper: pdf] |
| 01-004 |
Bamshad Mobasher,
WebPersonalizer: A Server-Side Recommender System Based on Web
Usage Mining, March 2001. [abstract],
[full paper: pdf] |
| 01-003 |
Bamshad Mobasher,
Hoghua Dai, Tao Luo, Yuqing Sun, and Jiang Zhu,
Integrating Web Usage and Content Mining for More Effective Personalization,
March 2001. [abstract], [full
paper: pdf] |
| 01-002 |
Bamshad Mobasher, Honghua Dai, Tao Luo, Miki Nakagawa, Yuqing Sun, Jim
Wiltshire,
Discovery of Aggregate Usage Profiles for Web Personalization,
March 2001. [abstract], [full
paper: pdf] |
| 01-001 |
John Collins, Corey Bilot, Maria Gini, Bamshad Mobasher,
Mixed-Initiative Decision Support in Agent-Based Automated Contracting, March
2001. [abstract], [full paper: pdf] |
2000 Technical Reports
| 00-006 |
Marcus Schaefer, Deciding
the VC-dimension is Sigma3- complete, October 2000. [abstract],
[full paper: postscript] |
| 00-005 |
Marcus Schaefer, Daniel
Stefankovič, Decidability of String Graphs, September 2000. [abstract],
[full paper: postscript] |
| 00-004 |
Craig S. Miller,
Roger W. Remington, Exploring Information Navigation
Strategies with a Computational Model, September 2000. [abstract],
[full paper: pdf, html] |
| 00-003 |
Marcus Schaefer
Pradyut Shah,
Induced Graph Ramsey Theory, June 2000. [abstract],
[full paper: postscript] |
| 00-002 |
Karen Alkoby,
A Survey of ASL Tenses, April 2000. [abstract],
[full paper: pdf] |
| 00-001 |
Marcus Schaefer,
Deciding the K-dimension is PSPACE-complete, March 2000. [abstract],
[full paper: postscript] |
1999 Technical Reports
| 99-012 |
Craig S. Miller,
Roger W. Remington, A Computational Model of Web Navigation, November 1999. [abstract],
[full paper: pdf] |
| 99-011 |
Vladimir Kulyukin, Amber
Settle, On the Equivalence of Semantic Networks and Vector
Spaces under Ranked Retrieval, November 1999. [abstract],
[full paper: html] |
| 99-010 |
Bamshad Mobasher,
Robert Cooley and Jaideep Srivastava , Automatic
Personalization Based on Web Usage Mining, 1999. [abstract],
[full paper: postscript,
html] |
| 99-009 |
Alan Jeffrey, A
Distributed Object Calculus, July 1999. [abstract],
[full paper: postscript.gz] |
| 99-008 |
Bamshad Mobasher,
D. Pigozzi, G. Slutzki and G. Voutsadakis, A Duality Theory
for Bilattices, 1999. [abstract],
[full paper: postscript] |
| 99-007 |
Alan Jeffrey
and Ralf Schweimeier, A categorical and graphical treatment of
closure conversion, April 1999. [abstract],
[full paper: html] |
| 99-006 |
Noriko Tomuro, Left-corner
Parsing Algorithm for Unification Grammars, April 1999. [abstract],
[full paper: postscript.gz,
postscript.zip] |
| 99-005 |
Bamshad Mobasher,
John Collins, Maksim Tsvetovat, Corey Bilot, Rashmi Sundareswara,
Tim Lee, Maria Gini, A Framework For Mixed Initiative AgentBased
Contracting, 1999. [abstract],
[full paper: postscript] |
| 99-004 |
Bamshad Mobasher,
John Collins, Corey Bilot, Rashmi Sundareswara, Joshua van Tonder,
Maria Gini, Plan Execution by Contracting in a MultiAgent
Environment, 1999. [abstract],
[full paper: postscript] |
| 99-003 |
Bamshad Mobasher,
John Collins, Maksim Tsvetovat, Rashmi Sundareswara, Joshua van
Tonder, Maria Gini, Evaluating Risk: Flexibility and
Feasibility in MultiAgent Contracting, 1999. [abstract],
[full paper: postscript] |
| 99-002 |
Vladimir A. Kulyukin,
Application-Embedded Retrieval from Distributed Free-Text
Collections, February 1999. [abstract],
[full paper: html] |
| 99-001 |
John D. Rogers, A
note on the Isomorphism Conjecture and one-way functions,
February 1999. [abstract], [full
paper: postscript] |
1998 Technical Reports
| 98-005 |
Cesar Gonzales, George
Knafl, An Evaluation of Software Cost Models,
November 1998. [abstract], [full
paper:
doc] |
| 98-004 |
Alan Jeffrey, Premonoidal
categories and a graphical view of programs, September 1998.
[abstract], [full paper: html] |
| 98-003 |
Andrew Sears, Julie
Jacko, The Impact of Internet Delay and Document Content
on User Perceptions, June 1998. [abstract] |
| 98-002 |
Steven L. Lytinen,
Noriko Tomuro, Nonminimal
Derivations in Unification-based Parsing, May 1998. [abstract],
[full paper: postscript] |
| 98-001 |
Robert O. Briggs, Janna
M. Crews, Daniel D.
Mittleman, Facilitating Asynchronous Distributed GSS
Meetings: Eight Steps to Success, March 1998. |
1997 Technical Reports
| 97-007 |
Robert O. Briggs, Daniel
D. Mittleman, Neil
Weinstein, Jay F.
Nunamaker, Jr., Mark
E. Adkins, Collaborative Technology for the Sea-Based
Warfighter: A Field Study of GSS Adoption and Diffusion,
October 1997. [abstract] |
| 97-006 |
Noriko Tomuro, Steven
L. Lytinen, Efficient Lazy Unification, October 1997.
[abstract], [full paper: postscript] |
| 97-005 |
Karen L.
Bernstein, A Congruence Theorem for Structured Operational
Semantics of Higher-Order Languages, July 1997. [abstract][postscript] |
| 97-004 |
Andrew L. Sears,
Julie A. Jacko, Michael S. Borella, Perceived Usability of
Internet Sites Based Upon Network Delay, Document Type and User
Characteristics. [abstract] |
| 97-003 |
Lance Fortnow,
John D. Rogers, Complexity
Limitations on Quantum Computation. [abstract],
[full paper: postscript] |
| 97-002 |
Andrew L. Sears,
Michael S. Borella, WANDS: Tools for designing and testing
distributed documents. [abstract] |
| 97-001 |
Andrew L. Sears,
Julie A. Jacko, Michael S. Borella, Internet Delay Effects:
How Users Perceive Quality, Organization, and Ease of Use of
Information. [abstract] |
Submitting a Technical Report
Email the techreport
librarian with the following information:
-
paper title, list of authors
(with homepage URLs if wanted)
-
abstract (in HTML or as text)
-
paper in any reasonable format(s)
-
keywords (optional)
|