This directory contains electronic copies of some of the technical reports available from this organization. The following file suffix conventions are used: ps Postscript (print directly with lpr) txt Plain ASCII file (print directly with lpr) Z Compressed file (use uncompress to restore) ps.Z Compressed postscript (uncompress first or use zcat | lpr ) txt.Z Compressed ASCII file (uncompress first or use zcat | lpr ) =========================================================================== R E P O R T S A V A I L A B L E =========================================================================== TR Number Title and Author(s) --------- ----------------------------------------------------------- ================================================================================ [2005-19] Glasser, Christian, Selman, Alan L. and Zhang, Liyu, Survey of Disjoint NP-Pairs and Relations to Propositional Proof Systems, July 07, 2005. [2005-18] Glasser, Christian, Pavan, A., Selman, Alan L. and Zhang, Liyu, Redundancy in Complete Sets, July 07, 2005. [2005-17] Ghosh, Joy, Yoon, Seokhoon, Ngo, Hung and Qiao, Chunming, Sociological Orbits for Efficient Routing in Intermittently Connected Mobile Ad Hoc Networks, July 06, 2005. [2005-16] Rapaport, William J., Philosophy of Computer Science: An Introductory Course, June 21, 2005. [2005-15] Gestwicki, Paul V., Interactive Visualization of Object-Oriented Languages, June 15, 2005. [2005-14] Huaming Zhang and Xin He, An Application of Well-Orderly Trees in Graph Drawing, May 30, 2005. [2005-13] Santore, John F., Identifying Perceptually Indistinguishable Objects, January 24, 2005. [2005-12] Ghosh, Joy, Qiao, Chunming, Philip, Sumesh, Ngo, Hung and Yoon, Seokhoon, Sociological Orbit aware Location Approximation and Routing (SOLAR) in DTN, April 6, 2005. [2005-11] Staworko, Slawomir and Chomicki, Jan, Priority-Based Conflict Resolution in Inconsistent Relational Databases, June 15, 2005. [2005-09] Ghosh, Joy, Philip, Sumesh and Qiao, Chunming, Sociological Orbit Aware Routing in MANET, March 25, 2005. [2005-08] Shapiro, Stuart C., Anstey, Josephine, Pape, David E., Devdas Nayak, Trupti, Kandefer, Michael and Telhan, Orkan, MGLAIR Agents in a Virtual Reality Drama, March 30, 2005. [2005-07] Khan, Asheq, Philip, Sumesh J., Qiao, Chunming and Tripathi, Satish K., A Framework for Mobile Assisted Localization in Wireless Sensor Networks, March 25, 2005. [2005-06] Attias, H. T. and Beal, M. J., Tree of Latent Mixtures for Bayesian Modelling and Classification of High Dimensional Data, January 1, 2005. [2005-05] Chinchani, Ramkumar, Ha, Duc, Iyer, Anusha, Ngo, Hung Q. and Upadhyaya, Shambhu, On The Hardness of Approximating the Min-Hack Problem, March 02, 2005. [2005-04] Tang, C., Ramanathan, M., Jiang, D., and Zhang, A., A Semi-Supervised Learning Method for Coherent Pattern Detection from Gene-Sample-Time Series Datasets, March 09, 2005. [2005-01] Santore, John F., Complete Coded Protocols from PIO Experiment, January 05, 2005. [2004-22] Glasser, Christian, Ogihara, Mitsunori, Pavan, A., Selman, Alan L. and Zhang, Liyu, Autoreducibility, Mitoticity, and Immunity, December 21, 2004. [2004-21] Gestwicki, Paul V., Jayaraman, Bharat and Garg, Ashim, From Class Diagrams to Object Diagrams: An Automated Approach, December 13, 2004. [2004-20] Gestwicki, Paul V. and Jayaraman, Bharat, Methodology and Architecture of JIVE, December 13, 2004. [2004-19] Girgis, Hani Z., Hegde, Akshay V., Pushpendran, Manu, Gestwicki, Paul V. and Jayaraman, Bharat, Visual Queries for Interactive Execution of Java Programs, December 13, 2004. [2004-18] Mathew, Sunu, Shah, Chintan and Upadhyaya, Shambhu, An Alert Fusion Framework for Situation Awareness of Coordinated Multistage Attacks, November 29, 2004. [2004-17] Glasser, Christian, Selman, Alan L. and Zhang, Liyu, Canonical Disjoint NP-Pairs of Propositional Proof Systems, November 19, 2004. [2004-16] Chinchani, Ramkumar, Iyer, Anusha, Ngo Q., Hung and Upadhyaya, Shambhu, A Target-Centric Formal Model For Insider Threat And More, October 12, 2004. , , . [2004-15] Yu, Xiang, Thng, Ian, Jiang, Yuming and Qiao, Chunming, Queuing Processes in GPS and PGPS with LRD Traffic Inputs (Extended Version), September 29, 2004. [2004-14] Ghosh, Joy, Philip, Sumesh and Qiao, Chunming, Performance Analysis of Mobility Based Routing Protocols in MANET, September 16, 2004. [2004-13] Liu, Jiangjiang, INFORMATION PATTERN AWARE DESIGN STRATEGIES FOR NANOMETER-SCALE ADDRESS BUSES, August 31, 2004. [2004-12] Srikanth, Munirathnam, EXPLOITING QUERY FEATURES IN LANGUAGE MODELING APPROACH\\FOR INFORMATION RETRIEVAL, August 26, 2004. [2004-09] Aruna Balasubramanian, Sumita Mishra and Ramalingam Sridhar, A Hybrid Approach to Key Management for Enhanced Security in Ad Hoc Networks, July 30, 2004. [2004-08] Ghosh, Joy, Philip, Sumesh and Qiao, Chunming, ORBIT Mobility Framework and Orbit Based Routing (OBR) Protocol for MANET, July 12, 2004. [2004-07] Karthik Sundararaman, Design For Manufacturability - Fault Model Extensions for RF Circuits with, May 18, 2004. [2004-06] Ghosh, Joy, Kumar, Vivek, Wang, Xin and Qiao, Chunming, BTSpin - Single Phase Distributed Bluetooth Scatternet Formation, December 13, 2003. [2004-05] Raux R.J. and Jayaraman B., Modeling Dynamic Systems with Constrained Objects, February 29, 2004. [2004-04] Tambay P. and Jayaraman B., Implementation Techniques for Constrained Objects, February 29, 2004. [2004-03] Glasser, Christian, Pavan, A., Selman, Alan and Sengupta, Samik, Properties of NP-Complete Sets, January 15, 2004. [2004-02] Zhao, Dan, An Integrated Framework for Concurrent Test and Wireless Control in Complex SoCs, December 30, 2003. [2004-01] Selman, A. and Sengupta, S., Polylogarithmic-round Interactive Proofs for coNP, September 02, 2003. [2003-13] Yu, Xiang, Qiao, Chunming , Liu, Yong and Towsley, Don, Performance Evaluation of TCP Implementations in OBS Networks, July 1, 2003. [2003-12] Garg, Ashim and Rusu, Adrian, A More Practical Algorithm for Drawing Binary Trees in Linear Area with ArbitraryAspect Ratio, September 19, 2003. [2003-11] Garg, Ashim and Rusu, Adrian, Area-Efficient Drawings of Outerplanar Graphs, September 18, 2003. [2003-10] Zhang, Huaming and He, Xin, Improved Visibility Representation of Plane Graphs, August 27, 2003. [2003-09] Chinchani, Ramkumar, Pramanik, Suranjan and Garg, Ashish, Handling Failures and DOS Attacks Using Network Device Groups, July 15, 2003. [2003-08] Rusu, Adrian, Area-Efficient Grid Drawings of Graphs, August 16, 2003. [2003-07] Aygun, Ramazan Savas, Spatio-Temporal Browsing of Multimedia Presentations, May 08, 2003. [2003-06] "Zhang, Huaming and He, Xin", Canonical Ordering Tree and Its Applications in Graph Drawing, May 30, 2003. [2003-05] Garg, Ashim and Rusu, Adrian, Area-Efficient Order-Preserving Planar Straight-line Drawings of Ordered Trees, May 16, 2003. [2003-04] Glasser, C., Selman, A and Sengupta, S., Reductions between Disjoint NP-Pairs, April 21, 2003. [2003-03] Wu, Yimin and Zhang, Aidong, Adaptively Discovering Meaningful Patterns in High-Dimensional Nearest Neighbor Search, April 08, 2003. [2003-02] Glasser, Christian, Selman, Alan L., Sengupta, Samik and Zhang, Liyu, Disjoint NP-Pairs, February 17, 2003. [2003-01] "Tambay P. and Jayaraman B.", The Cob Programmer's Manual, February 05, 2003. [2002-17] Boxer, Laurence, Expected Optimal Selection on the PRAM, December 03, 2002. [2002-16] Aygun, Ramazan Savas and Yazici, Adnan, Modeling and Management of Fuzzy Information in Multimedia Database Applications, December 05, 2002. [2002-15] "Aygun, Ramazan Savas and Zhang, Aidong", Rule-based Flexible Synchronization Modeling with Model Checking, December 05, 2002. [2002-14] Garg, Ashim and Rusu, Adrian, Straight-line Drawings of General Trees with Linear Area and Arbitrary Aspect, May 16, 2003. [2002-13] Zhang, Huaming and He, Xin, On Even Triangulations of 2-Connected Embedded Graphs, July 06, 2002. [2002-12] Song, Yuqing, MONOTONIC TREE AND ITS APPLICATION TO MULTIMEDIA INFORMATION RETRIEVAL, August 16, 2002. [2002-11] Anand, Vishal and Qiao, Chunming, Effect of Wavelength Conversion in Survivable Wavelength Routed Optical WDM Networks with Alternate Routing, June 06, 2002. [2002-10] Ngo, Hung Q., WDM Split Cross-connects and $3$-stage Clos Networks, July 09, 2002. [2002-09] Ngo, Hung Q., A New Routing Algorithm for Multirate Rearrangeable Clos Networks, May 22, 2002. [2002-08] Wu, Hongyi, iCAR : an Integrated Cellular and Ad hoc Relaying System, May 16, 2002. [2002-07] Ngo, Hung Q. and Vu, Van H., On Multi-rate Rearrangeable Clos Networks and a Generalized Edge Coloring Problem on Bipartite Graphs, May 10, 2002. [2002-05] Garg, Ashim and Chanda, Amrita, Compact Encodings of Planar Orthogonal Drawings, April 24, 2002. [2002-04] Garg, Ashim and Rusu, Adrian, Straight-line Drawings of Binary Trees with Linear Area and Good Aspect Ratio, April 24, 2002. [2002-03] Burhans, Debra T., A Question Answering Interpretation of Resolution Refutation, January 31, 2002. [2002-02] Ngo, Hung Q., P-Species and the q-Mehler Formula, January 24, 2002. [2002-01] Anand, Vishal, Chauhan, Sunit and Qiao, Chunming., Sub-path Protection: A New Framework for Optical Layer Survivability and its Quantitative Evaluation, January 02, 2002. [2001-16] Mahapatra, Nihar R. and Dutt, Shantanu, An Efficient Delay-Optimal Distributed Termination Detection Algorithm, November 27, 2001. [2001-15] Jayaraman, B. and Tambay, P., Semantics and Applications of Constrained Objects, October 12, 2001. [2001-14] Xu, Dahai and Qiao, Chunming, Distributed Partial Information Management (DPIM) Schemes for Survivable Networks - Part II, July 10, 2001. [2001-13] Qiao, Chunming and Xu, Dahai, Distributed Partial Information Management (DPIM) Schemes for Survivable Networks - Part I, July 10, 2001. [2001-12] Song, Yuqing andhang, Aidong, Monotonic Tree of Images and Its Application in Image Processing, August 29, 2001. [2001-11] Ismail, Haythem O., Reasoning and Acting in Time, August 24, 2001. [2001-10] Pavan, A., Average-case complexity theory and polynomial-time reductions, August 26, 2001. [2001-09] Rapaport, William J., Holism, Conceptual-Role Semantics, and Syntactic Semantics, August 17, 2001. [2001-08] Ismail, Haythem O. and Shapiro, Stuart C., The Cognitive Clock: A Formal Investigation of the Epistemology of Time, August 14, 2001. [2001-07] LUO, Hui, KNOWLEDGE-BASED IMAGE UNDERSTANDING AND CLASSIFICATION SYSTEM FOR MEDICAL IMAGE DATABASES, July 30, 2001. [2001-06] Chun-Hsi Huang, Communication-Efficient Bulk Synchronous Parallel Algorithms, July 30, 2001. [2001-05] Cha, Sung-Hyuk, Use of Distance Measures in Handwriting Analysis, March 28, 2001. [2001-04] Charles, Denis X., A Note on the Subgroup Membership Problem for PSL(2,p), March 27, 2001. [2001-03] Bhadra, Debangshu and Garg, Ashim, An Interactive Visual Framework for Detecting Clusters of a Multidimensional Dataset, March 27, 2001. [2001-02] Pavan, A. and Selman, A.L., Separation of NP-completeness Notions, January 16, 2001. [2001-01] Boxer, Laurence and Haralick, Robert, Even faster point set pattern matching in 3-d, January 09, 2001. [2000-11] Charles, D., Pavan, A. and Sengupta, S., On higher Arthur-Merlin classes, December 12, 2000. [2000-10] Charles, Denis, Sieve Methods, July 18, 2000. [2000-09] Petr Slavik and Venu Govindaraju, An Overview of Run-length Encoding of Handwritten Word Images, August 25, 2000. [2000-08] Xin He, A Simple Linear Time Algorithm for Proper Box Rectangular Drawing of Plane Graphs, August 10, 2000. [2000-07] Denis, Charles and Regan, Kenneth, On Arithmetical Formulas Whose Jacobians are Groebner Bases, July 13, 2000. [2000-06] McKernan, Timothy and Jayaraman, Bharat, CobWeb: Constrained XML for the Web, May 19, 2000. [2000-05] Jayaraman, Bharat and Tambay, Pallavi Y, Constrained Objects for Modeling Complex Systems, April 1, 2000. [2000-04] Slavik, Petr, Slice Distance, April 08, 2000. [2000-03] Johnson, Frances L. and Shapiro, Stuart C., Implementing Integrity Constraints in an Existing Belief Revision System, March 08, 2000. [2000-02] Johnson, Frances L. and Shapiro, Stuart C., Formalizing a Deductively Open Belief Space, January 24, 2000. [2000-01] Shapiro, Stuart C. and Johnson, Frances L., Automatic Belief Revision in SNePS, March 03, 2000. [99-10] Ismail, Haythem O. and Shapiro, Stuart C., Cascaded Acts: Conscious Sequential Acting for Embodied Agents, November 1, 1999. [99-09] Johnson, Frances L. and Shapiro, Stuart C., Finding and Resolving Contradictions in a Battle Scenario, September 09, 1999. [99-08] Johnson, Frances L. and Shapiro, Stuart C., Says Who? -- Incorporating Source Credibility Issues into Belief Revision, July 31, 1999. [99-07] Burhans, Debra T. and Shapiro, Stuart C., Expanding the Notion of Answer in Rule-Based Systems, November 08, 1999. [99-06] Rapaport, William J., How to Pass a Turing Test: Syntax Suffices for Understanding Natural Language, June 08, 1999. [99-05] Qiao, C., Jeong, M., Guha, A., ang, X. and Wei, J., WDM Multicasting in IP over WDM Networks, May 1, 1999. [99-04] Yu, D. and ang, A., ACQ: An Automatic Clustering and Querying Approach for Large Image Databases, May 05, 1999. [99-03] Yu D., Sheikholeslami S. and ang, A., FindOut: Finding Outliers in Very Large Datasets, May 05, 1999. [99-02] Fortnow, L., Pavan, A. and Selman, A., Distributionally-Hard Languages, April 26, 1999. [99-01] Lee, Chain-Wu, TERRESA: A Task-Based Message-Driven Parallel Semantic Network System, January 30, 1999. [98-10] Shapiro, Stuart C., Belief Revision and Truth Maintenance Systems: An Overview and a Proposal, December 31, 1998. [98-09] Ogihara, Mitusnori, Regan, Kenneth W. and Toda, Seinosuke, Graded Self-Reducibility, December 30, 1998. [98-08] Yu, Dantong, Chatterjee, Surojit, Sheikholeslami, Gholamhosein and Zhang, Aidong, Efficiently Detecting Arbitrary Shaped Clusters in Very Large Datasets with High Dimensions, November 1, 1998. [98-07] Sheikholeslami, Gholamhosein, Wang, Wenjie and Zhang, Aidong, A Model of Image Representation and Indexing in Image Database Systems, July 20, 1998. [98-06] Slavik, Petr, Approximation Algorithms for Set Cover and Related Problems, April 30, 1998. [98-05] Rapaport, William J. and Ehrlich, Karen, A Computational Theory of Vocabulary Acquisition, April 14, 1998. [98-04] Hexmoor, H, Representing and Learning Routine Activities, December 1995. [98-03] Soh, Jung, A Theory of Document Object Locator Combination, March 25, 1998. [98-02] Campbell, Alistair E. and Shapiro, Stuart C., Algorithms for Ontological Mediation, January 23, 1998. [98-01] Shapiro, Stuart C., A Procedural Solution to the Unexpected Hanging and Sorites Paradoxes, January 05, 1998. [97-16] Liao, Min-Hung, Chinese to English Machine Translation Using SNePS as an Interlingua, December 1, 1997. [97-15] Rapaport, William J., Implementation Is Semantic Interpretation, November 21, 1997. [97-14] Hexmoor, H and Lopez, F, Toward Object Selection with a Pointer, October 30, 1997. [97-13] Naik, Ashish V., Rogers, John, D., Royer, James S. and Selman, Alan L., A Hierarchy Based on Output Multiplicity, August 05, 1997. [97-12] Hexmoor, Henry and Cuddihy, Elisabeth, Performance of a simple cooperative individual situation assessment (CISA) with respect to information sharing strategy metrics, July 23, 1997. [97-11] Fang, Chi, Deciphering Algorithms for Degraded Document Recognition, July 17, 1997. [97-10] Cai, Jin-Yi, Nerurkar, Ajay and Wu, Min-You, The Design of Uncheatable Benchmarks Using Complexity Theory, July 18, 1997. [97-09] Rajiv Chopra, An Architecture for Exploiting Qualitative Scene-specific Context in High-Level Computer Vision, June 1, 1997. [97-08] Ehrlich, Karen and Rapaport, William J., A Computational Theory of Vocabulary Expansion, May 5, 1997. [97-07] Walters, Deborah, Li, Yiming and Wright, Ron, General Ribbons: Generic Blob/stroke Segmentation, May 16, 1997. [97-05] Walters, Deborah, Li, Yiming, Milun, Elyse and Atanacio, Bemina, General Ribbons: A Model for Stylus Generated Images, May 15, 1997. [97-04] Sheikholeslami, Gholamhosein and ang, Aidong, A Clustering Approach for Large Visual Databases, February 21, 1997. [97-03] Hexmoor, Henry, ROBOLEARN 97: An International Workshop on Evaluating Robot Learning, April 12, 1997. [97-02] Slavik, Petr, The Errand Scheduling Problem, March 14, 1997. [97-01] Pavan, A. and Selman, Alan L., Complete Distributional Problems, Hard Languages, and Resource-Bounded Measure, February 06, 1997. [96-26] Rapaport, William J., Understanding Understanding: Semantics, Computation, and Cognition, July 17, 1996. [96-25] Johnson, T. and ang, A., A Framework for Supporting Quality-Based Presentation of Continuous Multimedia Streams, December 16, 1996. [96-24] Chang, W., Murthy, D., Mei, Y. and ang, A., Metadatabase and Search Agent for Multimedia Database Access over Internet, December 16, 1996. [96-23] Wu, Min-You, Scheduling for Interactive Operations in Parallel Video Servers, December 12, 1996. [96-22] Cai, Jin-Yi and Samuthiram, Karthikeyan, A note on the Pumping Lemma for regular languages, December 04, 1996. [96-21] Belanger, Jay, Pavan, A. and Wang, Jie, Reductions Do Not Preserve Fast Convergence Rates in Average Time, November 07, 1996. [96-20] Chakravarty, Sreejit, Defect Detection Capability of Delay Tests for Path Delay Faults, November 07, 1996. [96-19] Rapaport, William J., Cognitive Science, October 29, 1996. [96-18] Chalupsky, Hans, SIMBA: Belief Ascription by Way of Simulative Reasoning, January 31, 1996. [96-14] Wu, Min-You and Shu, Wei, DDE: A Modified Dimension Exchange Method for Load Balancing in k-ary n-cubes, March 25, 1996. [96-13] Gollapudi, Sreenivas, A Multithreaded Client-Server Architecture for Distributed Multimedia Systems, July 19, 1996. [96-12] Boxer, Laurence, Miller, Russ and Rau-Chaplin, Andrew, Some Scalable Parallel Algorithms for Geometric Problems, June 14, 1996. [96-11] Hexmoor, Henry and Meeden, Lisa, Robolearn 96: An International Workshop on Learning for Autonomous Robots, June 10, 1996. [96-10] Rapaport, William J., How Minds Can Be Computational Systems, May 31, 1996. [96-09] Min-You Wu, Scheduling for Large-Scale Parallel Video Servers, May 17, 1996. [96-08] Dabholkar, Vinay P. and Chakravarty, Sreejit, Dynamic Stress Tests for ``Narrow Metal Imperfections'' in Full Scan Circuits, April 03, 1996. [96-06] Gollapudi, Sreenivas and ang, Aidong , NetMedia: A Client-Server Distributed Multimedia Database Environment, April 04, 1996. [96-05] Hong, Tao, Degraded Text Recognition using Visual and Linguistic Context, March 27, 1996. [96-03] Chakravarty, Sreejit and Thadikaran, Paul J., Which Set of Bridging Faults Should Test Compilers Target?, February 28, 1996. [96-02] Kumar, Ravi S. and Sivakumar, D., Efficient Self-Testing of Linear Recurrences, January 29, 1996. [96-01] Ivanyos, Gábor, Testing membership in unitriangular matrix groups. Preliminary draft, January 02, 1996. [95-55] Gollapudi, Sreenivas and ang, Aidong, Buffer Management in Multimedia Database Systems, November 28, 1995. [95-54] Slavik, Petr, A Tight Analysis of the Greedy Algorithm for Set Cover, November 19, 1995. [95-52] Dabholkar, Vinay P. and Chakravarty, Sreejit, Stress Tests for Dynamic Burn-in of Full Scan Circuits, November 09, 1995. [95-49A] Wu, Min-You, On Parallelization of Static Scheduling Algorithms, October 31, 1995. [95-51] Fenner, Stephen, Green, Frederic, Homer, Stephen, Selman, Alan L., Thierauf, Thomas and Vollmer, Heribert, Complements of Multivalued Functions, November 06, 1995. [95-49B] Rapaport, William J., Shapiro, Stuart C. and Wiebe, Janyce M., Quasi-Indexicals and Knowledge Reports, October 26, 1995. [95-50] Govindarajan, Kannan, Jayaraman, Bharat and Mantha, Surya, Preference Datalog, November 01, 1995. [95-48] Chakravarty, S., A Sampling Technique for Diagnostic Fault Simulation, October 26, 1995. [95-47] Wu, Min-You, Symmetrical Hopping: a Scalable Scheduling Algorithm for Irregular Problems, October 25, 1995. [95-46] Wu, Min-You, Parallel Incremental Scheduling, October 24, 1995. [95-45] Slavik, Petr, Improved Performance of the Greedy Algorithm for the Minimum Set Cover and Minimum Partial Cover Problems, October 15, 1995. [95-44] ang, Aidong and Gollapudi, Sreenivas, Multimedia Transaction Management in Database Systems, October 30, 1995. [95-43] Ravikumar, S. and Sivakumar, D., On Self-Testing without the Generator Bottleneck, September 20, 1995. [95-42] Cai, Jin-Yi , Naik, Ashish V. and Sivakumar, D., Bounded Truth Table Reductions of P, Sept. 21, 1994. [95-41] Cai, Jin-Yi and Ogihara, Mitsunori, Sparse Sets versus Complexity Classes, September 18, 1995. [95-40] Cai, Jin-Yi and Sivakumar, D., Resolution of Hartmanis' Conjecture for NL-hard sparse sets, September 18, 1995. [95-39] Regan, K.W. and Vollmer, H., Gap Languages and Log-Time Complexity Classes, September 12, 1995. [95-38] Seni, Giovanni, Large Vocabulary Recognition of On-line Handwritten Cursive Words, August 1, 1995. [95-37] Govindarajan, Kannan, Jayaraman, Bharat and Mantha, Surya, Optimization and Relaxation in Constraint Logic Languages, October 21, 1995. [95-36] Cai, Jin-Yi, Frobenius's degree formula and Toda's polynomials, August 10, 1995. [95-35] Cai, Jin-Yi, A simple improvement of a theorem of Polya, August 10, 1995. [95-34] Wu, Min-You, On Runtime Parallel Scheduling, August 10, 1995. [95-33] ang, Aidong, On Synchronized Presentation Management in Multimedia Database Systems, August 16, 1995. [95-31] Cai, Jin-Yi, Naik, Ashish V. and Sivakumar, D., On the Existence of Hard Sparse Sets under Weak Reductions, July 13, 1995. [95-30] Cai, Jin-Yi and Sivakumar, D., The Resolution of a Hartmanis Conjecture, July 13, 1995. [95-29] Babai, L., Beals, R., Cai, J-Y., Ivanyos, G. and Luks, E., Multiplicative equations over commutative matrices, July 13, 1995. [95-27] Cai, Jin-Yi and Liu,icheng, The bounded membership problem of the monoid SL_2(N), June 15, 1995. [95-25] Koepsell, David R. and Rapaport, William J., The Ontology of Cyberspace: Questions and Comments, April 22, 1995. [95-24] Zaionc, Marek, Lambda definability is decidable for second order types and for regular third order types, May 08, 1995. [95-23] Milun, Davin, Generating Markov Random Field Image Analysis Systems from Examples, May 1, 1995. [95-22] Govindarajan, Kannan, Jayaraman, Bharat and Mantha, Surya, Relaxation in Constraint Logic Languages, April 25, 1995. [95-21] Chopra, Rajiv, Srihari, Rohini and Ralston, Anthony, HyperArc Consistency and Expensive Constraints, May 05, 1995. [95-20] Zaionc, Marek, Fixpoint Technique for Counting Terms in Typed Lambda Calculus, April 14, 1995. [95-19] ang, Aidong, Cheng, Biao and Acharya, Raj, Texture-Based Image Retrieval Using Fractal Codes, August 16, 1995. [95-18] Gong, Yiming and Chakravarty, Sreejit, A Dynamic Diagnostic Test Generation System for IDDQ Measurement Based Diagnosis of Bridging Faults, April 10, 1995. [95-17] Cai, Pu, Cai, Jin-Yi and Naik, Ashish, Efficient algorithms for a scheduling problem and its applications to illicit drug market crackdowns, April 03, 1995. [95-16] Cai, Jin-Yi and Selman, Alan L., Average Time Complexity Classes, March 31, 1995. [95-15] Ehrlich, Karen and Rapaport, William J., A Computational Theory of Vocabulary Expansion: Project Proposal, March 21, 1995. [95-14] Jayaraman, B. and Moon, K., Implementation of Subset Logic Programs, March 24, 1995. [95-12] ang, Aidong, Cheng, Biao and Acharya, Raj, Texture-Based Image Retrival Using Fractals, July 21, 1995. [95-11] Chakravarty, Sreejit, Fuchs, Kent and Patel, Janak, Evaluation and Generation of IDDQ Diagnostic Tests for Bridging Faults in Combinational Circuits, February 27, 1995. [95-10] Zaionc, Marek, Lambda Representation of Operations Between Different Term Algebras, February 28, 1995. [95-08] Regan, Kenneth W. and Sivakumar, D., Improved Resource-Bounded Borel-Cantelli and Stochasticity Theorems, February 16, 1995. [95-07] Dabholkar, Vinay, Chakravarty, Sreejit, Najm, Farid and Patel, Janak, Cyclic Stress Tests for Full Scan Circuits, February 24, 1995. [95-06] He, Xin, Grid Embedding of Internally Triangulated Plane Graphs without Non-empty Triangles, February 02, 1995. [95-05] ang, Aidong, Cheng, Biao and Acharya, Raj, Using Fractal Coding to Index Image Content for a Digital Library, August 16, 1995. [95-03] Jagota, Arun K., Narasimhan, Giri and Regan, Kenneth W., Information Capacity of Binary Weights Associative Memories, January 24, 1995. [95-02] Regan, Kenneth W., Sivakumar, D. and Cai, Jin-Yi, Pseudorandom Generators, Measure Theory, and Natural Proofs, January 25, 1995. [95-01] ang, Aidong, Nodine, Marian and Bhargava, Bharat, Ensuring Semi-Atomicity in Heterogeneous Distributed Database Systems, February 04, 1995. [94-43] ang, Aidong, Nodine, Marian and Bhargava, Bharat, Ensuring Semi-Atomicity in Heterogeneous Distributed Database Systems, August 16, 1995. [94-39] Curtis, Ronald Sanger, Data Structure Complexity Metrics, November 11, 1994. [94-38] Cai, Jin-Yi, Cai, Pu and u, Yixin, A fully polynomial time approximation scheme in scheduling deteriorating jobs, October 02, 1994. [94-37] Jana, Devashis, Semantics of Subset-Logic Languages, November 11, 1994. [94-35] Niyogi, Debashish, A Knowledge-Based Approach to Deriving Logical Structure from Document Images, August 1994. [94-34] Gong, Yiming and Chakravarty, Sreejit, A Diagnosis Algorithm for Bridging Faults in Combinational Circuits, September 13, 1994. [94-33] Sivalingam, Krishna Moorty, High-Speed Communication Protocols for All-Optical Wavelength Division Multiplexed Computer Networks, October 20, 1994. [94-32] Kumar, Amruth N., Component Ontological Representation of Function For Candidate Discrimination in Model Based Diagnosis, November 11, 1994. [94-31] ang, Aidong, Impact of Multimedia Data on Workflow, August 16, 1995. [94-30] Jana, Devashis and Jayaraman, Bharat, Set Constructors, Finite Sets, and Logical Semantics, August 08, 1994. [94-29] Regan, Kenneth W., Index Sets and Presentations of Complexity Classes (revised version), July 29, 1994. [94-28] Rappaport, William J., Understanding Understanding: Syntactic Semantics and Computational Cognition, October 20, 1994. [94-27] Govindarajan, Kannan, Jayaraman, Bharat and Mantha, Surya, Preference Logic Grammars, June 24, 1994. [94-26] Lammens, Johan M., A Computational Model of Color Perception and Color Naming, June 24, 1994. [94-25] Shu, Wei, Runtime Incremental Parallel Scheduling (RIPS) on Distributed Memory Computers, November 11, 1994. [94-24] Regan, Kenneth W., Linear Speed-Up, Information Vicinity, and Finite-State Machines, May 20, 1994. [94-23] Regan, Kenneth W., Linear-Time Algorithms in Memory Hierarchies, May 20, 1994. [94-22] Cai, Jin-Yi, Lipton, Richard J., Longpre, Luc, Ogihara, Mitsunori, Regan, Kenneth W. and Sivakumar, D., Communication Complexity of Key Agreement on Limited Ranges, May 20, 1994. [94-21] Naik, Ashish V., Regan, Kenneth W. and Sivakumar, D., Quasilinear Time Complexity Theory, May 20, 1994. [94-20] Li, Lide, Ogihara, Mitsunori and Regan, Kenneth W., On Information From #P Functions, May 20, 1994. [94-19] Green, Frederic, Koebler, Johannes, Regan, Kenneth W., Schwentick, Thomas and Toran, Jacobo, The Power of the Middle Bit of a #P Function, May 20, 1994. [94-18] Regan, Kenneth W., Linear Time and Memory-Efficient Computation, May 20, 1994. [94-17] Cai, Jin-Yi, Lipton, Richard J. and lcstein, Yechezkel, The complexity of the A B C problem resolved, May 12, 1994. [94-16] Cai, Jin-Yi, Computing Jordan Normal Forms exactly for commuting matrices in polynomial time, May 11, 1994. [94-15] Cai, Jin-Yi and Chari, Suresh, On the Impossibility of Amplifying the Independence of Random Variables, May 04, 1994. [94-14] Cai, Jin-Yi and Hirsch, Michael D., Rotation Distance, Triangulations of Planar Surfaces and Hyperbolic Geometry, May 04, 1994. [94-13] Govindarajan, Kannan and Jayaraman, Bharat, Intensional AlgorithmicDebugging, May 20, 1994. [94-12] Govindarajan, Kannan, Jayaraman, Bharat and Mantha, Surya, Preference Logic Programming: Optimization as Inference, April 15, 1994. [94-11] Hill, Robin K., Issues of Semantics in a Semantic-Network representation of Belief, April 03, 1995. [94-10] Dabholkar, V.P. and Chakravarty, S., Minimizing Power Dissipation in Combinational Circuits During Test Application, April 15, 1994. [94-09] Hexmoor, Henry H., A Methodology for Developing Competent Agents Without Sensor and Actuator Profusion, April 15, 1994. [94-08] Ahmad, Ishfaq, Wu, Min-You , Yang, Jaehyung and Ghafoor, Arif, A Performance Assessment of Express on the iPSC/2 and iPSC/860 Hypercube Computers, April 15, 1994. [94-07] Hexmoor, Henry H., What are routines good for?, April 15, 1994. [94-06] Chakravarty, Sreejit and Dabholkar, Vinay, Minimizing Power Dissipation in Scan Circuits During Test Application, April 15, 1994. [94-04] Kumar, Deepak, From Beliefs and Goals to Intentions and Actions: An Amalgamated Model of Inference and Acting, March 11, 1994. [94-03] Chakravarty, Sreejit and Gong, Yiming, Voting Model Based Diagnosis of Bridging Faults in Combinational Circuits, February 15, 1994. [94-02] Cai, Jin-Yi, Naik, Ashish V. and Selman, Alan L., On P-selective sets and Adaptive versus Nonadaptive Queries to NP, February 02, 1994. [94-01] Ali, Syed S., A "Natural Logic" for Natural Language Processing and Knowledge Representation, February 09, 1994. [93-43] Revankar, Shriram, Supervised Image Segmentation, May 1993. [93-42] Chakravarty, Sreejit and Thadikaran, Paul J., On Iddq Measurement Based Analysis of Bridging Faults in CMOS Circuits, November 1993. [93-41] Cai, Jin-Yi, Fuchs, W.H.J., Kozen, Dexter and Liu,icheng, Efficient Average-Case Algorithms for the Modular Group, June 15, 1995 (modified version). [93-40] Jayaraman, Bharat, Osorio, Mauricio and Moon, Kyonghee, Partial Order Logic Programming, November 30, 1993. [93-39] Sher, David B., Wafford, Charlotte E. and Milun, Davin, Relating Gibbs distributions to empirically derived marginal distributions for image analysis, November 23, 1993. [93-38] Chakravarty, Sreejit, A Study of Theoretical Issues in the Synthesis of Delay Fault Testable Circuits, October 26, 1993. [93-37] Hexmoor, Henry H., Lammens, Johan M. and Shapiro, Stuart C., An Autonomous Agent Architecture for Integrating "Unconscious" and "Conscious", Reasoned Behaviors, August 24, 1993. [93-36] Naik, Ashish V., Baveja, Alok, Batta, Rajan and Caulkins, Jonathan P., Scheduling Crackdowns on Illicit Drug Markets, August 30, 1993. [93-35] Regan, Kenneth W., A New Parallel Vector Model, With Exact Characterizations of NC^k, August 17, 1993. [93-34] Naik, Ashish V., Regan, Kenneth W. and Sivakumar, D., Quasilinear Time Complexity Theory, August 20, 1993. [93-33] Regan, Kenneth W., Machine Models and Linear Time Complexity, August 16, 1993. [93-31] Lammens, Johan M. and Shapiro, Stuart C., Learning Symbolic Names for Perceived Colors, August 16, 1993. [93-30] Bar-Yehuda, R., Dabholkar, V., Govindarajan, K. and Sivakumar, D., Randomized Local Approximations with Applications to the MAX-CLIQUE Problem, August 17, 1993. [93-29] Hemaspaandra, Lane A., Hoene, Albrecht, Naik, Ashish V., Ogiwara, Mitsunori, Selman, Alan L., Thierauf, Thomas and Wang, Jie, Selectivity: Reductions, Nondeterminism, and Function Classes, August 18, 1993. [93-28] Hemaspaandra, Lane A., Naik, Ashish V., Ogiwara, Mitsunori and Selman, Alan L., Computing Solutions Uniquely Collapses the Polynomial Hierarchy, August 17, 1993. [93-27] Miller, Russ, The Status of Parallel Processing Education, July, 1993 (updated subsequently). [93-26] Osorio, Mauricio and Jayaraman, Bharat, Subset Assertions and Negation-As Failure, July 27, 1993. [93-25] Regan, Kenneth W., On the Difference Between Turing Machine Time Random-Access Machine Time, July 12, 1993. [93-24] Regan, Kenneth W., Efficient Reductions from NP to Parity Using Error-Correcting Codes (preliminary version), June 12, 1993. [93-23] Mackey, Niloufer, Hamilton and Jacobi Meet Again: Quaternions and the Eigenvalue Problem, May 15, 1993. [93-22] Sarnath, R., A Randomized Parallel Algorithm for dfa-minimization, August 03, 1993. [93-21] Hemaspaandra, Edith, Naik, Ashish V., Ogiwara, Mitsunori and Selman, Alan L., P-Selective Sets, and Reducing Search to Decision vs. Self-Reducibility, July 30, 1993. [93-20] Choi, Joongmin, Experience-Based Learning In Deductive Reasoning Systems, May 1993. [93-18] Sivaprakasam, S., Performance Enhancements in SunOS NFS, May 1993. [93-16] Ali, S. and Shapiro, S. C., Natural Language Processing Using a Propositional Semantic Network with Structured Variables, May 7, 1993. [93-15] Hexmoor, H., Lammens, J., Caicedo, G. and Shapiro, S. C., Behavior Based AI, Cognitive Processes, and Emergent Behaviors in Autonomous Agents, April 1993. [93-13] Lammens, J., Hexmoor, H. and Shapiro, S. C., Of Elephants and Men, April 1993. [93-10] Hexmoor, H., Lammens, J. and Shapiro, S. C., Embodiment in GLAIR: A Grounded Layered Architecture with Integrated Reasoning for Autonomous Agents, February 1993. [93-09] Chakravarty, Sreejit and Gong, Yiming, A Diagnostic Simulation Algorithm for Stuck-at Faults in Combinational Circuits, March 1993. [93-07] Shu, Wei and Wu, Min-You, Sparse Implementation of Revised Simplex Algorithms on Parallel Computers, July 01, 1993. [93-05] Fenner, Stephen, Homer, Steve, Ogiwara, Mitsunori and Selman, Alan L., On Using Oracles That Compute Values, February 17, 1993. [93-04] Chakravarty, Sreejit and Sivaprakasm, Suresh, I_DDQ Measurement Based Diagnosis of Bridging Faults in Full, February 1993. [93-02] Sarnath, R., Lower bounds for padded sorting and approximate counting, January 1993. [93-01] Sarnath, R., Doubly logarithmic time parallel sorting , January 1993 . [92-33] Jagota, A., Approximating Maximum Clique with a Hopfield Network, December 1992. [92-32] Chakravarty, S. and Theophilopoulos, G., Computing Robust Test for Stuck-open Faults from Stuck-at Test Sets, December 1992. [92-30] Sher, David B. and Cheung, Chris Y., Constructing Noise-Reducing Operators from Training Images, November 1992. [92-27] Green, F., Kobler, J., Regan, K., Schwentick, T. and Toran, J., The Power of the middle Bit of Number-P Function, October 1992. [92-26] Chakravarty, S. and Gong, Y., An Algorithm for Diagnosing Two-Line Bridging Faults in Combinational Circuits, October 1992. [92-25] Revankar, S. and Sher, D., Constrained Contouring in the Polar Coordinates, October 1992. [92-24] Jagota, A. and Regan, K., Performance, October 1992. [92-23] Hexmoor, Henry and Nute, Donald, Methods for deciding what to do next and learning, September, 1992. [92-23] Hexmoor, Henry and Nute, Donald, Methods for deciding what to do next and learning, September, 1992. [92-22] Milun, D. and Sher, D., Improving Edge Detectors on Compressed Images-A Trainable Markov Random Field Approach, September 1992. [92-21] Hexmoor, H., Lammens, J. and Shapiro, S., An Autonomous Agent Architecture for Integrating Perception and Acting with Grounded Embodied Symbolic Reasoning, August 1992. [92-18] Sunder, S. and He, X, An NC Algorithm , July 1992. [92-16] Chakravarty, Sreejit and Thadikaran, Paul J., Generation and Simulation of IDDQ Tests for Bridging and Leakage Faults in Combinational Circuits, June 1992. [92-15] Chang, C.-S., DeTitta, G.T., Hauptman, H.A., Miller, R., Thuman, P. and Weeks, C.M., Using Parallel Computers to Solve the Phase Problem of X-Ray Crystallography, June 1992 . [92-14] Khoubyari, S., The Application of Word Image Matching in Text Recogntion, June 1992. [92-13] Revankar, S. and Sher, D., Pattern Extraction by Adaptive Propagation of a Regional Threshold, June 1992. [92-12] Ho, Tin Kam, A Theory of Multiple Classifier Systems and Its Application to Visual Word Recognition, May 1992. [92-10] Chuang, E. and Sher, D., Evidence Representation & Combination in Low-level Vision, May 1992. [92-09] Chuang, E. and Sher, D., Chi-square Tests for Feature Detection, May 1992. [92-03] Revankar, S. and Sher, D., Supervised Image Segmentation, January 1992. [91-18] Regan, K. and Schwentick, T., On the Power of One Bit of a Number-P Function, June 5, 1992. [91-16] He, X., Parallel Algorithm for Cograph Recognition with Applications (Revised), June 1991. [91-14] Shende, A., Digital Analog Simulation of Uniform Motion in Representations of Physcial N-Space by Lattice-work MIMD Computer Architectures, April 1991. [91-13] Shapiro, S., Chalupsky, H. and Chou, H., Connecting ARC/INFO and SNACTor Project Report, June 1992. [91-12] Selman, A., A Taxonomy of Complexity Class of Functions, June 1992. [91-11] Jayaraman, B., The SuRE Programming Framework, August 1991. [91-09] Haas, J. and Jayaraman, B., Automatic Synthesis of Semantics for Context-free Grammars, July 1991. [91-05] He, X., Efficient Parallel Algorithms for Two Graph Layout Problems, June 1991. [91-04] Homer, S. and Selman, A., Complexity Theory, June 8, 1992. [90-26] Sanath, R. and He, X., Efficient Parallel Algorithms for Selection and Searching on Sorted Matrices, February, 1990. [90-24] He, X., On Finding the Rectangular Duals of Planar Triangulated Graphs, September 1990. [90-23] He, Xin, An Improved Algorithm for the Planar 3-Cut Problem, February, 1990. [90-21] Shapiro, Stuart C. and Rapaport, William J., The SNePS Family, September 1, 1990. [90-13] Rapaport, William J., Computer Processes and Virtual Persons: Comments on Cole's "Artificial Intelligence and Personal Identity", May 1990. [90-12] Rapaport, W., Cognitive Science (Superseded by TR 96-19), May 1990.