Technical Reports at Department of Computer Science and Engineering, University at Buffalo

2002-13
Zhang, Huaming; 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; 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.; 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; Chanda, Amrita. Compact Encodings of Planar Orthogonal Drawings, April 24, 2002.
2002-04
Garg, Ashim; 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; Qiao, Chunming.. Sub-path Protection: A New Framework for Optical Layer Survivability and its Quantitative Evaluation, January 02, 2002.
2001-16
Mahapatra, Nihar R.; Dutt, Shantanu. An Efficient Delay-Optimal Distributed Termination Detection Algorithm, November 27, 2001.
2001-15
Jayaraman, B.; Tambay, P.. Semantics and Applications of Constrained Objects, October 12, 2001.
2001-14
Xu, Dahai; Qiao, Chunming. Distributed Partial Information Management (DPIM) Schemes for Survivable Networks - Part II, July 10, 2001.
2001-13
Qiao, Chunming ; Xu, Dahai. Distributed Partial Information Management (DPIM) Schemes for Survivable Networks - Part I, July 10, 2001.
2001-12
Song, Yuqing and Zhang, 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.; 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; Garg, Ashim. An Interactive Visual Framework for Detecting Clusters of a Multidimensional Dataset, March 27, 2001.
2001-02
Pavan, A.; Selman, A.L.. Separation of NP-completeness Notions, January 16, 2001.
2001-01
Boxer, Laurence; Haralick, Robert. Even faster point set pattern matching in 3-d, January 09, 2001.
2000-11
Charles, D.; Pavan, A.; 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; Regan, Kenneth. On Arithmetical Formulas Whose Jacobians are Groebner Bases, July 13, 2000.
2000-06
McKernan, Timothy; Jayaraman, Bharat. CobWeb: Constrained XML for the Web, May 19, 2000.
2000-05
Jayaraman, Bharat; 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.; Shapiro, Stuart C.. Formalizing a Deductively Open Belief Space, January 24, 2000.
2000-01
Shapiro, Stuart C.; Johnson, Frances L.. Automatic Belief Revision in SNePS, March 03, 2000.
99-10
Ismail, Haythem O.; Shapiro, Stuart C.. Cascaded Acts: Conscious Sequential Acting for Embodied Agents, November 1, 1999.
99-09
Johnson, Frances L.; Shapiro, Stuart C.. Finding and Resolving Contradictions in a Battle Scenario, September 09, 1999.
99-08
Johnson, Frances L.; Shapiro, Stuart C.. Says Who? -- Incorporating Source Credibility Issues into Belief Revision, July 31, 1999.
99-07
Burhans, Debra T.; 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.; Zhang, X.; Wei, J.. WDM Multicasting in IP over WDM Networks, May 1, 1999.
99-04
Yu, D. ; Zhang, A.. ACQ: An Automatic Clustering and Querying Approach for Large Image Databases, May 05, 1999.
99-03
Yu D.; Sheikholeslami S.; Zhang, A.. FindOut: Finding Outliers in Very Large Datasets, May 05, 1999.
99-02
Fortnow, L.; Pavan, A.; 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.; Toda, Seinosuke. Graded Self-Reducibility, December 30, 1998.
98-08
Yu, Dantong; Chatterjee, Surojit; Sheikholeslami, Gholamhosein; Zhang Aidong. Efficiently Detecting Arbitrary Shaped Clusters in Very Large Datasets with High Dimensions, November 1, 1998.
98-07
Sheikholeslami, Gholamhosein; Wang, Wenjie; 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.; 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.; 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; Lopez, F. Toward Object Selection with a Pointer, October 30, 1997.
97-13
Naik, Ashish V.; Rogers, John, D.; Royer, James S.; Selman, Alan L.. A Hierarchy Based on Output Multiplicity, August 05, 1997.
97-12
Hexmoor, Henry; 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; 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; Rapaport, William J.. A Computational Theory of Vocabulary Expansion, May 5, 1997.
97-07 (Not available on-line)
Walters, Deborah; Li, Yiming; Wright, Ron. General Ribbons: Generic Blob/stroke Segmentation, May 16, 1997.
97-05 (Not available on-line)
Walters, Deborah; Li, Yiming; Milun, Elyse; Atanacio, Bemina. General Ribbons: A Model for Stylus Generated Images, May 15, 1997.
97-04
Sheikholeslami, Gholamhosein; Zhang, Aidong. A Clustering Approach for Large Visual Databases, February 21, 1997.
97-03 (Not available on-line)
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.; 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.; Zhang, A.. A Framework for Supporting Quality-Based Presentation of Continuous Multimedia Streams, December 16, 1996.
96-24
Chang, W.; Murthy, D.; Mei, Y.; Zhang, 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; Samuthiram, Karthikeyan. A note on the Pumping Lemma for regular languages, December 04, 1996.
96-21
Belanger, Jay; Pavan, A.; 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; 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; Rau-Chaplin, Andrew. Some Scalable Parallel Algorithms for Geometric Problems, June 14, 1996.
96-11 (Not available on-line)
Hexmoor, Henry; 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.; Chakravarty, Sreejit. Dynamic Stress Tests for ``Narrow Metal Imperfections'' in Full Scan Circuits, April 03, 1996.
96-06
Gollapudi, Sreenivas; Zhang, 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; Thadikaran, Paul J.. Which Set of Bridging Faults Should Test Compilers Target?, February 28, 1996.
96-02
Kumar, Ravi S.; 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; Zhang, 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.; Chakravarty, Sreejit. Stress Tests for Dynamic Burn-in of Full Scan Circuits, November 09, 1995.
95-51
Fenner, Stephen; Green, Frederic; Homer, Stephen; Selman, Alan L.; Thierauf, Thomas; Vollmer, Heribert. Complements of Multivalued Functions, November 06, 1995.
95-50
Govindarajan, Kannan; Jayaraman, Bharat; Mantha, Surya. Preference Datalog, November 01, 1995.
95-49B
Rapaport, William J.; Shapiro, Stuart C.; Wiebe, Janyce M.. Quasi-Indexicals and Knowledge Reports, October 26, 1995.
95-49A
Wu, Min-You. On Parallelization of Static Scheduling Algorithms, October 31, 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
Zhang, Aidong; Gollapudi, Sreenivas. Multimedia Transaction Management in Database Systems, October 30, 1995.
95-43
Ravikumar, S.; Sivakumar, D.. On Self-Testing without the Generator Bottleneck, September 20, 1995.
95-42
Cai, Jin-Yi ; Naik, Ashish V. ; Sivakumar, D.. Bounded Truth Table Reductions of P, Sept. 21, 1994.
95-41
Cai, Jin-Yi; Ogihara, Mitsunori. Sparse Sets versus Complexity Classes, September 18, 1995.
95-40
Cai, Jin-Yi; Sivakumar, D.. Resolution of Hartmanis' Conjecture for NL-hard sparse sets, September 18, 1995.
95-39
Regan, K.W.; 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; 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
Zhang, Aidong. On Synchronized Presentation Management in Multimedia Database Systems, August 16, 1995.
95-31
Cai, Jin-Yi; Naik, Ashish V.; Sivakumar, D.. On the Existence of Hard Sparse Sets under Weak Reductions, July 13, 1995.
95-30
Cai, Jin-Yi; Sivakumar, D.. The Resolution of a Hartmanis Conjecture, July 13, 1995.
95-29
Babai, L.; Beals, R.; Cai, J-Y.; Ivanyos, G.; Luks, E.. Multiplicative equations over commutative matrices, July 13, 1995.
95-27
Cai, Jin-Yi; Liu, Zicheng. The bounded membership problem of the monoid SL_2(N), June 15, 1995.
95-25
Koepsell, David R.; 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; Mantha, Surya. Relaxation in Constraint Logic Languages, April 25, 1995.
95-21
Chopra, Rajiv; Srihari, Rohini; 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
Zhang, Aidong; Cheng, Biao; Acharya, Raj. Texture-Based Image Retrieval Using Fractal Codes, August 16, 1995.
95-18
Gong, Yiming; 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; Naik, Ashish. Efficient algorithms for a scheduling problem and its applications to illicit drug market crackdowns, April 03, 1995.
95-16
Cai, Jin-Yi; Selman, Alan L.. Average Time Complexity Classes, March 31, 1995.
95-15
Ehrlich, Karen; Rapaport, William J.. A Computational Theory of Vocabulary Expansion: Project Proposal, March 21, 1995.
95-14
Jayaraman, B.; Moon, K.. Implementation of Subset Logic Programs, March 24, 1995.
95-12
Zhang, Aidong; Cheng, Biao; Acharya, Raj. Texture-Based Image Retrival Using Fractals, July 21, 1995.
95-11
Chakravarty, Sreejit; Fuchs, Kent; 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.; Sivakumar, D.. Improved Resource-Bounded Borel-Cantelli and Stochasticity Theorems, February 16, 1995.
95-07
Dabholkar, Vinay; Chakravarty, Sreejit; Najm, Farid; 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
Zhang, Aidong; Cheng, Biao; Acharya, Raj. Using Fractal Coding to Index Image Content for a Digital Library, August 16, 1995.
95-03
Jagota, Arun K.; Narasimhan, Giri; Regan, Kenneth W.. Information Capacity of Binary Weights Associative Memories, January 24, 1995.
95-02
Regan, Kenneth W.; Sivakumar, D.; Cai, Jin-Yi. Pseudorandom Generators, Measure Theory, and Natural Proofs, January 25, 1995.
95-01
Zhang, Aidong; Nodine, Marian; Bhargava, Bharat. Ensuring Semi-Atomicity in Heterogeneous Distributed Database Systems, February 04, 1995.
94-43
Zhang, Aidong; Nodine, Marian; 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; Zhu, 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; 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
Zhang, Aidong. Impact of Multimedia Data on Workflow, August 16, 1995.
94-30
Jana, Devashis; 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; 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.; Sivakumar, D.. Communication Complexity of Key Agreement on Limited Ranges, May 20, 1994.
94-21
Naik, Ashish V.; Regan, Kenneth W.; Sivakumar, D.. Quasilinear Time Complexity Theory, May 20, 1994.
94-20
Li, Lide; Ogihara, Mitsunori; Regan, Kenneth W.. On Information From #P Functions, May 20, 1994.
94-19
Green, Frederic; Koebler, Johannes; Regan, Kenneth W.; Schwentick, Thomas; 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.; Zalcstein, 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; Chari, Suresh. On the Impossibility of Amplifying the Independence of Random Variables, May 04, 1994.
94-14
Cai, Jin-Yi; Hirsch, Michael D.. Rotation Distance, Triangulations of Planar Surfaces and Hyperbolic Geometry, May 04, 1994.
94-13
Govindarajan, Kannan; Jayaraman, Bharat. Intensional AlgorithmicDebugging, May 20, 1994.
94-12
Govindarajan, Kannan; Jayaraman, Bharat; 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.; 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; 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; 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; Gong, Yiming. Voting Model Based Diagnosis of Bridging Faults in Combinational Circuits, February 15, 1994.
94-02
Cai, Jin-Yi; Naik, Ashish V.; 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; 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; Liu, Zicheng. Efficient Average-Case Algorithms for the Modular Group, June 15, 1995 (modified version).
93-40
Jayaraman, Bharat; Osorio, Mauricio; Moon, Kyonghee. Partial Order Logic Programming, November 30, 1993.
93-39
Sher, David B.; Wafford, Charlotte E.; 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.; 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; 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.; 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.; Shapiro, Stuart C.. Learning Symbolic Names for Perceived Colors, August 16, 1993.
93-30
Bar-Yehuda, R.; Dabholkar, V.; Govindarajan, K.; 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; Wang, Jie. Selectivity: Reductions, Nondeterminism, and Function Classes, August 18, 1993.
93-28
Hemaspaandra, Lane A.; Naik, Ashish V.; Ogiwara, Mitsunori; 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; 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; 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.; 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.; Shapiro, S. C.. Behavior Based AI, Cognitive Processes, and Emergent Behaviors in Autonomous Agents, April 1993.
93-13
Lammens, J.; Hexmoor, H.; Shapiro, S. C.. Of Elephants and Men, April 1993.
93-10
Hexmoor, H.; Lammens, J.; Shapiro, S. C.. Embodiment in GLAIR: A Grounded Layered Architecture with Integrated Reasoning for Autonomous Agents, February 1993.
93-09
Chakravarty, Sreejit; Gong, Yiming. A Diagnostic Simulation Algorithm for Stuck-at Faults in Combinational Circuits, March 1993.
93-07
Shu, Wei; Wu, Min-You. Sparse Implementation of Revised Simplex Algorithms on Parallel Computers, July 01, 1993.
93-05
Fenner, Stephen; Homer, Steve; Ogiwara, Mitsunori; Selman, Alan L.. On Using Oracles That Compute Values, February 17, 1993.
93-04
Chakravarty, Sreejit; 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.; Theophilopoulos, G.. Computing Robust Test for Stuck-open Faults from Stuck-at Test Sets, December 1992.
92-30
Sher, David B.; Cheung, Chris Y.. Constructing Noise-Reducing Operators from Training Images, November 1992.
92-27
Green, F.; Kobler, J.; Regan, K.; Schwentick, T.; Toran, J.. The Power of the middle Bit of Number-P Function, October 1992.
92-26
Chakravarty, S.; Gong, Y.. An Algorithm for Diagnosing Two-Line Bridging Faults in Combinational Circuits, October 1992.
92-25
Revankar, S.; Sher, D.. Constrained Contouring in the Polar Coordinates, October 1992.
92-24
Jagota, A.; Regan, K.. Performance, October 1992.
92-23
Hexmoor, Henry; Nute, Donald. Methods for deciding what to do next and learning, September, 1992.
92-23
Hexmoor, Henry; Nute, Donald. Methods for deciding what to do next and learning, September, 1992.
92-22
Milun, D.; Sher, D.. Improving Edge Detectors on Compressed Images-A Trainable Markov Random Field Approach, September 1992.
92-21
Hexmoor, H.; Lammens, J.; Shapiro, S.. An Autonomous Agent Architecture for Integrating Perception and Acting with Grounded Embodied Symbolic Reasoning, August 1992.
92-18
Sunder, S.; He, X. An NC Algorithm , July 1992.
92-16
Chakravarty, Sreejit; Thadikaran, Paul J.. Generation and Simulation of IDDQ Tests for Bridging and Leakage Faults in Combinational Circuits, June 1992.
92-15 (Not available on-line)
Chang, C.-S.; DeTitta, G.T.; Hauptman, H.A.; Miller, R.; Thuman, P.; 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.; 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.; Sher, D.. Evidence Representation & Combination in Low-level Vision, May 1992.
92-09
Chuang, E.; Sher, D.. Chi-square Tests for Feature Detection, May 1992.
92-03
Revankar, S.; Sher, D.. Supervised Image Segmentation, January 1992.
91-18
Regan, K.; 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.; 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.; 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.; Selman, A.. Complexity Theory, June 8, 1992.
90-26
Sanath, R.; 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.; 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.

Browse some other sites with technical reports

Check other sites