Browse

ftp://cs.indiana.edu (196)

	ftp://cs.indiana.edu/pub/techreports/TR340.ps.Z, 19920305 The New Publishing Technology's impact on the publishing industry over the next decade Gregory J. E. Rawlins November 12, 1991
	ftp://cs.indiana.edu/pub/techreports/TR346.ps.Z, 19920305 Towards Leakage Containment Julia L. Lawall and Daniel P. Friedman Indiana University Computer Science Department Bloomington, IN 47405
	ftp://cs.indiana.edu/pub/techreports/TR351.ps.Z, 19920417 RULE-BASED PROGRAM RESTRUCTURING FOR HIGH PERFORMANCE PARALLEL PROCESSOR SYSTEMS by Lawrence J. Tenny Submitted to the faculty of the Graduate School in partial fulfillment of the requirements for the degree Doctor of Philosophy in the Department of Computer Science Indiana University April 3, 1992
	ftp://cs.indiana.edu/pub/techreports/TR348.ps.Z, 19920423 Characterizing the Paralation Model using Dynamic Assignment Eric T. Freeman1 and Daniel P. Friedman2 1 Yale University, Department of Computer Science, New Haven, Connecticut 06520 2 Indiana University, Computer Science Department, Bloomington, Indiana 47405
	ftp://cs.indiana.edu/pub/techreports/TR353.ps.Z, 19920519 Average Time for the Full Pure Literal Rule Paul Walton Purdom, Jr., Indiana University
	ftp://cs.indiana.edu/pub/techreports/TR356.ps.Z, 19920703 Writing Hygienic Macros in Scheme with Syntax-Case R. Kent Dybvig dyb@cs.indiana.edu Indiana University Computer Science Department Technical Report #356 June 1992 (Revised July 3, 1992) Copyright c 1992 R. Kent Dybvig 1 Preface This report is dedicated to my good friend and colleague, Bob Hieb, who was
	ftp://cs.indiana.edu/pub/techreports/TR358.ps.Z, 19920714 Four-Dimensional Views of 3D Scalar Fields Andrew J. Hanson Pheng A. Heng CN/AS Division Department of Computer Science CERN Indiana University CH-1211, Geneva 23, Switzerland Bloomington, IN 47405 and Department of Computer Science Indiana University Bloomington, IN 47405
	ftp://cs.indiana.edu/pub/techreports/TR350.ps.Z, 19920804 First-Class Extents Shinn-Der Lee and Daniel P. Friedman Computer Science Department Indiana University Bloomington, Indiana 47405 sdlee@cs.indiana.edu dfried@cs.indiana.edu August 4, 1992
	ftp://cs.indiana.edu/pub/techreports/TR354.ps.Z, 19920805 An Implementation of an Applicative File System Technical Report 354 Brian C. Heck and David S. Wise Computer Science Department Indiana University Bloomington, IN 47405{4101 USA Fax: +1 (812) 855-4829 Email: heckb@cs.indiana.edu
	ftp://cs.indiana.edu/pub/techreports/TR347.ps.Z, 19920806 An Algebra for List-Oriented Applications Latha S. Colby Department of Computer Science Indiana University Bloomington, IN, 47405 colby@cs.indiana.edu February 23, 1992
	ftp://cs.indiana.edu/pub/techreports/TR361.ps.Z, 19920806 CBR Assisted Explanation of GA Results Sushil Louisy Gary McGrawy Richard O. Wyckoffy yDepartment of Computer Science Center for Research on Concepts and Cognition Indiana University, Bloomington, Indiana 47405 (812) 855-6486y (812) 855-6966 Computer Science Technical Report number 361 CRCC Technical
	ftp://cs.indiana.edu/pub/techreports/TR359.ps.Z, 19921019 Using Goals and Experience to Guide Abduction1 David B. Leake leake@cs.indiana.edu Technical Report #359 Department of Computer Science, Indiana University Lindley Hall 215, Bloomington, IN 47405
	ftp://cs.indiana.edu/pub/leake/p-92-02.ps.Z, 19921019 Using Goals and Experience to Guide Abduction1 David B. Leake leake@cs.indiana.edu Technical Report #359 Department of Computer Science, Indiana University Lindley Hall 215, Bloomington, IN 47405
	ftp://cs.indiana.edu/pub/techreports/TR362.ps.Z, 19921021 Language Extension via First-class Interpreters Indiana University Computer Science Department Technical Report #362 John Wiseman Simmons II Stanley Jeffersony Daniel P. Friedmanz September 29, 1992
	ftp://cs.indiana.edu/pub/techreports/TR365.ps.Z, 19921028 Quasi-Static Scoping: Sharing Variable Bindings Across Multiple Lexical Scopes (Technical Report No. 365) Shinn-Der Lee and Daniel P. Friedman Computer Science Department Indiana University Bloomington, Indiana 47405 sdlee@cs.indiana.edu dfried@cs.indiana.edu
	ftp://cs.indiana.edu/pub/techreports/TR366.ps.Z, 19921110 A Reflective System is as Extensible as its Internal Representations: An Illustration Indiana University Computer Science Department Technical Report #366 John Wiseman Simmons II Daniel P. Friedmany October 21, 1992
	ftp://cs.indiana.edu/pub/techreports/TR364.ps.Z, 19921130 A Simple Reflective Interpreter Stanley Jefferson Daniel P. Friedman IMSA '92 International Workshop on Reflection and Meta-Level Architecture Tokyo, November 4-7, 1992 A Simple Reflective Interpreter Stanley Jefferson Daniel P. Friedman y Department of Computer Science Indiana University Bloomington,
	ftp://cs.indiana.edu/pub/techreports/TR371.ps.Z, 19930202 Learning to Perceive and Produce Rhythmic Patterns in an Artificial Neural Network J. Devin McAuley1 Department of Computer Science Indiana University Bloomington, Indiana 47405 February 1, 1993 1The author is supported by ONR grant N00014-91-J1261. Thanks to Michael Gasser, Robert Port, Joseph
	ftp://cs.indiana.edu/pub/techreports/TR368.ps.Z, 19930202 An Object Based Algebra for Parallel Query Processing and Optimization Vijay M. Sarathy Indiana University Computer Science Department Bloomington, Indiana 47405-4101, USA e-mail: vijay@cs.indiana.edu Lawrence V. Saxton University of Regina Department of Computer Science Regina, Saskatchewan S4S 0A2,
	ftp://cs.indiana.edu/pub/techreports/TR370.ps.Z, 19930205 Predicting Convergence Time for Genetic Algorithms Sushil J. Louis Gregory J. E. Rawlins Department of Computer Science Indiana University Bloomington, IN 47405 email: louis@cs.indiana.edu
	ftp://cs.indiana.edu/pub/techreports/TR357.ps.Z, 19930218 Matrix Algorithms using Quadtrees Invited Talk, ATABLE-92 Technical Report 357 David S. Wisey Computer Science Department Indiana University Bloomington, Indiana 47405{4101, USA dswise@cs.indiana.edu June, 1992
	ftp://cs.indiana.edu/pub/techreports/TR369.ps.Z, 19930219 Matrix Chain Ordering in Polylog Time with n=lg n Processors Phillip G. Bradford Gregory J. E. Rawlinsy Gregory E. Shannonz February 19, 1993
	ftp://cs.indiana.edu/pub/techreports/TR367.ps.Z, 19930303 Infer: A Statically-typed Dialect of Scheme Preliminary Tutorial and Documentation Version 0.1 \| Limited distribution draft \| Christopher T. Haynes1 Computer Science Department Lindley Hall Indiana University Bloomington, IN 47405 USA chaynes@cs.indiana.edu 855-3376 March 3, 1993 1This work was
	ftp://cs.indiana.edu/pub/techreports/TR373.ps.Z, 19930305 indiana university computer science department technical report no. 373 Automatic Synthesis of Sequential Synchronizations Zheng Zhu and Steven D. Johnson february 1993 To appear in the procedings of the 1993 IFIP Conference on Hardware Description Languages and their Applications (CHDL '93 ), Ottawa,
	ftp://cs.indiana.edu/pub/techreports/TR372.ps.Z, 19930305 indiana university computer science department technical report no. 372 Integrating Boolean Verification with Formal Derivation Bhaskar Bose, Steven D. Johnson, and Shyamsundar Pullela february 1993 To appear in the proceedings of the 1993 IFIP Conference on Hardware Description Languages and their
	ftp://cs.indiana.edu/pub/techreports/TR360.ps.Z, 19930311 Stop-and-copy and One-bit Reference Counting Technical Report 360 David S. Wise Indiana University Bloomington, Indiana 47405 USA Fax: +1 (812) 855-4829 Email: dswise@cs.indiana.edu (revised) March 1993
	ftp://cs.indiana.edu/pub/techreports/TR380.ps.Z, 19930510 indiana university computer science department technical report no. 380 DDD-FM9001: Derivation of a Verified Microprocessor An Exercise in Integrating Verification with Formal Derivation Bhaskar Bose and Steven D. Johnson may 1993 To appear in the proceedings of the 1993 IFIP Advanced Research
	ftp://cs.indiana.edu/pub/techreports/TR379.ps.Z, 19930511 Benchmark Queries for Temporal Databases Patrick P. Kalua and Edward L Robertson Indiana University Computer Science Department Bloomington, Indiana 47405, USA email : fkalua, edrbtsng@cs.indiana.edu
	ftp://cs.indiana.edu/pub/techreports/TR377.ps.Z, 19930524 Technical Report No. 377 Probabilistic Error Correction in Arbitrarily Large Lukasiewicz Logic Arrays R. A. Montante, J. W. Mills Computer Science Department Indiana University Bloomington, Indiana April 21, 1993
	ftp://cs.indiana.edu/pub/techreports/TR383.ps.Z, 19930528 Indiana University Computer Science Department Technical Report No. 383 An Example of Interactive Hardware Transformation Zheng Zhu and Steven D. Johnson May 1993 This paper was presented at the ACM/SIGDA Workshop on Formal Methods in VLSI design, Maimi, Florida, January 1991. Due to publication
	ftp://cs.indiana.edu/pub/techreports/TR382.ps.Z, 19930604 Learning Noun and Adjective Meanings: A Connectionist Account Michael Gasser gasser@cs.indiana.edu Computer Science and Linguistics Departments Indiana University Bloomington, IN 47405, USA Linda B. Smith smith4@ucs.indiana.edu Psychology Department Indiana University Bloomington, IN 47405, USA
	ftp://cs.indiana.edu/pub/techreports/TR384.ps.Z, 19930611 Learning Words in Time: Towards a Modular Connectionist Account of the Acquisition of Receptive Morphology Michael Gasser Computer Science and Linguistics Departments Indiana University Bloomington, IN, USA gasser@cs.indiana.edu June 10, 1993
	ftp://cs.indiana.edu/pub/techreports/TR385.ps.Z, 19930621 indiana university computer science department technical report no. 385 Derivation of a DRAM Memory Interface by Sequential Decomposition Kamlesh Rath, Bhaskar Bose, and Steven D. Johnson june 1993 To appear in the proceedings of the 1993 IEEE International Conference on Computer Design (ICCD '93 ),
	ftp://cs.indiana.edu/pub/techreports/TR375.ps.Z, 19930621 indiana university computer science department technical report no. 375 Toward a Basis for Protocol Specification and Process Decomposition Kamlesh Rath and Steven D. Johnson june 1993 To appear in the proceedings of the 1993 IFIP Conference on Hardware Description Languages and their Applications (CHDL
	ftp://cs.indiana.edu/pub/techreports/TR386.ps.Z, 19930707 indiana university computer science department technical report no. 386 System Factorization in Codesign A Case Study of the Use of Formal Techniques to Achieve Hardware-Software Decomposition Bhaskar Bose, M. Esen Tuna, and Steven D. Johnson June 1993 To appear in the proceedings of the 1993 IEEE
	ftp://cs.indiana.edu/pub/techreports/TR389.ps.Z, 19930811 indiana university computer science department technical report no. 389 Behavior Tables: A Basis for System Representation and Transformational System Synthesis Kamlesh Rath, M. Esen Tuna, and Steven D. Johnson august 1993 To appear in the proceedings of the 1993 IEEE/ACM International Conference on
	ftp://cs.indiana.edu/pub/techreports/TR355.ps.Z, 19931014 Syntactic Abstraction in Scheme Robert Hieb , R. Kent Dybvig, and Carl Bruggeman dyb or bruggema@cs.indiana.edu Indiana University Computer Science Department Technical Report #355 June 1992 (Revised July 3, 1992)
	ftp://cs.indiana.edu/pub/techreports/TR391.ps.Z, 19931117 On Lower Bounds for the Matrix Chain Ordering Problem Phillip G. Bradfordy Venkatesh Choppellaz Gregory J. E. Rawlinsx November 17, 1993
	ftp://cs.indiana.edu/pub/techreports/TR387.ps.Z, 19931201 Backtracking and Probing Paul Walton Purdom, Jr., Indiana University G. Neil Haven, Indiana University Partial support provided by NSF Grant CCR 92-03942.
	ftp://cs.indiana.edu/pub/techreports/TR392.ps.Z, 19931215 indiana university computer science department technical report no. 392 An Introduction to Behavior Tables Kamlesh Rath, M. Esen Tuna, and Steven D. Johnson december 1993 An Introduction to Behavior Tables Kamlesh Rath, M. Esen Tuna, Steven D. Johnson Indiana University Computer Science Department
	ftp://cs.indiana.edu/pub/techreports/TR388.ps.Z, 19940103 Higher Order Logic Daniel Leivant Contents 1 Introduction : : : : : : : : : : : : : : : : : : : : : : : : : : : : 2 2 The expressive power of second order Logic : : : : : : : : : : : 3 2.1 The language of second order logic : : : : : : : : : : : : : 3 2.2 Expressing size : : : : : : : : : : : : : : : :
	ftp://cs.indiana.edu/pub/techreports/TR394.ps.Z, 19940103 Incomplete Cholesky Factorization with Sparsity Pattern Modification Xiaoge Wang Department of Computer Science Indiana University - Bloomington Kyle Gallivan Department of Electrical and Computer Engineering University of Illinois- Urbana Randall Bramley Department of Computer Science Indiana
	ftp://cs.indiana.edu/pub/techreports/TR390.ps.Z, 19940107 Dynamic Statistics of Sequential Prolog Ignacio Celis and Jonathan W. Mills Computer Science Dept. Indiana University Lindley Hall 215 Bloomington, IN 47405 e-mail: {celisi, jwmills}@cs.indiana.edu phone (812)-857-7038 Keywords: Implementations and Architectures
	ftp://cs.indiana.edu/pub/techreports/TR345.ps.Z, 19940111 The Revised Report on the Syntactic Theories of Sequential Control and State Matthias Felleisen Department of Computer Science Rice University Houston, TX 77251-1892 Robert Hieb Computer Science Department Indiana University Bloomington, IN 47405 Rice University Technical Report # 100-89 to appear in:
	ftp://cs.indiana.edu/pub/techreports/TR396.ps.Z, 19940117 SOLVING LINEAR INEQUALITIES IN A LEAST SQUARES SENSE R. BRAMLEY AND B. WINNICKA
	ftp://cs.indiana.edu/pub/techreports/TR398.ps.Z, 19940223 indiana university computer science department technical report no. 398 Specification and Synthesis of Bounded Indirection Kamlesh Rath, M. Esen Tuna, and Steven D. Johnson february 1994 Specification and Synthesis of Bounded Indirection
	ftp://cs.indiana.edu/pub/techreports/TR397.ps.Z, 19940224 Maintaining Dynamic State: Deep, Shallow, and Parallel Christopher T. Haynes Indiana University 1 Richard M. Salter Oberlin College 2
	ftp://cs.indiana.edu/pub/techreports/TR399.ps.Z, 19940225 A Formalization of the Turing Test Phillip G. Bradford and Michael Wollowski (812) 855-2136 Indiana University Department of Computer Science 215 Lindley Hall Bloomington, Indiana 47405 f bradford, wollowsk g@cs.indiana.edu February 1994
	ftp://cs.indiana.edu/pub/techreports/TR349.ps.Z, 19940323 MERGING INTERACTIVE, MODULAR, AND OBJECT-ORIENTED PROGRAMMING Sho-Huan Simon Tung Submitted to the faculty of the Graduate School in partial fulfillment of the requirements for the degree Doctor of Philosophy in the Department of Computer Science Indiana University This material is based on work
	ftp://cs.indiana.edu/pub/techreports/TR405.ps.Z, 19940405 Technical Report No. 405 Interaction of Formal Design Systems in the Development of a Fault-Tolerant Clock Synchronization Circuit1 Paul S. Miner2 Shyamsundar Pullela Steven D. Johnson Indiana University Computer Science Department Bloomington, IN 47405-4101 April 1994 1Research reported herein was
	ftp://cs.indiana.edu/pub/techreports/TR400.ps.Z, 19940506 Don't Stop the BIBOP: Flexible and Efficient Storage Management for Dynamically-Typed Languages R. Kent Dybvig, David Eby, and Carl Bruggeman fdyb,deby,bruggemag@cs.indiana.edu Indiana University Computer Science Department Technical Report #400 March 1994 Copyright c 1994 R. Kent Dybvig, David Eby, and
	ftp://cs.indiana.edu/pub/techreports/TR395.ps.Z, 19940519 A Query Language for List-Based Complex Objects Latha S. Colby Lawrence V. Saxtony Dirk Van Gucht z May 1994 (revised)
	ftp://cs.indiana.edu/pub/techreports/TR393.ps.Z, 19940519 CIMGS: An Incomplete Orthogonal Factorization Preconditioner Xiaoge Wang Department of Computer Science Indiana University - Bloomington Kyle Gallivan Department of Electrical and Computer Engineering University of Illinois- Urbana Randall Bramley Department of Computer Science Indiana University -
	ftp://cs.indiana.edu/pub/leake/p-94-01.ps.Z, 19940608 Proceedings of the 1994 AAAI Spring Symposium on Goal-Driven Learning, pp. 72-79. Issues in Goal-Driven Explanation David B. Leake Computer Science Department Indiana University Bloomington, IN 47405, U.S.A. leake@cs.indiana.edu
	ftp://cs.indiana.edu/pub/leake/p-93-01.ps.Z, 19940608 Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, 1993, pp. 24{29 Focusing Construction and Selection of Abductive Hypotheses David B. Leake Department of Computer Science Indiana University Bloomington, IN 47405, U.S.A.
	ftp://cs.indiana.edu/pub/leake/p-92-01.ps.Z, 19940608 Proceedings of the Fourteenth Annual Conference of the Cognitive Science Society, 1992, pp. 313{318 Constructive Similarity Assessment: Using Stored Cases to Define New Situations David B. Leake Department of Computer Science Indiana University Bloomington, IN 47405 leake@cs.indiana.edu
	ftp://cs.indiana.edu/pub/leake/p-94-02.ps.Z, 19940608 Proceedings of the 1994 AAAI Spring Symposium on Goal-Driven Learning, pp. 1-11 A Framework for Goal-Driven Learning1 Ashwin Ram College of Computing Georgia Institute of Technology Atlanta, Georgia 30332-0280 E-mail: ashwin@cc.gatech.edu David Leake Computer Science Department Indiana University
	ftp://cs.indiana.edu/pub/leake/p-93-02.ps.Z, 19940608 Goal-Driven Learning: Fundamental Issues (A Symposium Report) David Leake Computer Science Department Indiana University Bloomington, Indiana 47405 (812) 855-9756 E-mail: leake@moose.cs.indiana.edu Ashwin Ram College of Computing Georgia Institute of Technology Atlanta, Georgia 30332-0280 (404) 853-9372
	ftp://cs.indiana.edu/pub/leake/p-94-04.ps.Z, 19940610 Proceedings of the Sixtennth Annual Conference of the Cognitive Science Society, 1994 Using Introspective Reasoning to Guide Index Refinement in Case-Based Reasoning Susan Fox and David Leake Computer Science Department Lindley Hall 215 Indiana University Bloomington, IN 47405 E-mail:
	ftp://cs.indiana.edu/pub/leake/p-94-03.ps.Z, 19940615 Proceedings of the Sixtennth Annual Conference of the Cognitive Science Society, 1994 Towards A Computer Model of Memory Search Strategy Learning David B. Leake Computer Science Department Indiana University Bloomington, Indiana 47405 leake@cs.indiana.edu
	ftp://cs.indiana.edu/pub/leake/p-91-01.ps.Z, 19940617 This article appears in Cognitive Science, Volume 15, Number 4, 1991 Goal-based Explanation Evaluation1 David B. Leake Computer Science Department Indiana University 101 Lindley Hall Bloomington, IN 47405 leake@cs.indiana.edu 1I would like to thank my dissertation advisor, Roger Schank, for his very
	ftp://cs.indiana.edu/pub/techreports/TR407.ps.Z, 19940715 Quaternion Frenet Frames: Making Optimal Tubes and Ribbons from Curves Andrew J. Hanson Computer Science Department Indiana University Bloomington, IN 47405 hanson@cs.indiana.edu } Introduction } Our purpose here is to show how the quaternion formalism can be applied with great success not only to the
	ftp://cs.indiana.edu/pub/techreports/TR319.ps.Z, 19940715 The Rolling Ball Andrew J. Hanson Indiana University Bloomington, IN Interactive graphics systems often need techniques that allow the user to rotate graphical objects freely in three-dimensional space using commonlyavailable two-dimensional input devices such as a mouse. Achieving this goal is hampered
	ftp://cs.indiana.edu/pub/techreports/TR406.ps.Z, 19940715 Rotations for N-Dimensional Graphics Andrew J. Hanson Computer Science Department Indiana University Bloomington, IN 47405 hanson@cs.indiana.edu } Introduction } In a previous article in Graphics Gems IV, Geometry for N-Dimensional Graphics" (Hanson 1994), we described a fundamental family of
	ftp://cs.indiana.edu/pub/techreports/TR409.ps.Z, 19940715 indiana university computer science department technical report no. 409 Continuations in Hardware-Software Codesign M. Esen Tuna, Steven D. Johnson, and Robert G. Burger July 1994 To appear in the proceedings of the 1994 IEEE International Conference on Computer Design (ICCD '94 ), Cambridge,
	ftp://cs.indiana.edu/pub/leake/p-93-03.ps.Z, 19940721 Proceedings of the AAAI-93 Workshop on Case-Based Reasoning, AAAI Press, Menlo Park, CA, pp. 57{63, 1993. Learning Adaptation Strategies by Introspective Reasoning about Memory Search David B. Leake Computer Science Department Indiana University Bloomington, IN 47405, U.S.A. leake@cs.indiana.edu
	ftp://cs.indiana.edu/pub/techreports/TR412b.ps.Z, 19940727 TECHNICAL REPORT NO. 412 EMILY: A Visualization Tool for Large Sparse Matrices by R. Bramley (bramley@cs.indiana.edu) and T. Loos (tloos@cs.indiana.edu) July, 1994 COMPUTER SCIENCE DEPARTMENT INDIANA UNIVERSITY Bloomington, Indiana 47405-4101 Contents 1 Introduction 1 2 Users' Guide 3 2.1 What is emily
	ftp://cs.indiana.edu/pub/techreports/TR412a.ps.Z, 19940727 TECHNICAL REPORT NO. 412 A EMILY: A Visualization Tool for Large Sparse Matrices by R. Bramley (bramley@cs.indiana.edu) and T. Loos (tloos@cs.indiana.edu) July, 1994 All screen shots have been deleted from this version to save space COMPUTER SCIENCE DEPARTMENT INDIANA UNIVERSITY Bloomington, Indiana
	ftp://cs.indiana.edu/pub/techreports/TR411.ps.Z, 19940805 TECHNICAL REPORT NO. 411 Notes on Adaptive Quadrature on the Hemisphere Peter Shirley Indiana University and Cornell University Program of Computer Graphics 580 Engineering and Theory Center Cornell University Ithaca, NY 14853 shirley@graphics.cornell.edu Kenneth Chiu Indiana University 215 Lindley Hall
	ftp://cs.indiana.edu/pub/techreports/TR344.ps.Z, 19940825 A Specification-based Data Model Munish Gandhi gandhim@copper.ucs.indiana.edu Edward L. Robertson edrbtsn@iuvax.cs.indiana.edu
	ftp://cs.indiana.edu/pub/techreports/TR415.ps.Z, 19940825 TECHNICAL REPORT NO. 415 A Data Model for Audio-Video Data Munish Gandhi gandhim@cs.indiana.edu Edward L. Robertson edrbtsn@cs.indiana.edu August 24, 1994 Computer Science Department, Indiana University, Bloomington, IN-47405. 1 Contents 1 Introduction 4 2 Algebra: Domain 6 2.1 Track Atom, TAD and Track
	ftp://cs.indiana.edu/pub/techreports/TR404.ps.Z, 19940825 TECHNICAL REPORT NO. 404 Leveled Entity Relationship Model Munish Gandhi gandhim@cs.indiana.edu Edward L. Robertson edrbtsn@cs.indiana.edu Dirk Van Gucht vgucht@cs.indiana.edu May 25, 1994 Computer Science Department, Indiana University, Bloomington, IN-47405. 1
	ftp://cs.indiana.edu/pub/techreports/TR413.ps.Z, 19940902 The Scheme Machine Robert G. Burger burger@cs.indiana.edu Indiana University Computer Science Department Technical Report #413 August 1994 The Scheme Machine Robert G. Burger Indiana University Computer Science Department Lindley Hall 215 Bloomington, Indiana 47405 burger@cs.indiana.edu Indiana
	ftp://cs.indiana.edu/pub/techreports/TR410b.ps.Z, 19940930 Technical Report No. 410 Analog Test Board: Design and Operation R. A. Montante bobmon@cs.indiana.edu Computer Science Department Indiana University Bloomington, Indiana August 31, 1994 1 Contents 1 Introduction 4 2 Physical Design 5 2.1 Board Infrastructure : : : : : : : : : : : : : : : : : : : : : : :
	ftp://cs.indiana.edu/pub/techreports/TR410a.ps.Z, 19940930 Technical Report No. 410 Analog Test Board: Design and Operation R. A. Montante bobmon@cs.indiana.edu Computer Science Department Indiana University Bloomington, Indiana August 31, 1994 1 Contents 1 Introduction 4 2 Physical Design 5 2.1 Board Infrastructure : : : : : : : : : : : : : : : : : : : : : : :
	ftp://cs.indiana.edu/pub/techreports/TR410c.ps.Z, 19940930 A ATB Control Software This appendix contains listings of the author's software for testing currentmode analog circuits on the ATB. xA.1 shows the low-level routines that manipulate the functional units of the ATB. xA.2 is ftntest, a (largish) program that offers a menu of functions for testing portions
	ftp://cs.indiana.edu/pub/techreports/TR419.ps.Z, 19941027 Topological Reasoning and The Logic of Knowledge Andrew Dabrowski Lawrence S. Mossy Rohit Parikhz
	ftp://cs.indiana.edu/pub/techreports/TR352.ps.Z, 19941028 Efficient Parallel Dynamic Programming1 (Revised) Phillip G. Bradford Indiana University Department of Computer Science 215 Lindley Hall Bloomington, IN 47405 (812) 855-3609 bradford@cs.indiana.edu October 27, 1994 1An extended abstract of this paper is in the Proceedings of the 30th Annual Allerton
	ftp://cs.indiana.edu/pub/techreports/TR416.ps.Z, 19941107 A Logical Formalization of Hardware Design Diagrams Kathi Fisler Department of Computer Science Lindley Hall 215 Indiana University Bloomington, IN 47401 kfisler@cs.indiana.edu
	ftp://cs.indiana.edu/pub/techreports/TR332.ps.Z, 19941128 Exploring the Symbolic/Subsymbolic Continuum: A Case Study of RAAM Douglas S. Blank (blank@iuvax.cs.indiana.edu) Lisa A. Meeden (meeden@iuvax.cs.indiana.edu) James B. Marshall (marshall@iuvax.cs.indiana.edu) Department of Computer Science Indiana University Bloomington, Indiana 47405 May 6, 1991 1
	ftp://cs.indiana.edu/pub/leake/p-94-05.ps.Z, 19941229 Proceedings of the Twelfth National Conference on Artificial Intelligence, 1994, p. 1492. Towards Situated Explanation Raja Sooriamurthi and David Leake Computer Science Department Indiana University, Bloomington, IN 47405 fraja,leakeg@cs.indiana.edu In AI research on explanation, the mechanisms used to
	ftp://cs.indiana.edu/pub/leake/p-94-06.ps.Z, 19941229 Proceedings of the Twelfth National Conference on Artificial Intelligence, 1994, p. 1446. Introspective Reasoning in a Case-based Planner Susan Fox and David Leake Lindley Hall 215 Indiana University Bloomington, IN 47405 (812) 855-8702 sfox@cs.indiana.edu and leake@cs.indiana.edu Many current AI
	ftp://cs.indiana.edu/pub/leake/p-95-01.ps.Z, 19950119 Proceedings of the AAAI Spring Symposium on Representing Mental States and Mechanisms, Stanford, CA, March 1995. Representing Self-knowledge for Introspection about Memory Search David B. Leake Computer Science Department Indiana University Bloomington, Indiana 47405 leake@cs.indiana.edu
	ftp://cs.indiana.edu/pub/leake/p-95-02.ps.Z, 19950120 Proceedings of the AAAI Spring Symposium on Representing Mental States and Mechanisms, Stanford, CA, March 1995. Modeling Case-based Planning for Repairing Reasoning Failures Susan Fox David B. Leake Computer Science Department Indiana University Bloomington, IN 47405 fsfox,leakeg@cs.indiana.edu
	ftp://cs.indiana.edu/pub/techreports/TR408.ps.Z, 19950126 Visualizing Distributed Data Structures Suresh Srinivas, Dennis Gannon Department of Computer Science, Lindley Hall 215, Indiana University, Bloomington, IN 47405. fssriniva,gannong@cs.indiana.edu
	ftp://cs.indiana.edu/pub/techreports/TR421.ps.Z, 19950126 Parallel I/O from the User's Perspective Jacob Gotwals Suresh Srinivas Shelby Yang Department of Computer Science Lindley Hall 215, Indiana University Bloomington, IN, 47405 fjgotwals,ssriniva,yangg@cs.indiana.edu
	ftp://cs.indiana.edu/pub/techreports/TR422a.ps.Z, 19950126 Page 1 pC++/streams: a Library for I/O on Complex Distributed Data-Structures Jacob Gotwals Suresh Srinivas Dennis Gannon Department of Computer Science, Lindley Hall 215, Indiana University, Bloomington, IN 47405. {jgotwals, ssriniva, gannon}@cs.indiana.edu
	ftp://cs.indiana.edu/pub/techreports/TR422b.ps.Z, 19950126 1 References Robert Bennett, Kelvin Bryant, Alan Sussman, Raja Das, and Joel Saltz. Jovian: A framework for optimizing parallel I/O. In Proceedings of the 1994 Scalable Parallel Libraries Conference, Oct 1994. Available on the WWW at http://www.cs.umd.edu/projects/hpsl/io/io.html . Francois
	ftp://cs.indiana.edu/pub/techreports/TR424.ps.Z, 19950206 PARALLEL DYNAMIC PROGRAMMING by Phillip Gnassi Bradford Submitted to the faculty of the Graduate School in partial fulfillment of the requirements for the degree Doctor of Philosophy in the Department of Computer Science Indiana University December 15, 1994 Accepted by the Graduate Faculty, Indiana
	ftp://cs.indiana.edu/pub/techreports/TR425.ps.Z, 19950223 Parallel Transport Approach to Curve Framing Andrew J. Hanson and Hui Ma Department of Computer Science Lindley Hall 215 Indiana University Bloomington, IN 47405 January 11, 1995
	ftp://cs.indiana.edu/pub/techreports/TR426.ps.Z, 19950301 Diagnosis of Ill-typed Programs Venkatesh Choppella and Christopher T. Haynes Indiana University, USA fchoppell,chaynesg@cs.indiana.edu
	ftp://cs.indiana.edu/pub/techreports/TR420.ps.Z, 19950307 1 A comparison of modular self-timed design styles by Franklin Prosser, David Winkel, and Erik Brunvand
	ftp://cs.indiana.edu/pub/techreports/TR427.ps.Z, 19950310 Dynamic Interpretations of Constraint-Based Grammar Formalisms Lawrence S. Moss Mathematics and Computer Science Departments, Indiana University, Bloomington, IN 47405 USA. and David E. Johnson Mathematical Sciences Department, Thomas J. Watson Research Center, IBM Research Division, Yorktown Heights,
	ftp://cs.indiana.edu/pub/techreports/TR423.ps.Z, 19950317 Executing Object-Oriented Parallel Programs on High Performance Simulators Suresh Srinivas, Dennis Gannon Department of Computer Science, Lindley Hall 215, Indiana University, Bloomington, IN 47405. fssriniva,gannong@cs.indiana.edu In the last few years several massively parallel computers based on the
	ftp://cs.indiana.edu/pub/techreports/TR428.ps.Z, 19950403 Processing Queries Containing Generalized Quantifiers Sudhir Rao, Antonio Badia, and Dirk Van Gucht Indiana University
	ftp://cs.indiana.edu/pub/techreports/TR403.ps.Z, 19950407 Interactive Rendering of Complex 3D Models in Pipelined Graphics Architectures Paulo W. C. Maciel Technical Report Department of Computer Science Indiana University, Bloomington May 23, 1994
	ftp://cs.indiana.edu/pub/techreports/TR429.ps.Z, 19950425 Iterative Methods For Fast Radiosity Solutions Gladimir V. Guimaraes Baranoski Randall Bramleyy Peter Shirleyz April 1995
	ftp://cs.indiana.edu/pub/techreports/TR374.ps.Z, 19950504 Universal Queries for Relational Query Languages Lawrence V. Saxton Department of Computer Science University of Regina Regina, SK S4S 0A2, Canada e-mail: saxton@cs.uregina.ca Dirk Van Gucht and Munish Gandhi Computer Science Department Indiana University Bloomington Indiana 47405 email:
	ftp://cs.indiana.edu/pub/techreports/TR376.ps.Z, 19950504 Implementation of a Graph Oriented Query Language : IUGQL Vijay M. Sarathy Dirk Van Gucht Indiana University Computer Science Department Bloomington, Indiana 47405-4101, USA e-mail: fvijay,vguchtg@cs.indiana.edu
	ftp://cs.indiana.edu/pub/techreports/TR434.ps.Z, 19950516 A Two-Pass Realistic Image Synthesis Method for Complex Scenes Kurt Zimmerman and Peter Shirley Department of Computer Science Indiana University Bloomington, IN 47405 Program of Computer Graphics Cornell University Ithaca, NY 14853
	ftp://cs.indiana.edu/pub/leake/p-95-06.ps.Z, 19950520 Towards Goal-Driven Integration of Explanation and Action David B. Leake Computer Science Department, Indiana University Lindley Hall 215, Bloomington, IN 47405 leake@cs.indiana.edu 812{855{9756 May 17, 1995 To appear in Ram, A. and Leake, D., Eds., Goal-Driven Learning. MIT Press/Bradford Books. In
	ftp://cs.indiana.edu/pub/leake/p-95-03.ps.Z, 19950520 Combining Case-based Planning and Introspective Reasoning Susan Fox David B. Leake Computer Science Department Indiana University
	ftp://cs.indiana.edu/pub/leake/p-95-07.ps.Z, 19950520 Abduction, Experience, and Goals: A Model of Everyday Abductive Explanation* David B. Leake Computer Science Department Lindley Hall 215 Indiana University Bloomington, IN 47405 812{855{9756 leake@cs.indiana.edu February 5, 1995 Accepted by The Journal of Experimental and Theoretical Artificial
	ftp://cs.indiana.edu/pub/leake/p-95-09.ps.Z, 19950520 Proceedings of the Seventeenth Annual Conference of the Cognitive Science Society, 1995 Combining Rules and Cases to Learn Case Adaptation David B. Leake Computer Science Department Indiana University Bloomington, IN 47405 leake@cs.indiana.edu
	ftp://cs.indiana.edu/pub/leake/p-95-05.ps.Z, 19950520 Invited paper, Proceedings of the Eighth Annual Florida Artificial Intelligence Research Symposium, 1995, pp. 112-116. BECOMING AN EXPERT CASE-BASED REASONER: LEARNING TO ADAPT PRIOR CASES David B. Leake Computer Science Department Indiana University Bloomington, Indiana 47405 leake@cs.indiana.edu
	ftp://cs.indiana.edu/pub/leake/p-95-08.ps.Z, 19950520 Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, 1995. Using Introspective Reasoning to Refine Indexing Susan Fox and David B. Leake Computer Science Department Lindley Hall 215 Indiana University Bloomington, IN 47405 USA E-mail: fsfox,leakeg@cs.indiana.edu
	ftp://cs.indiana.edu/pub/techreports/TR433.ps.Z, 19950522 Matrix Inversion using Quadtrees Implemented in Gofer 1 Technical Report 433 Jeremy D. Frens & David S. Wise 2 Computer Science Department Indiana University Bloomington, Indiana 47405 4101 jfrens@cs.indiana.edu May 1995 1 c 1994 by the authors. This document is made available by the authors as a means
	ftp://cs.indiana.edu/pub/leake/p-95-04.ps.Z, 19950523 Proceedings of the Eighth Annual Florida Artificial Intelligence Research Symposium, Melbourne, FL, 1995, pp. 218-222. AN ARCHITECTURE FOR GOAL-DRIVEN EXPLANATION Raja Sooriamurthi & David Leake Computer Science Department 215, Lindley Hall, Indiana University Bloomington, IN 47405 raja@cs.indiana.edu
	ftp://cs.indiana.edu/pub/techreports/TR321.ps.Z, 19950605 RTBA : A Generic Bit-Sliced Bus Architecture for DataPath Synthesis Kamlesh Rath Ignacio Celis Robert M. Wehrmeister Steven D. Johnson Computer Science Department Indiana University, Bloomington, IN 47405
	ftp://cs.indiana.edu/pub/techreports/TR431.ps.Z, 19950605 Experimental Evaluation of Coir : A System for Control and Data Parallelism Neelakantan Sundaresan Dennis Gannon nsundare@cs.indiana.edu gannon@cs.indiana.edu Computer Science Department 215 Lindley Hall Indiana University Bloomington, IN 47405
	ftp://cs.indiana.edu/pub/techreports/TR435.ps.Z, 19950605 Indiana University The University Graduate School Pilot Project in Electronic Application Final Report Eric Jeschke Computer Science Department jeschke@cs.indiana.edu June 2, 1995 Contents 1 Introduction 1 1.1 History : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :
	ftp://cs.indiana.edu/pub/techreports/TR430.ps.Z, 19950605 Coir: A Thread-Model for Supporting Task- and Data- Parallelism in Object-Oriented Parallel Languages Neelakantan Sundaresan Dennis Gannon nsundare@cs.indiana.edu gannon@cs.indiana.edu Computer Science Department 215 Lindley Hall Indiana University Bloomington, IN 47405
	ftp://cs.indiana.edu/pub/techreports/TR436.ps.Z, 19950707 A Uniform Data Model for Relational Data and Meta-Data Query Processing Manoj Jain, Anurag Mendhekar, and Dirk Van Gucht Indiana University
	ftp://cs.indiana.edu/pub/techreports/TR438.ps.Z, 19950815 PERCEPTION OF TIME AS PHASE: TOWARD AN ADAPTIVE-OSCILLATOR MODEL OF RHYTHMIC PATTERN PROCESSING 1 J. Devin McAuley July, 1995 1Thesis accepted by the Graduate Faculty of Indiana University for the degree of Doctor of Philosophy in Computer Science and Cognitive Science.
	ftp://cs.indiana.edu/pub/techreports/TR440.ps.Z, 19950823 A NECESSARY AND SUFFICIENT SYMBOLIC CONDITION FOR THE EXISTENCE OF INCOMPLETE CHOLESKY FACTORIZATION XIAOGE WANG AND RANDALL BRAMLEY DEPARTMENT OF COMPUTER SCIENCE INDIANA UNIVERSITY - BLOOMINGTON KYLE A. GALLIVAN DEPARTMENT OF ELECTRICAL AND COMPUTER ENGINEERING UNIVERSITY OF ILLINOIS AT
	ftp://cs.indiana.edu/pub/techreports/TR418.ps.Z, 19950912 Undulant-Block Elimination and Integer-Preserving Matrix Inversion1 Technical Report 418 David S. Wise2 Computer Science Department Indiana University Bloomington, Indiana 47405 4101 dswise@cs.indiana.edu Revised: August 1995 1 c 1994,1995 by the author. This work has been submitted for publication;
	ftp://cs.indiana.edu/pub/techreports/TR441.ps.Z, 19950919 1 ISCAS-96 COVER SHEET: Title of Paper: Programmable VLSI Extended Analog Computer for Cyclotron Beam Control Initials and Family Names of All Authors: J. Mills Affiliations of Authors: Indiana University, Bloomington, IN, USA Presenting Author Family Name: Mills Corresponding Author First Name:
	ftp://cs.indiana.edu/pub/techreports/TR442.ps.Z, 19950928 Object Template Abstractions for Light-Weight Data-Parallelism Neelakantan Sundaresan Dennis Gannon nsundare@cs.indiana.edu gannon@cs.indiana.edu Computer Science Department 215 Lindley Hall Indiana University Bloomington, IN 47405
	ftp://cs.indiana.edu/pub/leake/p-95-12.ps.Z, 19951009 Adaptive Similarity Assessment for Case-Based Explanation.* David B. Leake Computer Science Department Indiana University Bloomington, IN 47405 812{855{9756 leake@cs.indiana.edu The International Journal of Expert Systems Research and Applications. 8(2):165{194,1995. Key words: Case-based reasoning,
	ftp://cs.indiana.edu/pub/leake/p-95-13.ps.Z, 19951009 Experience, Introspection, and Expertise: Learning to Refine the Case-Based Reasoning Process* David B. Leake Computer Science Department Indiana University Bloomington, IN 47405 leake@cs.indiana.edu 812-855-9756 August 5, 1995 Journal of Experimental and Theoretical Artificial Intelligence, special
	ftp://cs.indiana.edu/pub/leake/p-95-10.ps.Z, 19951009 Learning to Refine Indexing by Introspective Reasoning Susan Fox and David B. Leake Computer Science Department Indiana University Bloomington, IN 47405, USA
	ftp://cs.indiana.edu/pub/leake/p-95-11.ps.Z, 19951009 Learning to Improve Case Adaptation by Introspective Reasoning and CBR David B. Leake, Andrew Kinley, and David Wilson Computer Science Department Lindley Hall 215, Indiana University Bloomington, IN 47405, U.S.A.
	ftp://cs.indiana.edu/pub/techreports/TR443.ps.Z, 19951113 November 13, 1995 Page 1 THE CONTINUOUS RETINA: IMAGE PROCESSING WITH A SINGLE-SENSOR ARTIFICIAL NEURAL FIELD NETWORK Jonathan W. Mills Computer Science Department Indiana University Bloomington, Indiana 47405 jwmills@cs.indiana.edu
	ftp://cs.indiana.edu/pub/techreports/TR444.ps.Z, 19951117 On the Foundations of Corecursion Lawrence S. Moss Norman Dannery
	ftp://cs.indiana.edu/pub/techreports/TR445.ps.Z, 19951121 An Architecture for Parallel Symbolic Processing Based on Suspending Construction Eric R. Jeschke Submitted to the faculty of the Graduate School in partial fulfillment of the requirements for the degree Doctor of Philosophy in the Department of Computer Science Indiana University April 1995 c Copyright
	ftp://cs.indiana.edu/pub/techreports/TR448.ps.Z, 19960126 On First-Order Two-Dimensional Linear Homogeneous Partial Difference Equations G. Neil Haveny Dmitri A. Gusevz
	ftp://cs.indiana.edu/pub/techreports/TR449.ps.Z, 19960202 Square Blocking for Matrix-Multiplication y Technical Report 449 David S. Wise and Jeremy D. Frens Computer Science Department, Indiana University Bloomington, Indiana 47405 4101, USA dswise, jfrens@cs.indiana.edu January 1996
	ftp://cs.indiana.edu/pub/techreports/TR446.ps.Z, 19960202 LOW RANK OFF-DIAGONAL BLOCK PRECONDITIONERS FOR SOLVING SPARSE LINEAR SYSTEMS ON PARALLEL COMPUTERS RANDALL BRAMLEY AND VLADIMIR ME~NKOV DEPARTMENT OF COMPUTER SCIENCE INDIANA UNIVERSITY { BLOOMINGTON
	ftp://cs.indiana.edu/pub/techreports/TR451.ps.Z, 19960223 Design and Implementation of Reflective SQL (Extended Abstract) Mehmet M. Dalkilic Manoj Jain Dirk Van Gucht Anurag Mendhekary
	ftp://cs.indiana.edu/pub/techreports/TR417.ps.Z, 19960226 TECHNICAL REPORT NO. 417 Some Investigations with Laser BeamsSome Investigations with Laser Beams On An LLA RetinaOn An LLA Retina by Amitava Biswas August 1994 COMPUTER SCIENCE DEPARTMENT INDIANA UNIVERSITY Bloomington, Indiana 47405-4101 SOME INVESTIGATIONS WITH LASER BEAMS ON AN LLA RETINA Amitava
	ftp://cs.indiana.edu/pub/techreports/TR453.ps.Z, 19960304 A User's Guide for the CADYF-SPLIB Project Xiaoge Wang Randall Bramley Department of Computer Science Indiana University - Bloomington June 19, 1995
	ftp://cs.indiana.edu/pub/techreports/TR454.ps.Z, 19960304 SPLIB: A LIBRARY OF ITERATIVE METHODS FOR SPARSE LINEAR SYSTEMS RANDALL BRAMLEY AND XIAOGE WANG DEPARTMENT OF COMPUTER SCIENCE INDIANA UNIVERSITY - BLOOMINGTON December 18, 1995 1. Introduction. Sparse linear systems are the primary consumer of computer time for most scientific and engineering computer
	ftp://cs.indiana.edu/pub/techreports/TR450.ps.Z, 19960329 CURVE AND SURFACE FRAMING FOR SCIENTIFIC VISUALIZATION AND DOMAIN DEPENDENT NAVIGATION by Hui Ma Submitted to the faculty of the University Graduate School in partial fulfillment of the requirements for the degree Doctor of Philosophy in the Department of Computer Science Indiana University February 3,
	ftp://cs.indiana.edu/pub/techreports/TR456.ps.Z, 19960405 DDD-FM9001: Derivation of a Verified Microprocessor y by Bhaskar Bose Submitted to the faculty of the Graduate School in partial fulfillment of the requirements for the degree Doctor of Philosophy in the Department of Computer Science Indiana University December 1994 yResearch reported herein was
	ftp://cs.indiana.edu/pub/techreports/TR457.ps.Z, 19960405 Sequential-System Factorization by Kamlesh Rath Submitted to the faculty of the University Graduate School in partial fulfillment of the requirements for the degree Doctor of Philosophy in the Department of Computer Science Indiana University Accepted by the Graduate Faculty, Indiana University, in
	ftp://cs.indiana.edu/pub/techreports/TR455.ps.Z, 19960410 Techniques for Non-Linear Magnification Transformations T. Alan Keahey Department of Computer Science Indiana University 215 Lindley Hall Indiana University Bloomington, IN 47405 Phone: (812) 855-3609 Fax: (812) 855-4829 tkeahey@cs.indiana.edu Edward L. Robertson Department of Computer Science Indiana
	ftp://cs.indiana.edu/pub/techreports/TR458.ps.Z, 19960429 Hybrid Algorithms for Digital Halftoning and Their Application to Medical Imaging Eugene A. Sandlery, Dmitri A. Gusevz, and Gregory Y. Milman
	ftp://cs.indiana.edu/pub/techreports/TR459.ps.Z, 19960430 Viewing Text With Non-Linear Magnification: An Experimental Study T. Alan Keahey tkeahey@cs.indiana.edu Julianne Marley jmarley@cs.indiana.edu Department of Computer Science 215 Lindley Hall Indiana University Bloomington, IN 47405 Phone: (812) 855-3609 Fax: (812) 855-4829 April 24, 1996
	ftp://cs.indiana.edu/pub/techreports/TR460.ps.Z, 19960501 Non-Linear Image Magnification T. Alan Keahey tkeahey@cs.indiana.edu Edward L. Robertson edrbtsn@cs.indiana.edu Department of Computer Science Indiana University 215 Lindley Hall Bloomington, IN 47405 Phone: (812) 855-3609 Fax: (812) 855-4829 April 24, 1996
	ftp://cs.indiana.edu/pub/techreports/TR461.ps.Z, 19960506 Collective Objects: An Object-Oriented Tool for Collective Operations in Distributed Parallel Computation Katarzyna Keahey Dennis Gannon fkksiazek, gannon g@cs.indiana.edu Indiana University 215 Lindley Hall Bloomington, IN 47401 May 6, 1996
	ftp://cs.indiana.edu/pub/leake/cbr_tutorial.ps.Z, 19960507 A Tutorial Introduction to Case-Based Reasoning Janet L. Kolodner and David B. Leake To appear in Leake, D., ed., 1996, Case-Based Reasoning: Experiences, Lessons, and Future Directions. Menlo Park: AAAI Press. In press. 1 Definition and Illustrations Case-based reasoning means reasoning based on
	ftp://cs.indiana.edu/pub/leake/p-95-14.ps.Z, 19960527 INTROSPECTIVE LEARNING FOR CASE-BASED PLANNING by Susan Fox Submitted to the faculty of the Graduate School in partial fulfillment of the requirements for the degree Doctor of Philosophy in the Department of Computer Science, Indiana University October, 1995 Accepted by the Graduate Faculty, Indiana
	ftp://cs.indiana.edu/pub/techreports/TR462.ps.Z, 19960528 INTROSPECTIVE LEARNING FOR CASE-BASED PLANNING by Susan Fox Submitted to the faculty of the Graduate School in partial fulfillment of the requirements for the degree Doctor of Philosophy in the Department of Computer Science, Indiana University October, 1995 Accepted by the Graduate Faculty, Indiana
	ftp://cs.indiana.edu/pub/techreports/TR452.ps.Z, 19960603 Providing Better Support for Quantified Queries Sudhir G. Rao Antonio Badia Dirk Van Gucht
	ftp://cs.indiana.edu/pub/techreports/TR437.ps.Z, 19960605 Static and Dynamic Partitioning of Pointers as Links and Threads Technical Report 437 David S. Wise and Joshua Walgenbach Computer Science Department, Indiana University Bloomington, Indiana 47405{4101 USA dswise,jwalgenb@cs.indiana.edu
	ftp://cs.indiana.edu/pub/leake/p-96-04.ps.Z, 19960616 Proceedings of the Thirteenth National Conference on Artificial Intelligence, AAAI Press, Menlo Park, CA, 1996. In press. Acquiring Case Adaptation Knowledge: A Hybrid Approach David B. Leake, Andrew Kinley, and David Wilson Computer Science Department Lindley Hall 215, Indiana University Bloomington,
	ftp://cs.indiana.edu/pub/leake/p-96-03.ps.Z, 19960616 Proceedings of the Eighteenth Annual Conference of the Cognitive Science Society, 1996 Linking Adaptation and Similarity Learning David B. Leake, Andrew Kinley, and David Wilson Computer Science Department Lindley Hall 215, Indiana University Bloomington, IN 47405 fleake,akinley,davwilsg@cs.indiana.edu
	ftp://cs.indiana.edu/pub/leake/p-96-02.ps.Z, 19960616 Proceedings of the Third International Workshop on Multistrategy Learning, AAAI Press, Menlo Park, CA, 1996. Multistrategy Learning to Apply Cases for Case-Based Reasoning David B. Leake, Andrew Kinley, and David Wilson Computer Science Department Lindley Hall 215, Indiana University Bloomington, IN
	ftp://cs.indiana.edu/pub/leake/p-96-01.ps.Z, 19960709 To appear in Leake, D., ed., 1996, Case-Based Reasoning: Experiences, Lessons, and Future Directions. Menlo Park: AAAI Press. In press. Chapter 1 CBR in Context: The Present and Future David B. Leake 1 Reasoning from Remindings A father taking his two-year-old son on a walk reaches an intersection and
	ftp://cs.indiana.edu/pub/techreports/TR463.ps.Z, 19960913 Reshaping Access Patterns for Improving Data Locality Aart J.C. Bik Computer Science Department, Indiana University Lindley Hall 215, Bloomington, Indiana 47405-4101, USA ajcbik@cs.indiana.edu Peter M.W. Knijnenburg Computer Science Department, Leiden University Niels Bohrweg 1, 2333 CA Leiden, the
	ftp://cs.indiana.edu/pub/techreports/TR464.ps.Z, 19960916 PUTTING IT IN CONTEXT: A SYNTACTIC THEORY OF INCREMENTAL PROGRAM CONSTRUCTION Shinn-Der Lee Submitted to the faculty of the University Graduate School in partial fulfillment of the requirements for the degree Doctor of Philosophy in the Department of Computer Science Indiana University June 1996 This
	ftp://cs.indiana.edu/pub/techreports/TR465.ps.Z, 19960917 A Strategy for Exploiting Implicit Loop Parallelism in Java Programs Aart J.C. Bik and Dennis B. Gannon Computer Science Department, Indiana University Lindley Hall 215, Bloomington, Indiana 47405-4101, USA ajcbik@cs.indiana.edu
	ftp://cs.indiana.edu/pub/techreports/TR467.ps.Z, 19960923 A Model of Interaction for Parallel Objects in A Heterogeneous Distributed Environment Katarzyna Keahey keahey@cs.indiana.edu Indiana University 215 Lindley Hall Bloomington, IN 47401 September 23, 1996
	ftp://cs.indiana.edu/pub/techreports/TR466.ps.Z, 19960923 Experiments in Path Optimization via Pheromone Trails by Simulated Robots Jason L. Almetery September 17, 1996
	ftp://cs.indiana.edu/pub/techreports/TR447.ps.Z, 19960927 Estimating from Outputs of Oversampled Delta-Sigma Modulation Eugene A. Sandlery, Dmitri A. Gusevz, Gregory Y. Milmanx, and Mikhail L. Podolsky{
	ftp://cs.indiana.edu/pub/techreports/TR469.ps.Z, 19961001 Compiling: A High-level Introduction Using Scheme* Christopher T. Haynes Computer Science Department Indiana University Bloomington, IN 47405 chaynes@indiana.edu
	ftp://cs.indiana.edu/pub/techreports/TR468.ps.Z, 19961002 Behavioral Equivalence in the Polymorphic Pi-Calculus Benjamin C. Pierce Computer Science Department Indiana University Lindley Hall 215 Bloomington, IN 47405, USA pierce@cs.indiana.edu Davide Sangiorgi INRIA-Sophia Antipolis 2004 Rue des Lucioles B.P. 93 06902 Sophia Antipolis, France
	ftp://cs.indiana.edu/pub/techreports/TR470.ps.Z, 19961105 i SUPPORT FOR DATA MANAGEMENT IN OBJECT-ORIENTED DATA-PARALLEL SCIENTIFIC AND ENGINEERING SIMULATIONS Jacob K. Gotwals Submitted to the faculty of the University Graduate School in partial fulfillment of the requirements for the degree Doctor of Philosophy in the Department of Computer Science Indiana
	ftp://cs.indiana.edu/pub/leake/p-96-05.ps.Z, 19961105 Cognition as Case-Based Reasoning David B. Leake Computer Science Department, Indiana University Lindley Hall 215, Bloomington, IN 47405 leake@cs.indiana.edu September 27, 1996 To appear in Bechtel, W., and Graham, G., eds, The Blackwell Companion to Cognitive Science. Introduction In some views of
	ftp://cs.indiana.edu/pub/techreports/TR471.ps.Z, 19961212 A NEW MODEL FOR SOLVING THE DATA DISTRIBUTION PROBLEM Thomas J. Loos Submitted to the faculty of the University Graduate School in partial fulfillment of the requirements for the degree Doctor of Philosophy in the Department of Computer Science Indiana University December 1996 Accepted by the Graduate
	ftp://cs.indiana.edu/pub/techreports/TR473.ps.Z, 19970114 Automatically Exploiting Implicit Parallelism in Multi-way Recursive Methods in Java Aart J.C. Bik and Dennis B. Gannon Lindley Hall 215, Computer Science Dept., Indiana University Bloomington, Indiana 47405-4101, USA ajcbik@cs.indiana.edu
	ftp://cs.indiana.edu/pub/techreports/TR474.ps.Z, 19970121 Cristobal Baray cbaray@cs.indiana.edu Robotics Lab Computer Science - Indiana University On evolving communication in multiple agent systems
	ftp://cs.indiana.edu/pub/techreports/TR475.ps.Z, 19970211 PARDIS: A Parallel Approach to CORBA Katarzyna Keahey Dennis Gannon fkksiazek, gannon g@cs.indiana.edu Dept. of Computer Science Indiana University 215 Lindley Hall Bloomington, IN 47405 February 10, 1997
	ftp://cs.indiana.edu/pub/techreports/TR401.ps.Z, 19970220 Research Demonstration of a Hardware Reference-Counting Heap y Technical Report 401, Revised David S. Wisez, Brian Heckz, Caleb Hessz, Willie Huntz, and Eric Ostzx Indiana University Bloomington, Indiana 47405-4101 USA dswise@iuvax.cs.indiana.edu February 1997
	ftp://cs.indiana.edu/pub/techreports/TR476.ps.Z, 19970319 Pict: A Programming Language Based on the Pi-Calculus Benjamin C. Pierce David N. Turner Indiana University CSCI Technical Report #476 March 19, 1997
	ftp://cs.indiana.edu/pub/techreports/TR478.ps.Z, 19970331 Nonlinear Magni cation Fields T. Alan Keahey and Edward L. Robertson Department of Computer Science Indiana University 215 Lindley Hall Bloomington, IN 47405 ftkeahey, edrbtsng@cs.indiana.edu
	ftp://cs.indiana.edu/pub/techreports/TR480.ps.Z, 19970502 Technical Report No. 480 CE: The Classifier{Estimator Framework for Data mining Mehmet M. Dalkilic Edward L. Robertson Dirk Van Gucht Computer Science, Indiana University, Bloomington, IN 47405, USA. Email: fdalkilic, edrbtsn, vguchtg@cs.indiana.edu
	ftp://cs.indiana.edu/pub/techreports/TR479.ps.Z, 19970505 Hanson and Wernert \| IUCS Technical Report 479 \| March 1997 Constrained 3D Navigation with 2D Controllers Andrew J. Hanson Eric Wernert Computer Science Department Indiana University Bloomington, IN 47405 USA
	ftp://cs.indiana.edu/pub/techreports/TR483.ps.Z, 19970506 A Note on Native Level 1 BLAS in Java Aart J.C. Bik and Dennis B. Gannon Lindley Hall 215, Computer Science Department, Indiana University Bloomington, Indiana 47405-4101, USA ajcbik@cs.indiana.edu
	ftp://cs.indiana.edu/pub/techreports/TR484.ps.Z, 19970611 Fast and Effective Procedure Inlining Indiana University Computer Science Department Technical Report No. 484 Oscar Waddell and R. Kent Dybvig Indiana University Computer Science Department Lindley Hall 215 Bloomington, Indiana 47405 fowaddell,dybg@cs.indiana.edu, 812-855-3608 June 11, 1997
	ftp://cs.indiana.edu/pub/techreports/TR486.ps.Z, 19970703 THE ACCURACY OF FLOATING POINT SUMMATIONS FOR CG-LIKE METHODS Etsuko Mizukami Technical Report 486 Department of Computer Science Indiana University - Bloomington July 1997 Contents 1 Statement of problem 1 2 Basic Ideas 4 2.1 Summary of Previous Work . . . . . . . . . . . . . . . . . . . . . . . . . .
	ftp://cs.indiana.edu/pub/techreports/TR485.ps.Z, 19970707 Technical Report No. 485 A Tabular Language for System Design by Steven D. Johnson June 1997 To appear in the proceedings of the Fourth NASA LaRC Formal Methods Workshop (Lfm'97), Hampton, Virginia, September 10{12, 1997 INDIANENSISUNIVERSITATISSIGILLUM ET VERITAS LUX MDCCCXX Computer Science Department
	ftp://cs.indiana.edu/pub/techreports/TR481.ps.Z, 19970718 Leader Election in Distributed Systems with Crash Failures Scott D. Stoller Dept. of Computer Science, Indiana University, Bloomington, IN 47405, USA 17 July 1997
	ftp://cs.indiana.edu/pub/techreports/TR482.ps.Z, 19970718 Detecting Global Predicates in Distributed Systems with Clocks Scott D. Stoller Dept. of Computer Science, Indiana University, Bloomington, IN 47405, USA 29 June 1997
	ftp://cs.indiana.edu/pub/techreports/TR487.ps.Z, 19970725 javar { a prototype Java restructuring compiler Aart J.C. Bik and Dennis B. Gannon Computer Science Dept., Indiana University Lindley Hall 215, Bloomington, Indiana 47405-4101, USA ajcbik@cs.indiana.edu
	ftp://cs.indiana.edu/pub/techreports/TR488.ps.Z, 19970731 Eliminating Dead Computations on Recursive Data Yanhong A. Liu July 1997
	ftp://cs.indiana.edu/pub/techreports/TR489.ps.Z, 19970731 Contents 1 Introduction 3 2 Bytecode Analysis 4 2.1 The Java Virtual Machine . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.2 Flow Graphs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.3 Dominators and Natural Loops . . . . . . . . . . . . . .
	ftp://cs.indiana.edu/pub/techreports/TR477.ps.Z, 19970731 Loop Optimization for Aggregate Array Computations Yanhong A. Liu and Scott D. Stoller March 1997
	ftp://cs.indiana.edu/pub/leake/p-97-01.ps.Z, 19970813 A Case Study of Case-Based CBR David B. Leake, Andrew Kinley, and David Wilson Computer Science Department Lindley Hall 215, Indiana University Bloomington, IN 47405, U.S.A. fleake,akinley,davwilsg@cs.indiana.edu
	ftp://cs.indiana.edu/pub/techreports/TR472.ps.Z, 19970903 Proof without Words: A generalization from Pythagoras1 1991 Mathematics Subject Classi cation: 51M25 primary; 03F20 secondary. Theorem: The sum of the areas of two squares, whose sides are the lengths of the two diagonals of a parallelogram, is equal to the sum of the areas of four squares, whose sides
	ftp://cs.indiana.edu/pub/techreports/TR491.ps.Z, 19970908 Draft copyright c 7/22/1994 by D. Friedman, M. Wand, and C. Haynes. Type Checking and Inference Note: this is a draft of a chapter destined for the second edition of Essentials of Programming Languages, by Friedman, Wand, and Haynes. The data that programs manipulate come in many different types:
	ftp://cs.indiana.edu/pub/techreports/TR490.ps.Z, 19970909 Dynamo: A Staged Compiler Architecture for Dynamic Program Optimization Mark Leone and R. Kent Dybvig Indiana University Computer Science Department Technical Report #490 September 1997 Project Summary Optimizing code at run time is appealing because run-time optimizations can make use of values and
	ftp://cs.indiana.edu/pub/leake/p-97-03.ps.Z, 19970914 Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, Morgan Kaufmann, San Francisco, 1997. Learning to Integrate Multiple Knowledge Sources for Case-Based Reasoning David B. Leake, Andrew Kinley, and David Wilson Computer Science Department Lindley Hall 215, Indiana
	ftp://cs.indiana.edu/pub/leake/p-97-02.ps.Z, 19970914 Proceedings of the Fourteenth National Conference on Artificial Intelligence, AAAI Press, Menlo Park, CA, 1997. Case-Based Similarity Assessment: Estimating Adaptability from Experience David B. Leake, Andrew Kinley, and David Wilson Computer Science Department Lindley Hall 215, Indiana University
	ftp://cs.indiana.edu/pub/techreports/TR494.ps.Z, 19971021 Technical Report No. 494 Using Cyclic Genetic Algorithms to Reconfigure Hardware Controllers for Robots by Steven D. Johnson Gary B. Parker Ingo Cyliax David Braun October 1997 An abbreviated (poster") version of this report was presented at the 1997 ACM/SIGDA Fifth International Symposium on Field
	ftp://cs.indiana.edu/pub/techreports/TR496.ps.Z, 19971107 Technical Report No. 496 Arriving at FPGA based Hardware Unix-Encription using Iterated Codesign Methods by Ingo Cyliax Steven D. Johnson Bhaskar Bose, Derivation Systems, Inc., Carlsbad CA October 1997 INDIANENSISUNIVERSITATISSIGILLUM ET VERITAS LUX MDCCCXX Computer Science Department Indiana
	ftp://cs.indiana.edu/pub/techreports/TR323.ps.Z, 19971111 Technical Report No. 323 DDD: A System for Mechanized Digital Design Derivation by Steven D. Johnson Bhaskar Bose December 1990 Revised March 1997 Computer Science Department Indiana University Bloomington, Indiana 47405-4101 Copyright c Steven D. Johnson all rights reserved DDD { A System for
	ftp://cs.indiana.edu/pub/techreports/TR493.ps.Z, 19971113 Local Type Inference Benjamin C. Pierce Computer Science Department Indiana University Lindley Hall 215 Bloomington, IN 47405, USA pierce@cs.indiana.edu David N. Turner An Teallach Limited Technology Transfer Center King's Buildings Edinburgh, EH9 3JL, UK dnt@an-teallach.com Indiana University CSCI
	ftp://cs.indiana.edu/pub/techreports/TR495.ps.Z, 19971113 Local Type Argument Synthesis with Bounded Quantification Benjamin C. Pierce Computer Science Department Indiana University Lindley Hall 215 Bloomington, IN 47405, USA pierce@cs.indiana.edu David N. Turner An Teallach Limited Technology Transfer Center King's Buildings Edinburgh, EH9 3JL, UK
	ftp://cs.indiana.edu/pub/techreports/TR492.ps.Z, 19971113 Bounded Quantification with Bottom Benjamin C. Pierce Computer Science Department Indiana University Lindley Hall 215 Bloomington, IN 47405, USA pierce@cs.indiana.edu Indiana University CSCI Technical Report #492 November 12, 1997
	ftp://cs.indiana.edu/pub/techreports/TR497.ps.Z, 19971125 Multi-Stage Specialization with Relative Binding Times Mark Leone Indiana University Peter Lee Carnegie Mellon University Technical Report #497 Computer Science Department, Indiana University November 1997
	ftp://cs.indiana.edu/pub/techreports/TR498.ps.Z, 19971215 Dead Code Elimination Using Program-Based Regular Tree Grammars Yanhong A. Liu and Scott D. Stoller November 1997
	ftp://cs.indiana.edu/pub/techreports/TR499.ps.Z, 19971216 Experience with an Analytic Approach to Teaching Programming Languages Christopher T. Haynes Computer Science Department Indiana University Bloomington, IN 47405 chaynes@indiana.edu
	ftp://cs.indiana.edu/pub/techreports/TR501.ps.Z, 19971216 Exploiting implicit loop parallelism using multiple multithreaded servers in Java Fabian Breg Aart Bik Dennis Gannon December 16, 1997 1 Introduction Since its introduction in the late eighties, the global Internet has grown from a wide area information repository to a large metacomputer consisting of a
	ftp://cs.indiana.edu/pub/techreports/TR500.ps.Z, 19971216 Compiler support for an RMI implementation using NexusJava Fabian Breg Dennis Gannon December 16, 1997 1 Introduction Java is a portable, object oriented programming language. Its portability is obtained by compiling Java source code into bytecode which can be directly executed by a Java Virtual
	ftp://cs.indiana.edu/pub/leake/p-98-01.ps.Z, 19980116 Combining Reasoning Modes, Levels, and Styles through Internal CBR David B. Leake and Andrew Kinley Computer Science Department Indiana University, Bloomington, IN 47405 leake@cs.indiana.edu, akinley@cs.indiana.edu