Index of /tech-reports/SAFE
Department of Computer Science, SUNY Buffalo
Technical Reports at Department of Computer Science, SUNY Buffalo
- 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-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-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 (Not available on-line)
- Shapiro, Stuart C.; Rapaport, William J..
The SNePS Family,
September 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.
This site is part of NCSTRL.
- Check other sites
For additional information (or ordering paper copies), contact
techreps@cs.buffalo.edu
![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/hand.right.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}