Browse

ftp://ftp.cs.buffalo.edu (182)

	ftp://ftp.cs.buffalo.edu/pub/tech-reports/92-09.ps.Z, 19920604 O2 Test for Feature Detection E-ren Chuang and David Sher Department of Computer Science State University of New York at Buffalo 224 Bell Hall Buffalo, New York 14260
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/92-10.ps.Z, 19920604 Evidence Representation & Combination in Low-level Vision E-ren Chuang and David Sher Department of Computer Science State University of New York at Buffalo 226 Bell Hall Buffalo, NY 14260. 1 SUMMARY This paper proposes statistic as low-level visual evidence, and shows the elegant meaning of summing
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/92-12.ps.Z, 19920605 A Theory of Multiple Classifier Systems And Its Application to Visual Word Recognition Tin Kam Ho A dissertation submitted to the Faculty of the Graduate School of State University of New York at Buffalo in partial fulfillment of the requirements for the degree of Doctor of Philosophy May, 1992 c
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/91-18.ps.Z, 19920605 On the Power of One Bit of a #P Function Kenneth W. Regan SUNY/Buffalo regan@cs.buffalo.edu Thomas Schwentick University of Mainz tick@uaimzti.mathematik.uni-mainz.de June 5, 1992
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/91-13.ps.Z, 19920608 Connecting ARC/INFO and SNACTor Project Report y Stuart C. Shapiroz, Hans Chalupskyz and Hsueh-cheng Choux National Center for Geographic Information and Analysis June 8, 1992
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/91-04.ps.Z, 19920609 Complexity Theory Steven Homer Department of Computer Science Boston University Boston, MA 02215 Alan L. Selman Department of Computer Science State University of New York at Buffalo 226 Bell Hall Buffalo, NY 14260 June 8, 1992 1 Introduction The goal of complexity theory is to provide mechanisms for
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/91-12.ps.Z, 19920609 A Taxonomy of Complexity Classes of Functions Alan L. Selman Department of Computer Science State University of New York at Buffalo 226 Bell Hall Buffalo, New York 14260 June 5, 1992
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/91-14.ps.Z, 19920610 DIGITAL ANALOG SIMULATION OF UNIFORM MOTION IN REPRESENTATIONS OF PHYSICAL N-SPACE BY LATTICE-WORK MIMD COMPUTER ARCHITECTURES a dissertation submitted to the faculty of the graduate school of state university of new york in partial fulfillment of the requirements for the degree of doctor of philosophy
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/91-05.ps.Z, 19920619 Efficient Parallel Algorithms for Two Graph Layout Problems Xin He 1 Department of Computer Science State University of New York at Buffalo Buffalo, NY 14260
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/91-16.ps.Z, 19920619 Parallel Algorithm for Cograph Recognition with Applications Xin He 1 Department of Computer Science State University of New York at Buffalo Buffalo, NY 14260
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/90-24.ps.Z, 19920619 On Finding the Rectangular Duals of Planar Triangular Graphs Xin He 1 Department of Computer Science State University of New York at Buffalo Buffalo, NY 14260 E-mail: xinhe@cs.buffalo.edu
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/92-21.ps.Z, 19920918 An Autonomous Agent Architecture for Integrating Perception and Acting with Grounded, Embodied Symbolic Reasoning Henry Hexmoor Johan Lammens Stuart Shapiro Computer Science Department, State University of New York at Buffalo, Buffalo, NY 14260 September 9, 1992
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/92-24.ps.Z, 19921006 Performance of MAX-CLIQUE Approximation Heuristics Under Description-Length Weighted Distributions Arun K. Jagota SUNY/Buffalo Kenneth W. Regan1 SUNY/Buffalo 1The second author was supported in part by NSF Grant CCR-9011248. Current address for both authors: Computer Science Department, 226 Bell Hall,
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/92-22.ps.Z, 19921006 Improving Edge Detectors on Compressed Images\|a Trainable Markov Random Field Approach Davin Milun and David Sher Computer Science Department SUNY at Buffalo 226 Bell Hall Buffalo NY 14260 milun@cs.buffalo.edu sher@cs.buffalo.edu September 30, 1992
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/92-25.ps.Z, 19921009 CONSTRAINED CONTOURING IN THE POLAR COORDINATES Shriram Revankar and David Sher State University of New York at Buffalo Buffalo, NY 14260
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/92-14.ps.Z, 19921013 THE APPLICATION OF WORD IMAGE MATCHING IN TEXT RECOGNITION by Siamak Khoubyari A Thesis Submitted to the Faculty of the Graduate School of State University of New York at Buffalo in partial fulfillment of the requirements for the degree of Master of Science June 1992 Copyright by Siamak Khoubyari, 1992
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/92-18.ps.Z, 19921019 An NC Algorithm for Finding Minimum Weighted Completion Time Schedule on Series Parallel Graphs S. Sunder Xin He Department of Computer Science State University of New York at Buffalo Buffalo, NY 14260 sunder@cs.buffalo.edu xinhe@cs.buffalo.edu
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/92-27.ps.Z, 19921019 The Power of the Middle Bit of a #P Function Frederic Green1 Clark University Johannes K obler2 3 Universit at Ulm Keneth W. Regan 4 SUNY/Buffalo Thomas Schwentick 5 University of Mainz Jacobo Tor an 6 3 U. Politecnica de Catalunya October 13, 1992 1Clark University, Dept. of Math/CS, Worcester, MA
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/92-03.ps.Z, 19921201 Separation of Heart Wall in Echocardiograms by Supervised Image Segmentation Shriram Revankar and David Sher 226 Bell Hall Department of Computer Science State University of New York at Buffalo Buffalo, NY 14260
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/92-13.ps.Z, 19921201 PATTERN EXTRACTION BY ADAPTIVE PROPAGATION OF A REGIONAL THRESHOLD1 Shriram Revankar and David B. Sher Department of Computer Science State University of New York Buffalo, New York 14260 Keywords: pattern extraction, adaptive, threshold, evaluation, line images, echocardiogram. Abstract We describe a
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/92-33.ps.Z, 19921221 Approximating Maximum Clique with a Hopfield Network Arun Jagota Department of Computer Science, State University Of New York At Buffalo, USA e-mail : jagota@cs.buffalo.edu Technical Report 92-33
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/92-30.ps.Z, 19921222 Constructing Noise-Reducing Operators from Training Images David B. Sher Chris Y. Cheung sher@cs.buffalo.edu cheung@cs.buffalo.edu SUNY at Buffalo CS Department 226 Bell Hall Amherst, NY 14260-2000
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/93-05.ps.Z, 19930217 On Using Oracles That Compute Values Stephen Fenner Steve Homery Mitsunori Ogiwaraz Alan L. Selmanx February 17, 1993
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/93-01.ps.Z, 19930326 Doubly logarithmic time parallel sorting R.Sarnath Dept. of Computer Science 226, Bell Hall SUNY at Buffalo Amherst NY 14260 email: sarnath@cs.buffalo.edu Phone (716) 645-3180 Keywords: Parallel comparison sorting, Doubly logarithmic time, Constant time maximum
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/93-02.ps.Z, 19930326 Lower bounds for padded sorting and approximate counting R.Sarnath Deptt of Computer Science 226, Bell Hall SUNY at Buffalo Amherst NY 14260 email: sarnath@cs.buffalo.edu Phone (716) 636-3774 Keywords: lower bounds, sorting, circuit complexity
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/93-04.ps.Z, 19930326 IDDQ Measurement Based Diagnosis of Bridging Faults in Full Scan Circuits Sreejit Chakravartyyand Suresh Sivaprakasam Department of Computer Science State University of New York at Buffalo Buffalo, NY 14260 Technical Report No: 93-04 sreejit@cs.buffalo.edu February 4, 1993
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/93-09.ps.Z, 19930329 A Diagnostic Simulation Algorithm for Stuck-at Faults in Combinational Circuits Sreejit Chakravarty Yiming Gong Department of Computer Science the State University of New York at Buffalo Buffalo, N.Y. 14260 March 29, 1993
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/90-12.ps.Z, 19930407 COGNITIVE SCIENCE William J. Rapaport Department of Computer Science and Center for Cognitive Science State University of New York at Buffalo Buffalo, NY 14260 rapaport@cs.buffalo.edu
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/93-16.ps.Z, 19930507 Natural Language Processing Using a Propositional Semantic Network with Structured Variables Syed S. Ali and Stuart C. Shapiro Department of Computer Science State University of New York at Buffalo 226 Bell Hall Buffalo, NY 14260 fsyali, shapirog@cs.buffalo.edu
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/93-20.ps.Z, 19930512 EXPERIENCE-BASED LEARNING IN DEDUCTIVE REASONING SYSTEMS by Joongmin Choi A dissertation submitted to the Faculty of the Graduate School of State University of New York at Buffalo in partial fulfillment of the requirements for the degree of Doctor of Philosophy June 1993
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/91-09.ps.Z, 19930513 Automatic Synthesis of Semantics for Context-free Grammars Juergen Haas Bharat Jayaraman Department of Computer Science State University of New York at Buffalo 226 Bell Hall Buffalo, NY 14260 E-Mail: fbharat,haasg@cs.buffalo.edu June 1991
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/91-11.ps.Z, 19930513 Towards a Broader Basis for Logic Programmingy Bharat Jayaraman Department of Computer Science State University of New York at Buffalo Buffalo, NY 14260 U.S.A. Telephone: (716) 636-3180/3194 E-Mail: bharat@cs.buffalo.edu
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/93-18.ps.Z, 19930513 Suresh Sivaprakasam Department of Computer Science State University of New York at Buffalo May 1993 Performance Enhancements in SunOS NFS Acknowledgements.............................................................................................................................5Network File
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/93-15.ps.Z, 19930608 This is a slightly revised version of a paper that will appear in the proceedings of AI In Engineering, Toulouse, France, June 29 - July 1, 1993. Behavior Based AI, Cognitive Processes, and Emergent Behaviors in Autonomous Agents Henry Hexmoor, Johan Lammens, Guido Caicedo, and Stuart C. Shapiro
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/93-10.ps.Z, 19930614 Embodiment in GLAIR: A Grounded Layered Architecture with Integrated Reasoning for Autonomous Agents Henry Hexmoor Johan Lammens Stuart Shapiro Computer Science Department 226 Bell Hall State University of New York at Buffalo Buffalo, NY 14260 hexmoor@cs.buffalo.edu To appear in proceedings of the
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/93-13.ps.Z, 19930614 Of Elephants and Men y Johan M. Lammens, Henry H. Hexmoor, Stuart C. Shapiro April 28, 1993 Autonomous Agents Lab Computer Science Department State University of New York at Buffalo Buffalo, NY 14260 tel: (716) 645-3180, fax: (716) 645-3464 e-mail: lammens@cs.buffalo.edu To appear in proceedings of the
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/93-07.ps.Z, 19930701 Sparse Implementation of Revised Simplex Algorithms on Parallel Computers Wei Shu and Min-You Wu
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/93-24.ps.Z, 19930712 Efficient Reductions from NP to Parity using Error-Correcting Codes (preliminary version) Kenneth W. Regan State University of New York at Buffalo July 8, 1993
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/93-25.ps.Z, 19930712 On the Difference Between Turing Machine Time and Random-Access Machine Time (extended abstract) Kenneth W. Regan State University of New York at Buffalo
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/93-26.ps.Z, 19930727 Subset Assertions and Negation-As-Failure Mauricio Osorio Bharat Jayaraman Department of Computer Science State University of New York at Buffalo Buffalo, NY 14260 Telephone: (716) 645-3194 E-Mail: fosorio,bharatg@cs.buffalo.edu
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/93-21.ps.Z, 19930730 P-Selective Sets, and Reducing Search to Decision vs. Self-Reducibility Edith Hemaspaandray State University of New York at Buffalo Ashish V. Naikz State University of New York at Buffalo Mitsunori Ogiwarax University of Electro-Communications Alan L. Selman{ State University of New York at Buffalo July
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/93-22.ps.Z, 19930803 A randomized parallel algorithm for dfa-minimization
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/93-31.ps.Z, 19930816 Learning Symbolic Names for Perceived Colors Johan M. Lammens & Stuart C. Shapiro Computer Science Department 226 Bell Hall, State University of New York at Buffalo Buffalo, NY 14260 e-mail flammensjshapirog@cs.buffalo.edu (To appear in proc. of AAAI-93 Fall Symposia) 1 Introduction We are working on a
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/93-30.ps.Z, 19930817 Randomized Local Approximations with applications to the MAX-CLIQUE problem R. Bar-Yehuda , V. Dabholkar, K. Govindarajan and D. Sivakumar Department of Computer Science, State University of New York at Buffalo, Buffalo, NY 14260 e-mail: sivak-d@cs.buffalo.edu August 10, 1993
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/93-28.ps.Z, 19930817 Computing Solutions Uniquely Collapses the Polynomial Hierarchy Lane A. Hemaspaandra Dept. of Computer Science University of Rochester Rochester, NY 14627, USA Ashish V. Naiky Dept. of Computer Science SUNY{Buffalo Buffalo, NY 14260, USA Mitsunori Ogiwaraz Dept. of Comp. Sci. & Inf. Math. University of
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/93-29.ps.Z, 19930818 Selectivity: Reductions, Nondeterminism, and Function Classes1 Lane A. Hemaspaandra2 Albrecht Hoene3 Ashish V. Naik4 Mitsunori Ogiwara5 Alan L. Selman6 Thomas Thierauf7 Jie Wang8 August 1993 Key words: Complexity theory, semi-decision algorithms, membership testing, selector functions, lowness,
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/93-35.ps.Z, 19930819 A New Parallel Vector Model, With Exact Characterizations of NCk Kenneth W. Regan State University of New York at Buffalo August 19, 1993
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/93-33.ps.Z, 19930819 Machine Models and Linear Time Complexity Kenneth W. Regan1 Department of Computer Science, State University of New York at Buffalo 226 Bell Hall, Buffalo NY 14260-2000; regan@cs.buffalo.edu Guest Column for Lane A. Hemaspaandra, SIGACT News Complexity Theory Column 2 To appear in SIGACT News, Vol. 24,
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/93-34.ps.Z, 19930820 Quasilinear Time Complexity Theory Ashish V. Naik SUNY Buffalo avnaik@cs.buffalo.edu Kenneth W. Regan SUNY Buffalo regan@cs.buffalo.edu D. Sivakumar SUNY Buffalo sivak-d@cs.buffalo.edu August 20, 1993
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/93-37.ps.Z, 19930824 An Autonomous Agent Architecture for Integrating Unconscious" and Conscious", Reasoned Behaviors Henry H. Hexmoor, Johan M. Lammens & Stuart C. Shapiro Department of Computer Science SUNY at Buffalo, Buffalo NY 14260 e-mail fhexmoorjlammensjshapirog@cs.buffalo.edu (To appear in proc. Computer
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/93-36.ps.Z, 19930830 Scheduling Crackdowns on Illicit Drug Markets Ashish V. Naik 1 Alok Baveja 2 Rajan Batta2 Jonathan P. Caulkins 3 Keywords: Public policy, Modelling, Scheduling theory, Approximation. 1Department of Computer Science, State University of New York at Buffalo, Buffalo NY 14260 2Department of Industrial
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/93-23.ps.Z, 19931014 HAMILTON AND JACOBI MEET AGAIN: QUATERNIONS AND THE EIGENVALUE PROBLEM NILOUFER MACKEYy May 1993; Revised September 1993
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/93-39.ps.Z, 19931123 Relating Gibbs Distributions to Empirically Derived Marginal Distributions for Image Analysis D. B. Sher C. E. Wafford and D. Milun Mathematics Dept Computer Science Dept. Nassau Community College SUNY Buffalo Garden City NY 11530 Buffalo NY 14260 fsher,wafford,milung@cs.buffalo.edu
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/94-02.ps.Z, 19940202 On P-selective sets and Adaptive versus Nonadaptive Queries to NP Jin-Yi Cai Ashish V. Naiky Alan L. Selman z Department of Computer Science State University of New York at Buffalo Buffalo, NY 14260 February 2, 1994
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/93-38.ps.Z, 19940204 A Study of Theoretical Issues in the Synthesis of Delay Fault Testable Circuits 1 Sreejit Chakravarty 226 Bell Hall Dept. of Computer Science State University of New York Buffalo, NY 14260 ( TECH. REPORT No. 93-38. Revised Version of 92-31 )
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/93-40.ps.Z, 19940208 Partial Order Logic Programmingy Bharat Jayaraman Mauricio Osorio Kyonghee Moon Department of Computer Science State University of New York at Buffalo Buffalo, NY 14260 Telephone: (716) 645-3194 E-Mail: fbharat,osorio,kmoong@cs.buffalo.edu
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/94-01.ps.Z, 19940209 A NATURAL LOGIC" FOR NATURAL LANGUAGE PROCESSING AND KNOWLEDGE REPRESENTATION by Syed S. Ali A dissertation submitted to the Faculty of the Graduate School of State University of New York at Buffalo in partial fulfillment of the requirements for the degree of Doctor of Philosophy November 1993
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/94-03.ps.Z, 19940215 Voting Model Based Diagnosis of Bridging Faults in Combinational Circuits
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/93-42.ps.Z, 19940217 On IDDQ Measurement Based Analysis of Bridging Faults in CMOS Circuits1 Sreejit Chakravarty and Paul J. Thadikaran Department of Computer Science State University of New York at Buffalo Amherst, NY 14260 sreejit@cs.buffalo.edu pjt@cs.buffalo.edu (TECH REPORT No. 93-42)
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/94-04.ps.Z, 19940311 Contents 1 Introduction 1 1.1 Motivation : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 2 1.2 Desiderata for Rational Agents : : : : : : : : : : : : : : : : : : : : : : : : : 3 1.3 Organization of the Dissertation : : : : : : : : : : : : : : : : : : : : : : : : 4 2 Related Work
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/SNeRG-175.ps.Z, 19940324 Belief Spaces as Sets of Propositions1 Stuart C. Shapiro Department of Computer Science and Center for Cognitive Science State University of New York at Buffalo 226 Bell Hall Buffalo, NY 14260-2000 U.S.A. phone: 716-645-3935 shapiro@cs.buffalo.edu Title for running head: Belief Spaces as Sets of
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/94-10.ps.Z, 19940415 Minimizing Power Dissipation in Combinational Circuits During Test Application V. P. Dabholkar S. Chakravarty Department of Computer Science State University of New York Buffalo, NY 14260 TECH REPORT NO 94-10
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/94-12.ps.Z, 19940415 Preference Logic Programming: Optimization as Inference Kannan Govindarajan Bharat Jayaraman Department of Computer Science State University of New York at Buffalo Buffalo, NY 14260 E-Mail: fbharat,govin-kg@cs.buffalo.edu Surya Mantha System Sciences Laboratory Building 128 Xerox, Webster Research
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/94-08.ps.Z, 19940415 -1- A Performance Assessment of Express on the iPSC/2 and iPSC/860 Hypercube Computers Ishfaq Ahmad Department of Computer Science Hong Kong University of Science and Technology, Clear Water Bay, Hong Kong email: iahmad@cs.ust.hk Min-You Wu Department of Computer Science State University of New York,
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/94-07.ps.Z, 19940415 What are routines good for Henry H. Hexmoor Department of Computer Science SUNY at Buffalo, Buffalo NY 14260 hexmoor@cs.buffalo.edu February 20, 1994
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/94-06.ps.Z, 19940415 Minimizing Power Dissipation in Scan Circuits During Test Application Sreejit Chakravarty and Vinay Dabholkar Department of Computer Science State University of New York at Buffalo Amherst, NY 14260 sreejit@cs.buffalo.edu vpd@cs.buffalo.edu TECH REPORT NO 94-06
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/94-09.ps.Z, 19940415 A Methodology for Developing Competent Agents Without Sensor and Actuator Profusion Henry H. Hexmoor Department of Computer Science SUNY at Buffalo, Buffalo NY 14260 hexmoor@cs.buffalo.edu March 30, 1994 1 Introduction Making a cup of coffee; frying and serving an egg; preparing buttered toast; playing
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/92-23.ps.Z, 19940429 Methods for deciding what to do next and learning Henry Hexmoorab Donald Nuteac aArtificial Intelligence Programs, The University of Georgia, Athens, GA 30605 b Department of Computer Science, University at Buffalo, Buffalo, NY 14260 c Department of Philosophy, The University of Georgia September 10,
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/94-14.ps.Z, 19940504 Rotation Distance, Triangulations of Planar Surfaces and Hyperbolic Geometry Jin-yi Cai Department of Computer Science State University of New York Buffalo, New York, 14260 cai@cs.buffalo.edu Michael D. Hirschy Department of Math and CS Emory University Atlanta, GA 30322 hirsch@mathcs.emory.edu
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/94-15.ps.Z, 19940504 On the impossibility of amplifying the independence of random variables (Extended Abstract) Jin{yi Cai Suresh Chariy
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/94-16.ps.Z, 19940511 Computing Jordan Normal Forms Exactly for Commuting Matrices in Polynomial Time Jin-yi Cai Department of Computer Science SUNY at Buffalo Buffalo, NY 14260 cai@cs.buffalo.edu
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/94-17.ps.Z, 19940512 The Complexity of the A B C Problem Resolved Jin-yi Cai Department of Computer Science SUNY at Buffalo Buffalo, NY 14260 cai@cs.buffalo.edu Richard J. Liptony Department of Computer Science Princeton University Princeton, NJ 08544 rjl@cs.princeton.edu Yechezkel Zalcstein Division of Computer and
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/94-24.ps.Z, 19940520 Linear Speed-Up, Information Vicinity, and Finite-State Machines Kenneth W. Regan State University of New York at Buffalo May 1994
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/94-23.ps.Z, 19940520 Linear-Time Algorithms in Memory Hierarchies Kenneth W. Regan State University of New York at Buffalo May 1994
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/94-19.ps.Z, 19940520 The Power of the Middle Bit of a #P Function 1 (Revised Version, November 1993) Frederic Green2 Clark University Johannes K obler3 4 Universit at Ulm Kenneth W. Regan 5 SUNY/Buffalo Thomas Schwentick 6 Universit at Mainz Jacobo Tor an 7 3 U. Politecnica de Catalunya 1Preliminary versions of this work
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/94-18.ps.Z, 19940623 LINEAR TIME AND MEMORY-EFFICIENT COMPUTATION KENNETH W. REGAN
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/94-20.ps.Z, 19940623 On Information From #P Functions Lide Li University of Chicago Mitsunori Ogiharay University of Rochester Kenneth W. Reganz State University of NY at Buffalo May 1994
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/94-22.ps.Z, 19940623 Communication Complexity of Key Agreement on Limited Ranges (extended abstract) Jin-Yi Cai1 Richard J. Lipton2 Luc Longpr e 3 Mitsunori Ogihara4 Kenneth W. Regan5 D. Sivakumar6 May 1994 1Department of Computer Science, State Univ. of NY at Buffalo, 226 Bell Hall, Buffalo NY 14260- 2000. Email:
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/94-21.ps.Z, 19940623 Quasilinear Time Complexity Theory Ashish V. Naik1 SUNY Buffalo avnaik@cs.buffalo.edu Kenneth W. Regan2 SUNY Buffalo regan@cs.buffalo.edu D. Sivakumar SUNY Buffalo sivak-d@cs.buffalo.edu 1Supported in part by NSF grant CCR-9002292. 2Supported in part by NSF grant CCR-9011248.
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/94-26.ps.Z, 19940624 A Computational Model of Color Perception and Color Naming by Johan Maurice Gis ele Lammens June 1994 A dissertation submitted to the Faculty of the Graduate School of State University of New York at Buffalo in partial fulfillment of the requirements for the degree of Doctor of Philosophy c Copyright by
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/94-29.ps.Z, 19940729 Index Sets and Presentations of Complexity Classes (revised version) Kenneth W. Regan1 State University of New York at Buffalo 1Author's current address: Computer Science Department, 226 Bell Hall, UB North Campus, Buffalo, NY 14260-2000. Email: regan@cs.buffalo.edu, tel.: (716) 645{3189, fax: (716)
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/94-30.ps.Z, 19940808 Set Constructors, Finite Sets, and Logical Semanticsy Devashis Jana Bharat Jayaraman Department of Computer Science State University of New York at Buffalo Buffalo, NY 14260 fjana, bharatg@cs.buffalo.edu
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/93-43.ps.Z, 19940812 110 REFERENCES photographs. PhD thesis, Computer Science Department, SUNY at Buffalo, August 1992. Shriram Revankar and David Sher. Constrained contouring in polar coordinates. In Proceedings of CVPR'93, Omni Park Central New York City, 1993. Shriram Revankar, David Sher, Valerie Shalin, and
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/94-34.ps.Z, 19940913 A Diagnosis Algorithm for Bridging Faults in Combinational Circuits Yiming Gong Sreejit Chakravarty Department of Computer Science State University of New York Buffalo, NY 14260
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/94-38.ps.Z, 19941002 A Fully Polynomial Time Approximation Scheme in Scheduling Deteriorating Jobs Jin-Yi Cai Pu Caiy Yixin Zhuz
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/94-28.ps.Z, 19941020 UNDERSTANDING UNDERSTANDING: SYNTACTIC SEMANTICS AND COMPUTATIONAL COGNITION William J. Rapaport Department of Computer Science and Center for Cognitive Science State University of New York at Buffalo Buffalo, NY 14260 rapaport@cs.buffalo.edu
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/94-33.ps.Z, 19941020 HIGH-SPEED COMMUNICATION PROTOCOLS FOR ALL-OPTICAL WAVELENGTH DIVISION MULTIPLEXED COMPUTER NETWORKS By Krishna Moorthy Sivalingam June 1994 A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE FACULTY OF THE GRADUATE SCHOOL OF THE STATE UNIVERSITY OF NEW YORK AT BUFFALO IN PARTIAL
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/94-13.ps.Z, 19941024 Intensional Algorithmic Debugging : Preliminary Version Kannan Govindarajan Bharat Jayaraman Department of Computer Science State University of New York Buffalo, NY 14260 E-mail : fgovin-k,bharatg@cs.buffalo.edu May 24, 1994
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/94-27.ps.Z, 19941024 Preference Logic Grammars1 Kannan Govindarajan Bharat Jayaraman Department of Computer Science State University of New York at Buffalo Buffalo, NY 14260 E-Mail: fbharat,govin-kg@cs.buffalo.edu Surya Mantha System Sciences Laboratory Building 128 Xerox, Webster Research Center Webster, NY 14580 E-Mail:
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/94-39.ps.Z, 19941111 DATA STRUCTURE COMPLEXITY METRICS by Ronald Sanger Curtis October, 1994 A dissertation submitted to the Faculty of the Graduate School of State University of New York at Buffalo in partial fulfillment of the requirements for the degree of Doctor of Philosophy Department of Computer Science Copyright by
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/94-25.ps.Z, 19941111 Runtime Incremental Parallel Scheduling on Distributed Memory Computers Wei Shu Department of Computer Science State University of New York at Buffalo Buffalo, NY 14260 shu@cs.buffalo.edu
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/94-32.ps.Z, 19941111 COMPONENT ONTOLOGICAL REPRESENTATION OF FUNCTION FOR CANDIDATE DISCRIMINATION IN MODEL BASED DIAGNOSIS by Amruth N. Kumar August 1994 A thesis submitted to the Faculty of the Graduate School of State University of New York at Buffalo in partial fulfillment of the requirements for the degree of Doctor of
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/94-37.ps.Z, 19941111 Semantics of Subset-Logic Languages by Devashis Jana A dissertation submitted to the Faculty of the Graduate School of State University of New York at Buffalo in partial fulfillment of the requirements for the degree of Doctor of Philosophy September 1994 Copyright by Devashis Jana 1994 To my parents
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-06.ps.Z, 19950202 Grid Embedding of Internally Triangulated Plane Graphs without Non-empty Triangles Xin He Department of Computer Science State University of New York at Buffalo Buffalo, NY 14260 xinhe@cs.buffalo.edu
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/93-27.ps.Z, 19950202 The Status of Parallel Processing Education Russ Millery October 13, 1994
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-01.ps.Z, 19950204 Ensuring Semi-Atomicity in Heterogeneous Distributed Database Systems Aidong Zhang Department of Computer Science State University of New York at Buffalo Buffalo, NY 14260 Marian Nodine Department of Computer Science Brown University Providence, RI 02912 Bharat Bhargava Department of Computer Science
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-03.ps.Z, 19950206 Information Capacity of Binary Weights Associative Memories Arun Jagota Mathematical Sciences University of Memphis Memphis TN 38152 jagota@next1.msci.memst.edu Giri Narasimhan Mathematical Sciences University of Memphis Memphis TN 38152 giri@next1.msci.memst.edu Kenneth W. Regan University at Buffalo
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/90-13.ps.Z, 19950207 COMPUTER PROCESSES AND VIRTUAL PERSONS: Comments on Cole's Artificial Intelligence and Personal Identity" William J. Rapaport Department of Computer Science and Center for Cognitive Science State University of New York at Buffalo Buffalo, NY 14260 rapaport@cs.buffalo.edu
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-02.ps.Z, 19950215 Pseudorandom Generators, Measure Theory, and Natural Proofs Kenneth W. Regan D. Sivakumar Jin-yi Cai Department of Computer Science, State University of New York at Buffalo, Buffalo, NY 14260. Email: fregan, sivak-d, caig@cs.buffalo.edu
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-08.ps.Z, 19950216 Improved Resource-Bounded Borel-Cantelli and Stochasticity Theorems (Research Note) Kenneth W. Regan regan@cs.buffalo.edu D. Sivakumar sivak-d@cs.buffalo.edu
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-07.ps.Z, 19950224 Cyclic Stress Tests for Full Scan Circuits Vinay P. Dabholkar Sreejit Chakravarty Department of Computer Science State University of New York Buffalo, NY 14260 Farid Najm Coordinated Science Laboratory University of Illinois at Urbana-Champaign Urbana, IL 61801 Janak Patel Center for Reliability and
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-10.ps.Z, 19950228 Lambda Representation of Operations Between Different Term Algebras1 Marek Zaionc2 zaionc@cs.buffalo.edu
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-15.ps.Z, 19950323 A COMPUTATIONAL THEORY OF VOCABULARY EXPANSION Project Proposal Karen Ehrlich and William J. Rapaport Department of Computer Science and Center for Cognitive Science State University of New York at Buffalo, Buffalo, NY 14260 fehrlich\|rapaportg@cs.buffalo.edu
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-14.ps.Z, 19950324 IMPLEMENTATION OF SUBSET LOGIC PROGRAMS Bharat Jayaraman Kyonghee Moon 226 Bell Hall Department of Computer Science State University of New York at Buffalo Buffalo, NY 14260 U.S.A. E-Mail: fbharat,kmoong@cs.buffalo.edu
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-16.ps.Z, 19950331 Average Time Complexity Classes Jin-yi Cai Alan Selman y Department of Computer Science State University of New York at Buffalo Buffalo, NY 14260 March 31, 1995
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-17.ps.Z, 19950403 Efficient algorithms for a scheduling problem and its applications to illicit drug market crackdowns Pu Cai Jin-yi Caiy Ashish V. Naikz
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/94-11.ps.Z, 19950403 Issues of Semantics in a Semantic-Network Representation of Belief by Robin K. Hill May 7, 1994 A dissertation submitted to the Faculty of the Graduate School of the State University of New York at Buffalo in partial fulfillment of the requirements for the degree of Doctor of Philosophy Dedicated to
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-18.ps.Z, 19950410 A Dynamic Diagnostic Test Generation System for IDDQ Measurement Based Diagnosis of Bridging Faults Yiming Gong and Sreejit Chakravarty Department of Computer Science State University of New York Buffalo, NY 14260
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-20.ps.Z, 19950414 FIXPOINT TECHNIQUE FOR COUNTING TERMS IN TYPED >= CALCULUS 1 Marek Zaionc 2 email: zaionc@cs.buffalo.edu
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-22.ps.Z, 19950425 Relaxation in Constraint Logic Languages Kannan Govindarajan Bharat Jayaraman Department of Computer Science State University of New York at Buffalo Buffalo, NY 14260 E-Mail: fbharat,govin-kg@cs.buffalo.edu Surya Mantha Systems Architecture Corporate Research and Technology Xerox Corporation Webster, NY
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-21.ps.Z, 19950505 Expensive Constraints and HyperArc Consistency Rajiv Chopra, Rohini Srihari and Anthony Ralston Dept. of Computer Science, SUNY at Buffalo April 11, 1995
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-24.ps.Z, 19950508 Lambda definability is decidable for second order types and for regular third order types 1 Marek Zaionc 2 Department of Computer Science, State University of New York at Buffalo 226 Bell Hall, Buffalo, NY 14260 zaionc@cs.buffalo.edu
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/94-35.ps.Z, 19950511 A KNOWLEDGE-BASED APPROACH TO DERIVING LOGICAL STRUCTURE FROM DOCUMENT IMAGES by Debashish Niyogi A dissertation submitted to the Faculty of the Graduate School of State University of New York at Buffalo in partial fulfillment of the requirements for the degree of Doctor of Philosophy August 1994 c
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-25.ps.Z, 19950609 THE ONTOLOGY OF CYBERSPACE: Questions and Comments David R. Koepsell Department of Philosophy and School of Law State University of New York at Buffalo Buffalo, NY 14260 koepsell@acsu.buffalo.edu William J. Rapaport Department of Computer Science and Center for Cognitive Science State University of New
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/93-41.ps.Z, 19950615 Efficient Average-Case Algorithms for the Modular Group Jin-Yi Cai SUNY Buffalo cai@cs.buffalo.edu Wolfgang H. Fuchs Cornell University fuchs@math.cornell.edu Dexter Kozen Cornell University kozen@cs.cornell.edu Zicheng Liu Princeton University zl@cs.princeton.edu
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-27.ps.Z, 19950615 The bounded membership problem of the monoid SL2(N) Jin-Yi Cai Zicheng Liuy
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-31.ps.Z, 19950713 On the Existence of Hard Sparse Sets under Weak Reductions Jin-yi Cai 1 Ashish V. Naik 2 D. Sivakumar 3 1Department of Computer Science, State University of New York at Buffalo, Buffalo, NY 14260. Research supported in part by NSF grants CCR-9057486 and CCR-9319093, and an Alfred P. Sloan Fellowship.
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-23.ps.Z, 19950713 GENERATING MARKOV RANDOM FIELD IMAGE ANALYSIS SYSTEMS FROM EXAMPLES by Davin Milun A dissertation submitted to the Faculty of the Graduate School of State University of New York at Buffalo in partial fulfillment of the requirements for the degree of Doctor of Philosophy May 1995 ii
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-30.ps.Z, 19950713 The Resolution of a Hartmanis Conjecture Jin-yi Cai 1 D. Sivakumar 2 1Department of Computer Science, State University of New York at Buffalo, Buffalo, NY 14260. Research supported in part by NSF grants CCR-9057486 and CCR-9319093, and an Alfred P. Sloan Fellowship. Email: cai@cs.buffalo.edu 2Department
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-29.ps.Z, 19950713 Multiplicative equations over commuting matrices (Extended Abstract) L aszl o Babai1, Robert Beals2, Jin-yi Cai3, G abor Ivanyos4, Eugene M. Luks5 Mailing address: Robert Beals School of Mathematics Institute For Advanced Study Olden Lane Princeton, New Jersey, 08540 1Department of Computer Science,
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-12.ps.Z, 19950721 Texture-Based Image Retrieval Using Fractal Codes Aidong Zhangy, Biao Chengy, Raj Acharyaz yDepartment of Computer Science State University of New York at Buffalo Buffalo, NY 14260 fazhang, bchengg@cs.buffalo.edu zDepartment of Electrical and Computer Engineering State University of New York at Buffalo
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-35.ps.Z, 19950810 A simple improvement of a theorem of P olya Jin-Yi Cai The distribution of quadratic residues modulo a prime number p is a fascinating problem. In this note I present a simple improvement to a classical theorem due to P olya . Theorem: Let p be an odd prime, then for all m and n, the difference of
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-34.ps.Z, 19950810 On Runtime Parallel Scheduling Min-You Wu Department of Computer Science State University of New York at Buffalo Buffalo, NY 14260 wu@cs.buffalo.edu
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-36.ps.Z, 19950810 Frobenius's degree formula and Toda's polynomials Jin-Yi Cai
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/94-31.ps.Z, 19950816 Impact of Multimedia Data on Workflows Aidong Zhang Department of Computer Science State University of New York at Buffalo Buffalo, NY 14260 USA
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/94-43.ps.Z, 19950816 Ensuring Semi-Atomicity in Heterogeneous Distributed Database Systems Aidong Zhang Department of Computer Science State University of New York at Buffalo Buffalo, NY 14260 Marian Nodine Department of Computer Science Brown University Providence, RI 02912 Bharat Bhargava Department of Computer Science
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-05.ps.Z, 19950816 Using Fractal Coding to Index Image Content for a Digital Library Biao Chengy, Aidong Zhangy, Raj Acharyaz, and Claudio Sibata yDepartment of Computer Science State University of New York at Buffalo Buffalo, NY 14260 zDepartment of Electrical and Computer Engineering State University of New York at
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-33.ps.Z, 19950816 On Synchronized Presentation Management in Multimedia Database Systems Aidong Zhang Department of Computer Science State University of New York at Buffalo Buffalo, NY 14260 Extended Abstract The extension of database systems to support multimedia applications requires new mechanisms to ensure the
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-19.ps.Z, 19950816 Texture-Based Image Retrieval Using Fractal Codes Aidong Zhangy, Biao Chengy, Raj Acharyaz yDepartment of Computer Science State University of New York at Buffalo Buffalo, NY 14260 fazhang, bchengg@cs.buffalo.edu zDepartment of Electrical and Computer Engineering State University of New York at Buffalo
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-39.ps.Z, 19950912 Gap-Languages and Log-Time Complexity Classes Kenneth W. Regan State Univ. of N.Y. at Buffalo Heribert Vollmery Universit at W urzburg September 8, 1995
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-40.ps.Z, 19950918 Resolution of Hartmanis' Conjecture for NL-hard sparse sets Jin-yi Cai D. Sivakumar y Department of Computer Science, State University of New York at Buffalo, Buffalo, NY 14260. Email:fcai,sivak-dg@cs.buffalo.edu Recently, Cai and Sivakumar settled a conjecture of Hartmanis , showing that
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-41.ps.Z, 19950918 This is page 1 Printer: Opaque this Sparse Sets versus Complexity Classes Jin-Yi Cai Mitsunori Ogihara
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-42.ps.Z, 19950921 Bounded Truth Table Reductions of P Jin-yi Cai Ashish V. Naik y D. Sivakumar z
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-43.ps.Z, 19950921 On Self-Testing without the Generator Bottleneck S. Ravikumar D. Sivakumary
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-38.ps.Z, 19951016 Large Vocabulary Recognition of On-line Handwritten Cursive Words by Giovanni Seni A dissertation submitted to the Department of Computer Science of the State University of New York at Buffalo for the degree of Doctor of Philosophy August, 1995 c Copyright by Giovanni Seni All Rights Reserved Large
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-45.ps.Z, 19951018 Improved Performance of the Greedy Algorithm for the Minimum Set Cover and Minimum Partial Cover Problems Petr Slav k October 15, 1995
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-46.ps.Z, 19951025 Parallel Processing Letters c World Scientific Publishing Company Parallel Incremental Scheduling Min-You Wu Department of Computer Science State University of New York at Buffalo Buffalo, New York 14260, USA Received (February 1995) Revised (August 1995) Communicated by (Gerasoulis and Yang)
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-47.ps.Z, 19951025 Symmetrical Hopping: A Scalable Scheduling Algorithm for Irregular Problems Min-You Wu Department of Computer Science State University of New York at Buffalo Buffalo, NY 14260
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-48.ps.Z, 19951026 A Sampling Technique for Diagnostic Fault Simulation 1 Sreejit Chakravarty 226 Bell Hall Dept. of Computer Science State University of New York Buffalo, NY 14260 Technical Report Number 95-48, Department of Computer Science State University of New York, Buffalo, NY 14260.
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-49B.ps.Z, 19951108 QUASI-INDEXICALS AND KNOWLEDGE REPORTS William J. Rapaport Department of Computer Science and Center for Cognitive Science State University of New York at Buffalo Buffalo, NY 14260 rapaport@cs.buffalo.edu Stuart C. Shapiro Department of Computer Science and Center for Cognitive Science State University
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-50.ps.Z, 19951108 Preference Datalog (Summary) Kannan Govindarajan Bharat Jayaraman y Surya Mantha z 1 Motivation and Approach The motivation for our work stems from the observation that traditional database query languages allow the user to express only the mandatory requirements on the data to be retrieved from a
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-49A.ps.Z, 19951108 On Parallelization of Static Scheduling Algorithms Min-You Wu Department of Computer Science State University of New York at Buffalo Buffalo, NY 14260 wu@cs.buffalo.edu
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-51.ps.Z, 19951108 Complements of Multivalued Functions Stephen Fenner University of Southern Maine Frederic Green y Clark University Steven Homer z Boston University Alan L. Selman x State University of New York at Buffalo Thomas Thierauf { Universit at Ulm Heribert Vollmer k Universit at W urzburg
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-37.ps.Z, 19951108 Optimization and Relaxation in Constraint Logic Languages Kannan Govindarajan Dept. of Computer Science SUNY at Buffalo Buffalo, NY 14260 govin-k@cs.buffalo.edu Bharat Jayaraman Dept. of Computer Science SUNY at Buffalo Buffalo, NY 14260 bharat@cs.buffalo.edu Surya Mantha Corporate Research & Technology
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-52.ps.Z, 19951109 Stress Tests for Dynamic Burn-in of Full Scan Circuits Vinay P. Dabholkar Sreejit Chakravarty Department of Computer Science State University of New York at Buffalo fvpd,sreejitg@cs.buffalo.edu
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-44.ps.Z, 19951115 Multimedia Transaction Management in Database Systems Aidong Zhang and Sreenivas Gollapudi Department of Computer Science State University of New York at Buffalo Buffalo, NY 14260 fazhang, golla-sg@cs.buffalo.edu
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-54.ps.Z, 19951121 A Tight Analysis of the Greedy Algorithm for Set Cover Petr Slav k November 19, 1995
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/95-55.ps.Z, 19951128 Buffer Management in Multimedia Database Systems Sreenivas Gollapudi and Aidong Zhang Department of Computer Science State University of New York at Buffalo Buffalo, NY 14260 fgolla-s, azhangg@cs.buffalo.edu
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/96-02.ps.Z, 19960219 Efficient Self-Testing of Linear Recurrences S. Ravikumar1 D. Sivakumar2 1Department of Computer Science, Cornell University, Ithaca, NY 14853. Email: ravi@cs.cornell.edu. This work was done when the author was visiting M.I.T. Research supported in part by ONR Young Investigator Award N00014-93-1-0590.
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/96-01.ps.Z, 19960304 Testing membership in unitriangular matrix groups Preliminary draft G abor Ivanyos January 2, 1996
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/96-03.ps.Z, 19960304 Which Set of Bridging Faults Should Test Compilers Target 1 Sreejit Chakravarty Paul J. Thadikaran Department of Computer Science State University of New York Buffalo, NY 14260 February 28, 1996 ( SUBMITTED TO IEEE INTERNATIONAL TEST CONFERENCE, 1996 )
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/96-05.ps.Z, 19960327 DEGRADED TEXT RECOGNITION USING VISUAL AND LINGUISTIC CONTEXT by Tao Hong A dissertation submitted to the Faculty of the Graduate School of the State University of New York at Buffalo in partial fulfillment of the requirements for the degree of Doctor of Philosophy September, 1995 c Copyright by Tao
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/admin/thesis.ps, 19960327 DEGRADED TEXT RECOGNITION USING VISUAL AND LINGUISTIC CONTEXT by Tao Hong A dissertation submitted to the Faculty of the Graduate School of the State University of New York at Buffalo in partial fulfillment of the requirements for the degree of Doctor of Philosophy September, 1995 c Copyright by Tao
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/96-08.ps.Z, 19960409 Dynamic Stress Tests for Narrow Metal Imperfections in Full Scan Circuits Tech. Rep. 96-06 Dept. of Computer Science, SUNY, Buffalo Vinay P. Dabholkar Sreejit Chakravarty Department of Computer Science State University of New York at Buffalo fvpd,sreejitg@cs.buffalo.edu
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/96-06.ps.Z, 19960409 NetMedia: A Client-Server Distributed Multimedia Database Environment Sreenivas Gollapudi and Aidong Zhang Department of Computer Science State University of New York at Buffalo Buffalo, NY 14260 fgolla-s, azhangg@cs.buffalo.edu
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/admin/v1.ps, 19960517 Scheduling for Large-Scale Parallel Video Servers Min-You Wu Department of Computer Science State University of New York at Buffalo Buffalo, NY 14260 wu@cs.buffalo.edu
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/96-09.ps.Z, 19960517 Scheduling for Large-Scale Parallel Video Servers Min-You Wu Department of Computer Science State University of New York at Buffalo Buffalo, NY 14260 wu@cs.buffalo.edu
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/96-10.ps.Z, 19960531 HOW MINDS CAN BE COMPUTATIONAL SYSTEMS William J. Rapaport Department of Computer Science, Department of Philosophy, and Center for Cognitive Science State University of New York at Buffalo, Buffalo, NY 14260 rapaport@cs.buffalo.edu http://www.cs.buffalo.edu/pub/WWW/faculty/rapaport/ May 31, 1996
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/96-12.ps.Z, 19960614 Some Scalable Parallel Algorithms for Geometric Problems Laurence Boxer 1 Russ Miller 2 Andrew Rau-Chaplin 3 1Department of Computer and Information Sciences, Niagara University, NY 14109, USA. E-mail: boxer@niagara.edu. Research partially supported by a grant from the Niagara University Research
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/admin/dde.ps, 19960705 DDE: A Modified Dimension Exchange Method for Load Balancing in k-ary n-cubes Min-You Wu and Wei Shu Department of Computer Science State University of New York at Buffalo Buffalo, NY 14260 wu,shu@cs.buffalo.edu
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/96-13.ps.Z, 19960719 A Multithreaded Client-Server Architecture for Distributed Multimedia Systems Sreenivas Gollapudi A Thesis submitted to the Faculty of the Department of Computer Science of State University of New York at Buffalo in partial fulfillment of the requirements for the degree of Master of Science. July 1996
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/96-14.ps.Z, 19960721 DDE: A Modified Dimension Exchange Method for Load Balancing in k-ary n-cubes Min-You Wu and Wei Shu Department of Computer Science State University of New York at Buffalo Buffalo, NY 14260 wu,shu@cs.buffalo.edu
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/92-32.ps.Z, 19960926 Computing Robust Tests for Stuck-open Faults from Stuck-at Test Sets. by Sreejit Chakravarty1 G. Theophilopoulos Dept. of Computer Science State University of New York Buffalo, NY 14260 Tech. Report No. 92-32
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/96-18.ps.Z, 19961018 Simba: Belief Ascription by Way of Simulative Reasoning by Hans Chalupsky A dissertation submitted1 to the Faculty of the Department of Computer Science and the Graduate School of the State University of New York at Buffalo in partial fulfillment of the requirements for the degree of Doctor of
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/96-19.ps.Z, 19961029 COGNITIVE SCIENCE William J. Rapaport Department of Computer Science, Department of Philosophy, and Center for Cognitive Science State University of New York at Buffalo, Buffalo, NY 14260 rapaport@cs.buffalo.edu http://www.cs.buffalo.edu/pub/WWW/faculty/rapaport/ October 29, 1996
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/96-21.ps.Z, 19961107 Reductions Do Not Preserve Fast Convergence Rates in Average Time Jay Belanger A. Pavany Jie Wangz
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/96-20.ps.Z, 19961212 Defect Detection Capability of Delay Tests for Path Delay Faults Sreejit Chakravarty Dept. of Computer Science State University of New York Buffalo, NY 14260 e-mail: sreejit@cs.buffalo.edu Phone: 716 645 3180 ext 109 Fax: 716 645 3464. October 31, 1996 TECHNICAL REPORT NUMBER 96-20; DEPARTMENT OF
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/96-22.ps.Z, 19961212 A note on the Pumping Lemma for regular languages Cai, Jin-Yi Department of Computer Science State University of New York at Buffalo Samuthiram, Karthikeyan Department of Computer Science State University of New York at Buffalo December 4, 1996
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/96-23.ps.Z, 19961212 Scheduling for Interactive Operations in Parallel Video Servers Min-You Wu Department of Computer Science State University of New York at Buffalo Buffalo, NY 14260 Phone: (716)645-3180 Fax: (716)645-3464 wu@cs.buffalo.edu 1 Scheduling for Interactive Operations in Parallel Video Servers Min-You Wu
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/admin/96-24.ps, 19961231 Metadatabase and Search Agent for Multimedia Database Access over Internet Wendy Changy, Deepak Murthy, Yousong Meiy, and Aidong Zhang Department of Computer Science State University of New York at Buffalo Buffalo, NY 14260 yDepartment of Electrical and Computer Engineering State University of New York
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/96-25.ps.Z, 19961231 A Framework for Supporting Quality-Based Presentation of Continuous Multimedia Streams Thomas V Johnson and Aidong Zhang 226 Bell Hall Department of Computer Science State University of New York at Buffalo Buffalo, NY 14260
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/admin/96-25.ps, 19961231 A Framework for Supporting Quality-Based Presentation of Continuous Multimedia Streams Thomas V Johnson and Aidong Zhang 226 Bell Hall Department of Computer Science State University of New York at Buffalo Buffalo, NY 14260
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/96-24.ps.Z, 19961231 Metadatabase and Search Agent for Multimedia Database Access over Internet Wendy Changy, Deepak Murthy, Yousong Meiy, and Aidong Zhang Department of Computer Science State University of New York at Buffalo Buffalo, NY 14260 yDepartment of Electrical and Computer Engineering State University of New York
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/97-01.ps.Z, 19970206 Complete Distributional Problems, Hard Languages, and Resource-Bounded Measure A. Pavan Alan L. Selman Department of Computer Science University at Buffalo Buffalo, NY 14260 February 6, 1997
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/97-02.ps.Z, 19970326 The Errand Scheduling Problem Petr Slav k Department of Mathematics, SUNY Buffalo, NY 14214, USA E-mail: slavik@math.buffalo.edu March 14, 1997
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/97-04.ps.Z, 19970415 A Clustering Approach for Large Visual Databases Gholamhosein Sheikholeslami and Aidong Zhang Department of Computer Science State University of New York at Buffalo Buffalo, NY 14260
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/97-08.cogsci.tr.ps.Z, 19970527 A Computational Theory of Vocabulary Expansion Karen Ehrlich and William J. Rapaport Department of Computer Science and Center for Cognitive Science State University of New York at Buffalo, Buffalo, NY 14260 fehrlich\|rapaportg@cs.buffalo.edu http://www.cs.buffalo.edu/ snwiz
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/97-11.ps.Z, 19970722 i Deciphering Algorithms for Degraded Document Recognition by Chi Fang A dissertation submitted to the Faculty of the Graduate School of the State University of New York at Buffalo in partial fulfillment of the requirements for the degree of Doctor of Philosophy July 18, 1997 c Copyright by Chi Fang,
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/97-09.ps.Z, 19970722 AN ARCHITECTURE FOR EXPLOITING QUALITATIVE, SCENE-SPECIFIC CONTEXT IN HIGH LEVEL COMPUTER VISION by Rajiv Chopra A Dissertation submitted to the Faculty of the Graduate School of the State University of New York at Buffalo in partial ful llment of the requirements for the degree of Doctor of Philosophy
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/97-10.ps.Z, 19970722 The Design of Uncheatable Benchmarks Using Complexity Theory (extended abstract) Jin-Yi Cai Ajay Nerurkar Min-You Wu Department of Computer Science, State University of New York at Buffalo, Buffalo, NY 14260. (716)645-3180x123 Email: fcai,apn,wug@cs.buffalo.edu 1 Introduction Benchmarks are heavily used
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/97-12.ps.Z, 19970723 Performance of a Simple Cooperative Individual Situation Assessment (CISA) with Respect to Information Sharing Strategy Metrics Henry Hexmoor and Elisabeth Cuddihy Department of Computer Science and Center for Cognitive Science State University of New York at Buffalo Buffalo, NY 14620
	ftp://ftp.cs.buffalo.edu/pub/tech-reports/97-13.ps.Z, 19970805 A Hierarchy Based on Output Multiplicity Ashish V. Naik Chronologic Simulation John D. Rogersy DePaul University James S. Royerz Syracuse University Alan L. Selmanx University at Buffalo August 1, 1997 Viewlogic Systems Inc., 20230 Stevens Creek Blvd., Cupertino, CA 9501. Research performed at the