Browse

ftp://reports.adm.cs.cmu.edu (101)

	ftp://reports.adm.cs.cmu.edu/usr0/anon/1992/CMU-CS-92-113.ps, 19920421 Survey on User Interface Programming Brad A. Myers and Mary Beth Rosson February 1992 CMU-CS-92-113 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 To appear in Proceedings SIGCHI'92: Human Factors in Computing Systems. Monterrey, CA, May 3-7, 1992. Also reprinted as IBM
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1992/CMU-CS-92-123.ps, 19920421 A Modular Implementation of Partial Evaluation Christopher Colby Peter Lee March 1992 CMU-CS-92-123 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1992/CMU-CS-92-120.ps, 19920421 Using Pragmatic and Semantic Knowledge to Correct Parsing of Spoken Language Utterances Sheryl R. Young, Michael Matessa March 17, 1992 CMU-CS-92-120 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213-3890 Published in Eurospeech '91, European Conference on Speech Communication &
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1992/CMU-CS-92-122.ps, 19920421 Polymorphic Type Assignment and CPS Conversion Robert Harper Mark Lillibridge April, 1992 CMU{CS{92{122 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 To appear, ACM SIGPLAN Workshop on Continuations, San Francisco, June, 1992 This research was sponsored by the Defense
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1992/CMU-CS-92-118.ps, 19920421 Precision Imaging and Control for Machine Vision Research at Carnegie Mellon University Reg G. Willson and Steven A. Shafer March 1992 CMU-CS-92-118 School of Computer Science Carnegie Mellon University Pittsburgh, Pennsylvania 15213 Appeared in the Proceedings of the SPIE Conference on High Resolution
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1992/CMU-CS-92-100.ps, 19920421 Timed Models for Protocol Security Nevin Heintze and J. D. Tygar January, 1992 CMU-CS-92-100 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 This research was partially sponsored by the Avionics Laboratory, Wright Research and Development Center, Aeronautical Systems Division
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1992/CMU-CS-92-107.ps, 19920421 Integrated Natural Language Generation Systems Mark Kantrowitz Joseph Bates April 1992 CMU-CS-92-107 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 To appear in Aspects of Automated Natural Language Generation, R. Dale, E. Hovy, D. R osner and O. Stock (Eds.), LNAI Volume
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1992/CMU-CS-92-114.ps, 19920421 State of the Art in User Interface Software Tools Brad A. Myers February 1992 CMU-CS-92-114 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 This will appear as a chapter in Advances in Human-Computer Interaction, Volume 4, H. Rex Hartson and Deborah Hix, editors. Norwood, NJ:
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1992/CMU-CS-92-104A.ps, 19920421 Preface In principle, the stream of images produced by a moving camera allows the recovery of both the shape of the objects in the field of view, and the motion of the camera. Traditional algorithms recover depth by triangulation, and compute shape by taking differences between depth values. This
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1992/CMU-CS-92-112.ps, 19920421 The SPHINX-II Speech Recognition System: An Overview Xuedong Huang, Fileno Alleva, Hsiao-Wuen Hon, Mei-Yuh Hwang, Ronald Rosenfeld January 15, 1992 CMU-CS-92-112 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1992/CMU-CS-92-103.ps, 19920421 Nesl: A Nested Data-Parallel Language Guy E. Blelloch January 1992 CMU-CS-92-103 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 This research was sponsored by the Avionics Laboratory, Wright Research and Development Center, Aeronautical Systems Division (AFSC), U.S. Air
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1992/CMU-CS-92-104C.ps, 19920421 1 60 120 150 Figure 4.1: Some frames in the sequence. The whole sequence is 150 frames. computed true camera yaw (degrees) frame number -10.00 -5.00 0.00 5.00 10.00 50 100 150 computed true camera roll (degrees) frame number -5.00 0.00 5.00 50 100 150 computed true camera pitch (degrees) frame number
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1992/CMU-CS-92-105.ps, 19920421 On the Undecidability of Partial Polymorphic Type Reconstruction Frank Pfenning January 1992 CMU-CS-92-105 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1992/CMU-CS-92-101.ps, 19920421 1 Why Computer Go Is Hard In contrast to chess programs, the best go programs are far weaker than typical club players. While more effort has gone into computer chess, enough effort has gone into programming go that it is safe to say that computer go is a considerably harder problem. This is the same as
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1992/CMU-CS-92-119.ps, 19920421 MINDS-II Feedback Architecture: Detection and Correction of Speech Misrecognitions Sheryl R. Young, Michael Matessa March 17, 1992 CMU-CS-92-119 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213-3890
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1992/CMU-CS-92-101A.ps, 19920421 The Golem Go Program Herbert D. Enderton December 1991 CMU-CS-92-101 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1992/CMU-CS-92-104B.ps, 19920421 Shape and Motion from Image Streams: a Factorization Method Full Report on the Orthographic Case Carlo Tomasi Takeo Kanade March 1992 Cornell TR 92-1270 and Carnegie Mellon CMU-CS-92-104 This research was sponsored by the Avionics Laboratory, Wright Research and Development Center, Aeronautical Systems
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1992/CMU-CS-92-138.ps, 19920511 Memory Approaches To Reinforcement Learning In Non-Markovian Domains Long-Ji Lin Tom M. Mitchell May 1992 CMU-CS-92-138 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1992/CMU-CS-92-135.ps, 19920511 Thoughts on a Larch/ML and a New Application for LP Jeannette M. Wing, Eugene Rollins, and Amy Moormann Zaremski May 7, 1992 CMU-CS-92-135 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 To appear in The First International Workshop on Larch, July 1992.
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1992/CMU-CS-92-132A.ps, 19920521 Extensions to Standard ML to Support Transactions Jeannette M. Wing, Manuel Faehndrich, J. Gregory Morrisett, Scott Nettles 13 April 1992 CMU-CS-92-132 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213-3890 This paper will appear in the Proceedings of the ACM SIGPLAN Workshop on
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1992/CMU-CS-92-132.ps, 19920602 Extensions to Standard ML to Support Transactions Jeannette M. Wing, Manuel Faehndrich, J. Gregory Morrisett, and Scott Nettles School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1992/CMU-CS-92-124.ps, 19920602 DYNAMIC: A new role for training problems in EBL 1 M. Alicia P erez and Oren Etzioni 2 March 1992 CMU-CS-92-124 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 To appear in Machine Learning: Proceedings of the Ninth InternationalConference (ML92), D. Sleeman and P. Edwards
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1992/CMU-CS-92-109.ps, 19920604 Programming with Inductive and Co-Inductive Types John Greiner January 27, 1992 CMU-CS-92-109 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1992/CMU-CS-92-119A.ps, 19920616 MINDS-II Feedback Architecture: Detection and Correction of Speech Misrecognitions Sheryl R. Young and Michael Matessa School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 sy@cs.cmu.edu Functions: Communication & Perception Knowledge: Language Foundation: Cognitive Traditional
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1992/CMU-CS-92-120A.ps, 19920616 USING PRAGMATIC AND SEMANTIC KNOWLEDGE TO CORRECT PARSING OF SPOKEN LANGUAGE UTTERANCES Sheryl Young and Michael Matessa School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 1.1. SOUL OVERVIEW ABSTRACT SOUL is a general purpose, in-depth knowledge based reasonThis paper describes
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1991/CMU-CS-91-100.ps, 19920618 The Recurrent Cascade-Correlation Architecture Scott E. Fahlman May 17, 1991 CMU-CS-91-100 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1991/CMU-CS-91-105.ps, 19920618 Shape and Motion from Image Streams: a Factorization Method 2. Point Features in 3D Motion Carlo Tomasi Takeo Kanade January 1991 CMU-CS-91-105 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 This research was sponsored by the Avionics Laboratory, Wright Research and
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1991/CMU-CS-91-122.ps, 19920618 A Computational Model of Driving for Autonomous Vehicles Douglas A. Reece and Steven Shafer April 1991 CMU-CS-91-122 School of Computer Science Carnegie Mellon University Pittsburgh, Pennsylvania 15213
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1991/CMU-CS-91-123.ps, 19920619 Differential Manipulation Michael Gleichery Andrew Witkin School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213-3890 USA
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1991/CMU-CS-91-125.ps, 19920619 Creating and Manipulating Constrained Models Michael Gleicher Andrew Witkin January 8, 1991 CMU-CS-91-125 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1991/CMU-CS-91-118.ps, 19920619 Size and Access Inference for Data-Parallel Programs Siddhartha Chatterjee Guy E. Blelloch Allan L. Fisher March 1991 CMU-CS-91-118 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 To appear in ACM SIGPLAN'91 Conference on Programming Language Design and Implementation,
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1991/CMU-CS-91-124.ps, 19920622 Shared-Distribution Hidden Markov Models for Speech Recognition Mei-Yuh Hwang Xuedong Huang April 28, 1991 CMU-CS-91-124 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1991/CMU-CS-91-123A.ps, 19920622 Differential Manipulation Michael Gleicher Andrew Witkin March 29, 1991 CMU-CS-91-123 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 To appear in Proceedings Graphics Interface '91, Calgary, Alberta, Canada, June 3 7, 1991. This research was sponsored in part by Apple
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1991/CMU-CS-91-112.ps, 19920625 A Formal Specification of a Visual Language Editor Jeannette M. Wing and Amy Moormann Zaremski February 25, 1991 CMU-CS-91-112 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Submitted to Sixth International Workshop on Software Specification and Design.
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1992/CMU-CS-92-121.ps, 19920625 Stable and Sequential Functions on Scott domains Stephen Brookes Shai Geva June 1992 CMU-CS-92-121 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 This research was supported in part by National Science Foundation grant CCR-9006064. The views and conclusions contained in this
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1991/CMU-CS-91-113.ps, 19920625 Unintrusive Ways to Integrate Formal Specifications in Practice Jeannette M. Wing and Amy Moormann Zaremski February 25, 1991 CMU-CS-91-113 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Submitted to VDM '91.
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1991/CMU-CS-91-111.ps, 19920625 A Larch Specification of the Mir o Editor Amy Moormann Zaremski February 25, 1991 CMU-CS-91-111 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1992/CMU-CS-92-141.ps, 19920625 Recent developments in the NL-Soar garden path theory Richard L. Lewis May 21, 1992 CMU-CS-92-141 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1991/CMU-CS-91-110.ps, 19920702 A Decision Procedure for a Class of Set Constraints Nevin Heintze1 and Joxan Jaffar2 February 14, 1991 CMU-CS-91-110 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 A preliminary version of this paper appears in the Proceedings, 5th IEEE Symposium on LICS. 1The first author is
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1992/CMU-CS-92-155.ps, 19920728 A Portable Multiprocessor Interface for Standard ML of New Jersey J. Gregory Morrisett1 Andrew Tolmach2 Carnegie Mellon University Princeton University jgmorris@cs.cmu.edu apt@cs.princeton.edu June 1992 CMU-CS-92-155 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1992/CMU-CS-92-150.ps, 19920728 PRODIGY4.0: The Manual and Tutorial 1 The PRODIGY Research Group, under the supervision of Jaime G. Carbonell: Jim Blythe, Oren Etzioni, Yolanda Gil, Robert Joseph, Dan Kahn, Craig Knoblock, Steven Minton, Alicia P erez, Scott Reilly, Manuela Veloso, and Xuemei Wang. 2 June 1992 CMU-CS-92-150 School of
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1992/CMU-CS-92-151.ps, 19920728 Expert-System Development in Soar: A Tutorial Erik Altmann and Gregg R. Yost June 1992 CMU-CS-92-151 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213-3890 * Digital Equipment Corporation 111 Locke Drive (LM02/K11) Marlboro, MA 01752
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1992/CMU-CS-92-152.ps, 19920903 On Statman's Finite Completeness Theorem Richard Statman Gilles Dowek June 1, 1992 CMU-CS-92-152 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1992/CMU-CS-92-106R.ps, 19921104 Nested Dissection: A survey and comparison of various nested dissection algorithms Manpreet S. Khaira Gary L. Miller Thomas J. Sheffler January 1992 CMU-CS-92-106R School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1992/CMU-CS-92-117.ps, 19921201 Analytica \| A Theorem Prover for Mathematica Edmund Clarke Xudong Zhao September 1992 CMU-CS-92-117 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 This research was sponsored in part by the Avionics Laboratory, Wright Research and Development Center, Aeronautical Systems
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1991/CMU-CS-91-117.ps, 19930127 Natural Language Comprehension in Soar: Spring 1991 Jill Fain Lehman, Richard L. Lewis, and Allen Newell March 29, 1991 CMU-CS-91-117 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213-3890
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1992/CMU-CS-92-147.ps, 19930205 Analytica \| An Experiment in Combining Theorem Proving and Symbolic Computation Edmund Clarke Xudong Zhao September 1992 CMU-CS-92-147 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 This research was sponsored in part by the Avionics Laboratory, Wright Research and
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1993/CMU-CS-93-116.ps, 19930312 Signed Vector Timestamps: A Secure Protocol for Partial Order Time Sean W. Smith J.D. Tygar October 1991; version of February 1993 CMU-CS-93-116 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1993/CMU-CS-93-115.ps, 19930420 Class Notes : Programming Parallel Algorithms CS 15-840B (Fall 1992) Guy E. Blelloch Jonathan C. Hardwick February 1993 CMU-CS-93-115 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1993/CMU-CS-93-107.ps.Z, 19930508 Cryptography: It's Not Just For Electronic Mail Anymore J. D. Tygar Bennet Yee March 1, 1993 CMU-CS-93-107 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Sponsored by the Avionics Laboratory, Wright Research and Development Center, Aeronautical Systems Division (AFSC), U.S.
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1993/CMU-CS-93-113.ps, 19930520 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213-3890 A Status Report on Research in Transparent Informed Prefetching R. Hugo Patterson*, Garth A. Gibson, M. Satyanarayanan February 1993 CMU-CS-93-113 Appeared in ACM Operating Systems Review, V 27(2), April, 1993, pp. 21-34.
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1993/CMU-CS-93-109.ps, 19930623 Efficient Compilation of Array Statements for Private Memory Multicomputers James M. Stichnoth February, 1993 CMU-CS-93-109 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1993/CMU-CS-93-112.ps, 19930928 Implementation of a Portable Nested Data-Parallel Language Guy E. Blelloch Siddhartha Chatterjee1 Jonathan C. Hardwick Jay Sipelstein Marco Zagha February 1993 CMU-CS-93-112 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 An earlier version of this paper appeared in
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1993/CMU-CS-93-114.ps, 19930928 Cvl: A C Vector Library Manual Version 2 Guy E. Blelloch Siddhartha Chatterjee1 Jonathan C. Hardwick Margaret Reid-Miller Jay Sipelstein Marco Zagha February 1993 CMU-CS-93-114 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1994/CMU-CS-94-102.ps, 19940125 1 School of Computer Science Carnegie Mellon University Pittsburgh, Pennsylvania 15213
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1994/CMU-CS-94-104.ps, 19940125 Advanced Languages for Systems Software The Fox Project in 1994 Robert Harper and Peter Lee Carnegie Mellon University Pittsburgh, PA 15213 January 1994 CMU{CS{94{104 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Also published as Fox Memorandum CMU-CS-FOX-94-01 This
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1994/CMU-CS-94-116.ps, 19940301 Incremental Recompilation for Standard ML of New Jersey Robert Harper Frank Pfenning Peter Lee Eugene Rollins February 1994 CMU-CS-94-116 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Also published as Fox Memorandum CMU-CS-FOX-94-02
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1994/CMU-CS-94-101.ps, 19940316 List Ranking and List Scan on the CRAY C-90 Margaret Reid-Miller Guy E. Blelloch March 15, 1994 CMU-CS-94-101 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 This research was sponsored in part by the Wright Laboratory, Aeronautical Systems Center, Air Force Materiel Command,
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1994/CMU-CS-94-109.ps, 19940324 Pursuit: Visual Programming in a Visual Domain Francesmary Modugno Brad A. Myers January 1994 CMU-CS-94-109 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1994/CMU-CS-94-114.ps, 19940324 Another Look at LTL Model Checking E. Clarke, O. Grumberg and K. Hamaguchi February 23, 1994 CMU-CS-94-114 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1994/CMU-CS-94-115.ps, 19940324 Formal Connectors Robert Allen David Garlan March, 1994 CMU-CS-94-115 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 This paper combines and extends work published as Beyond Definition/Use: Architectural Interconnection, Proc. Workshop on Interface Definition Languages,
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1994/CMU-CS-94-105.ps, 19940427 Symbolic Debugging of Globally Optimized Code: Data Value Problems and Their Solutions Ali-Reza Adl-Tabatabai Thomas Gross January 1994 CMU-CS-94-105 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 This research was sponsored in part by the Advanced Research Projects
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1994/CMU-CS-94-108.ps, 19940427 A Compile Time Model for Composing Parallel Programs Susan Hinrichs April, 1994 CMU-CS-94-108 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1994/CMU-CS-94-106.ps, 19940427 Communication and Memory Requirements as the Basis for Mapping Task and Data Parallel Programs Jaspal Subhlok David R. O'Hallaron Thomas Gross Peter A. Dinda Jon Webb January 1994 CMU-CS-94-106 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1994/CMU-CS-94-110.ps.Z, 19940427 Refinement Types for ML Tim Freeman March 17, 1994 CMU-CS-94-110 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy. Thesis Committee: Frank Pfenning, Chair Robert Harper Peter Lee David
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1994/CMU-CS-94-103.ps, 19940427 Combining symbolic computation and theorem proving: some problems of Ramanujan Edmund Clarke Xudong Zhao January 1994 CMU-CS-94-103 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1994/CMU-CS-94-100.ps, 19940427 Large Granularity Cache Coherence for Intermittent Connectivity L. Mummert M. Satyanarayanan April 1994 CMU-CS-94-100 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 To appear in the Proceedings of the 1994 Summer USENIX Conference, June 8-10 1994, Boston MA
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1992/CMU-CS-92-133R.ps, 19940512 Type Evolution and Instance Adaptation Stewart M. Clamen June 1992 CMU-CS-92-133Ry School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213-3891
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1994/CMU-CS-94-107A.ps, 19940620 Procedure Calls Are the Assembly Language of Software Interconnection: Connectors Deserve First-Class Status Mary Shaw* January 1994 CMU-CS-94-107 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213-3890 Presented at Workshop on Studies of Software Design, May 1993. To be
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1994/CMU-CS-94-107.ps.Z, 19940627 Procedure Calls Are the Assembly Language of Software Interconnection: Connectors Deserve First-Class Status Mary Shaw1 January 1994 CMU-CS-94-107 CMU/SEI-94-TR-2 ESC-TR-94-002 School of Computer Science and Software Engineering Institute Carnegie Mellon University Pittsburgh PA 15213
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1994/CMU-CS-94-106R.ps, 19940829 Communication and Memory Requirements as the Basis for Mapping Task and Data Parallel Programs Jaspal Subhlok David R. O'Hallaron Thomas Gross Peter A. Dinda Jon Webb August 1994 CMU-CS-94-106 R School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Appears in the Proceedings of
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1994/CMU-CS-94-112.ps, 19940927 Task Parallel Programming in Fx Jaspal Subhlok, David R. O'Hallaron and Thomas Gross August 1994 CMU-CS-94-112 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1992/CMU-CS-92-142.ps, 19941028 Integrating Reactivity, Goals, and Emotion in a Broad Agent Joseph Bates A. Bryan Loyall W. Scott Reilly May 1992 CMU-CS-92-142 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 To appear in the Proceedings of the Fourteenth Annual Conference of the Cognitive Science Society,
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1992/CMU-CS-92-143.ps, 19941028 Building Emotional Agents W. Scott Reilly Joseph Bates May 1992 CMU-CS-92-143 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1995/CMU-CS-95-103.ps.Z, 19950118 Stable Function Approximation in Dynamic Programming Geoffrey J. Gordon January 1995 CMU-CS-95-103 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1991/CMU-CS-91-102.ps.Z, 19950123 LOOK-AHEAD TECHNIQUES FOR MICRO-OPPORTUNISTIC JOB SHOP SCHEDULING Norman Sadeh March 1991 CMU-CS-91-102 Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy School of Computer Science Carnegie Mellon University Pittsburgh, Pennsylvania 15213 Copyright 1991 Sadeh
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1995/CMU-CS-95-105.ps, 19950224 Using Ordered Binary-Decision Diagrams for Compressing Images and Image Sequences Mike Starkey and Randy Bryant January 1995 CMU-CS-95-105 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1995/CMU-CS-95-108.ps, 19950224 Problem Decomposition for Reuse Daniel Jackson School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213, USA Michael Jackson MAJ Consulting Ltd 101 Hamilton Terrace London NW8 9QX January 2, 1995 1
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1995/CMU-CS-95-110.ps, 19950224
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1995/CMU-CS-95-111.ps, 19950224 Formalizing Style to Understand Descriptions of Software Architecture Gregory Abowd Robert Allen David Garlan January 1995 CMU-CS-95-111 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Gregory Abowd's current address is College of Computing, Georgia Institute of Technology,
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1995/CMU-CS-95-108A.ps, 19950224 Problem Decomposition for Reuse Daniel Jackson* and Michael Jackson** January 1995 CMU-CS-95-108 An approach to software development problems is presented, and illustrated by an example. The approach is based on the ideas of problem frames and structuring specifications by views. It is claimed that
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1995/CMU-CS-95-107.ps, 19950224 School of Computer Science Carnegie Mellon University Pittsburgh, Pennsylvania 15213-3890 To appear: in Proceedings of the IEEE CompCon Conference, March 5-8, 1995. San Francisco.
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1995/CMU-CS-95-112.ps, 19950224 Management of Speedup Mechanisms in Learning Architectures John Cheng January 1995 CMU-CS-95-112 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213-3891 Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy Thesis Committee: Tom Mitchell,
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1995/CMU-CS-95-104.ps.Z, 19950224 Modeling Foreshortening in Stereo Vision using Local Spatial Frequency Mark W. Maimone Steven A. Shafer January 1995 CMU-CS-95-104 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 A condensed version of this report has been submitted to IROS'95. A version of this paper is
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1995/CMU-CS-95-114.ps, 19950224 Implementing Distributed Server Groups for the World Wide Web Michael Garland, Sebastian Grassia, Robert Monroe, Siddhartha Puri 25 January 1995 CMU-CS-95-114 School of Computer Science Carnegie Mellon University Pittsburgh, Pennsylvania 15213-3890
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1995/CMU-CS-95-113.ps, 19950321 Production Matching for Large Learning Systems Robert B. Doorenbos January 31, 1995 CMU-CS-95-113 Computer Science Department Carnegie Mellon University Pittsburgh, PA Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy. Thesis Committee: Jill Fain Lehman,
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1995/CMU-CS-95-116.ps.Z, 19950321 Task-Oriented Generation of Visual Sensing Strategies in Assembly Tasks Jun Miura Katsushi Ikeuchi February 1995 CMU-CS-95-116 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 This research was sponsored by the Advanced Research Projects Agency under the Department of the Army,
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1995/CMU-CS-95-101.ps, 19950321 PADO: Learning Tree Structured Algorithms for Orchestration into an Object Recognition System1 Astro Teller and Manuela Veloso February 10, 1995 CMU-CS-95-101 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1995/CMU-CS-95-117.ps, 19950427 Experiences Using DCE and CORBA to Build Tools for Creating Highly-Available Distributed Systems E.N. Elnozahy1 V. Ratan2 M.E. Segal3 February 1995 CMU-CS-95-117 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 To appear in the International Conference on Open Distributed
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1995/CMU-CS-95-100.ps, 19950623 Efficient Parallel Algorithms for Planar DAGs Stephen Guattery Gary L. Miller May 1995 CMU-CS-95-100 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Parts of this report appeared in the Fourth Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA '92) This work
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1995/CMU-CS-95-104.errat.ps, 19951115 Modeling Foreshortening in Stereo Vision using Local Spatial Frequency: Errata 1. The updated World Wide Web URL for this paper is: http://www.ius.cs.cmu.edu/project/cil/fore/tr.html 2. This version of Figure 1 should be easier to understand (and photocopy): Figure 1: Stereo pair illustrating the
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1995/CMU-CS-95-115.ps, 19951117 School of Computer Science Carnegie Mellon University Pittsburgh, Pennsylvania 15213-3890 This is a revised version of a report that first appeared in February 1995.
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1996/CMU-CS-96-107.ps, 19960223 Mobile Information Access M. Satyanarayanan January 1996 CMU-CS-96-107 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 To appear in IEEE Personal Communications, Volume 3, No. 1, February 1996
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1996/CMU-CS-96-100A.ps, 19960223 Final Report on Research in Parallel Computing: 1990-95 Very Large Scale Operating Systems The Gigabit Nectar Project Network-Based Multicomputers Dale James and C. Roy Taylor, Eds. CMU-CS-96-100 12 January 1996 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Richard F.
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1996/CMU-CS-96-100B.ps, 19960223 Final Report on Research in Parallel Computing: Very Large Scale Operating Systems 1990 - 1993 6 December 1995 Carnegie Mellon University Computer Science Department
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1996/CMU-CS-96-103.ps, 19960223 Signature and Specification Matching Amy Moormann Zaremski January 1996 CS-CMU-96-103 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Submitted to Carnegie Mellon University in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Computer Science.
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1996/CMU-CS-96-100C.ps, 19960223 Final Report on Research in Parallel Computing: The Gigabit Nectar Project 1990 - 1995 6 December 1995 Carnegie Mellon University Computer Science Department
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1996/CMU-CS-96-100E.ps, 19960223 Final Report on Research in Parallel Computing: Network-based Multicomputers 1990 - 1995 6 December 1995 Carnegie Mellon University Computer Science Department
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1996/CMU-CS-96-100D.ps, 19960223 1 Introduction Recent advances in network technology have made it feasible to build high-speed networks using links operating at several 100s of Mbit/second. HIPPI networks based on the ANSI HighPerformance Parallel Interface (HIPPI) protocol are an example. HIPPI supports a data rate of 800
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1996/CMU-CS-96-105.ps.gz, 19960328 School of Computer Science Carnegie Mellon University Pittsburgh, Pennsylvania 15213-3890 Recognition of the Multi Specularity Objects using the Eigen-Window Kohtaro Ohba and Katsushi Ikeuchi 29 February 1996 CMU-CS-96-105 This research was sponsored in part by the U.S. Advanced Research Project Agency
	ftp://reports.adm.cs.cmu.edu/usr0/anon/1996/CMU-CS-96-106.ps, 19960426 Global Register Allocation Based on Graph Fusion Guei-Yuan Lueh, Thomas Gross, and Ali-Reza Adl-Tabatabai March 1996 CMU-CS-96-106 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213