perm filename THESES.PUB[BIB,CSR] blob
sn#499936 filedate 1980-02-26 generic text, type C, neo UTF8
COMMENT ā VALID 00002 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 .require "setup.bib[bib,csr]" source file
C00030 ENDMK
Cā;
.require "setup.bib[bib,csr]" source file;
.once center
THESES
ADAMS, D., STAN-CS-68-117, "A Computational Model with Data Flow
Sequencing"
AGIN, Gerald, STAN-CS-72-305 (AIM-173), "Representation and
Description of Curved Objects"
BAJCSY, Ruzena, STAN-CS-72-321 (AIM-180), "Computer Identification of
Textured Visual Scenes"
BANNING, John Phineas, STAN-CS-78-676 (SLACR-213), "A Method for
Determining the Side Effects of Procedure Calls"
BARSTOW, David, STAN-CS-77-641 (AIM-308), "Automatic Construction of
Algorithms"
BAUER, Henry R., III, STAN-CS-72-324 (TR-48), "Subproblems of the m X
n Sequencing Problem"
BAUMGART, Bruce, STAN-CS-74-463 (AIM-249), "Geometric Modeling for
Computer Vision"
BOLLES, Robert C., STAN-CS-77-591 (AIM-295), "Verification Vision
Within a Programmable Assembly System"
BORNING, Alan, STAN-CS-79-746, "ThingLab -- A Constraint-Oriented
Simulation Laboratory"
BRENT, R., STAN-CS-71-198, "Algorithms for Finding Zeros and Extrema
of Functions without Calculating Derivatives"
BROTZ, Douglas K., STAN-CS-74-443, "Embedding Heuristic Problem
Solving Methods in a Mechanical Theorem Prover"
BROWN, Mark R., STAN-CS-77-600, "The Analysis of a Practical and
Nearly Optimal Priority Queue"
BUBE, Kenneth P., STAN-CS-78-691, "The Construction of Initial Data
for Hyperbolic Systems from Nonstandard Data"
BUCHANAN, J., STAN-CS-74-458 (AIM-245), "A Study in Automatic
Programming"
BULNES-ROZAS, Juan, STAN-CS-79-743 (AIM-328), "GOAL: A Goal Oriented
Command Language for Interactive Proof Construction"
CADIOU, Jean, STAN-CS-72-266 (AIM-163), "Recursive Definitions of
Partial and Functions and Their Computation"
CARTWRIGHT, Robert, Jr., STAN-CS-77-592 (AIM-296), "A Practical
Formal Semantic Definition and Verification Systems for Typed LISP"
CAUSEY, R.L., STAN-CS-64-10, "On Closest Normal Matrices"
CHANDRA, Ashok K., STAN-CS-73-336 (AIM-188), "On the Properties and
Applications of Program Schemas"
CHAN, Tony F.C., STAN-CS-78-672, "Comparison of Numerical Methods for
Initial Value Problems"
CLANCEY, William John, STAN-CS-79-769, "Transfer of Rule-Based
Expertise Through a Tutorial Dialogue"
CRANE, Clark A., STAN-CS-72-259, "Linear Lists and Priority Queues as
Balanced Binary Trees"
DAVIS, Randall, STAN-CS-76-564 (AIM-283), "Applications of Meta Level
Knowledge to the Construction, Maintenance and Use of Large Knowledge
Bases"
DRYSDALE, Robert Lewis (Scot), III, STAN-CS-79-705, "Generalized
Voronoi Diagrams and Geometric Searching"
FALK, G., STAN-CS-70-180 (AIM-132), "Computer Interpretation of
Imperfect Line Data as a Three-Dimensional Scene"
FANG, Isu, STAN-CS-72-329, "Folds, A Declarative Formal Language
Definition System"
FAUGHT, William, STAN-CS-77-633 (AIM-305), "Motivation and
Intensionality in a Computer Simulation Model"
FILMAN, Robert Elliot, STAN-CS-79-727 (AIM-327), "The Interaction of
Observation and Inference"
FINKEL, Rafael, STAN-CS-76-567 (AIM-284), "Constructing and Debugging
Manipulator Programs"
FREDMAN, Michael L., STAN-CS-72-296, "Growth Properties of a Class of
Recursively Defined Functions"
FRIEDLAND, Peter E., STAN-CS-79-771, "Knowledge-Based Experiment
Design in Molecular Genetics"
GANAPATHY, S., STAN-CS-75-525 (AIM-272), "Reconstruction of Secnes
Containing Polyhedra from Stereo Pair of Views"
GARCIA-MOLINA, Hector, STAN-CS-79-744 (CSL TR-172), "Performance of
Update Algorithms for Replicated Data in a Distributed Database"
GEORGE, J.A., STAN-CS-71-208, "Computer Implementation of the Finite
Element Method"
GEORGE, J.E., STAN-CS-71-227 (SLAC-134), "GEMS - A Graphical
Experimental Meta System"
GINSPARG, Jerrold, STAN-CS-78-671 (AIM-316), "Natural Language
Processing in an Automatic Programming Domain"
GIPS, James, STAN-CS-74-413 (AIM-231), "Shape Grammars and Their
Uses"
GOLDMAN, N.M., STAN-CS-74-461 (AIM-247), "Computer Generation of
Natural Language from a Deep Conceptual Base"
GRACE, D.W., STAN-CS-65-15, "Computer Search for Non-Isomorphic
Convex Polyhedra"
GRAHAM, Susan, STAN-CS-71-223, "Precedence Languages and Bounded
Right Context Languages"
GRAPE, Gunnar Rutger, STAN-CS-73-366 (AIM-201), "Model Bases
(Intermediate-Level) Computer Vision"
GREEN, C.C., STAN-CS-69-138 (AIM-96), "The Application of Theorem
Proving to Question-Answering Systems"
GUIBAS, L.J., STAN-CS-76-556, "The Analysis of Hashing Algorithms"
HANNA, Marsha Jo, STAN-CS-74-438 (AIM-239), "Computer Matching of
Areas in Stereo Images"
HEMPHILL, Linda G., STAN-CS-76-534 (AIM-273), "A Conceptual Approach
to Automatic Language Understanding and Belief Structures: With
Disambiguation of the Word 'For' "
HOFFMAN, L.J., STAN-CS-70-161 (SLACR-117), "The Formulary Model for
Access Control and Privacy in Computer Systems"
HORNING, J.J., STAN-CS-69-139 (AIM-98), "A Study of Grammatical
Inference"
HUBERMAN, B., STAN-CS-68-106 (AIM-65), "A Program to Play Chess End
Games"
JENKINS, M.A., STAN-CS-69-143, "Three-Stage Variable-Shift for the
Solution of Polynomial Equations with a Posteriori Error Bounds for
the Zeros"
KANT, Elaine, STAN-CS-79-755 (AIM-331), "Efficiency Considerations in
Program Synthesis: A Knowledge-Based Approach"
KAPLAN, D.M., STAN-CS-68-101 (AIM-60), "The Formal Theoretic Analysis
of Stront Equivalence for Elemental Programs"
KARP, Richard Alan, STAN-CS-79-783 (PVG-14), "Proving Concurrent
Systems Correct"
KAUFMAN, Linda, STAN-CS-72-276, "A Generalized LR Method to Solve Ax
= Bx"
KAUFMAN, Linda C., STAN-CS-73-363, "The LZ Algorithm to Solve the
Generalized Eigenvalue Problem"
KELLY, M., STAN-CS-70-168 (AIM-130), "Visual Identification of People
by Computer"
KNOTT, G.D., STAN-CS-75-491, "Deletion in Binary Storage Trees"
KOGGE, Peter M., STAN-CS-72-314 (TR-43), "Parallel Algorithms for the
Efficient Solution of Recurrence Problems (Part 1)"
KOGGE, Peter M., STAN-CS-72-315 (TR-44), "The Numerical Stability of
Parallel Algorithms for Solving Recurrence Problems (Part 2)"
KOGGE, Peter M., STAN-CS-72-316 (TR-45), "Minimal Paralellism in the
Solution of Recurrence Problems (Part 3)"
LENAT, Douglas, STAN-CS-76-570 (AIM-286), "AM: An Artificial
Intelligence Approach to Discovery in Mathematics as Heuristic
Search"
LENGAUER, Thomas, STAN-CS-79-745, "Upper and Lower Bounds on Time-
Space Tradeoffs in a Pebble Game"
LESSER, V., STAN-CS-72-309 (TR-157), "Dynamic Control Structures and
Their Use in Emulation"
LEVINE, David R., STAN-CS-73-343, "Computer-Based Analytic Grading
for German Grammar Instruction"
LEWIS, John Gregg, STAN-CS-77-595, "Algorithms for Sparse Matrix
Eigenvalue Problems"
LOW, J.R., STAN-CS-74-452 (AIM-242), "Automatic Coding: Choice of
Data Structures"
LUK, Franklin Tai-cheung, STAN-CS-78-685, "Sparse and Parallel Matrix
Computations"
LUKES, J.A., STAN-CS-72-293 (TN-32), "Combinatorial Solutions to
Partitioning Problems"
MALCOLM, Michael A., STAN-CS-73-372, "Nonlinear Spline Functions
(Part 2)"
McCUNE, Brian P., STAN-CS-79-772 (AIM-333), "Building Program Models
Incrementaly from Informal Descriptions"
McKEEMAN, W.M., STAN-CS-66-48, "An Approach to Computer Language
Design"
MEYRS, W.J., STAN-CS-71-222, "Linear Representation of Tree Structure
(a Mathematical Theory of Parenthesis-Free Notations)"
MITCHELL, Tom Michael, STAN-CS-78-711, "Version Spaces: An Approach
to Concept Learning"
MODEL, Mitch L, STAN-CS-79-701, "Monitoring System Behavior in a
Complex Computational Environment"
MOLER, C.B., STAN-CS-65-22, "Finite Difference Methods for the
Eigenbales of Laplace's Operator"
MONT-REYNAUD, Bernard, STAN-CS-77-644, "Hierarchical Properties of
Flows and the Determination of Inner Loops"
MORRIS, F. Lockwood, STAN-CS-72-303 (AIM-174), "Correctness of
Translations of Programming Languages - an Algebraic Approach"
NEVATIA, Ramakant, STAN-CS-74-464 (AIM-250), "Structured Descriptions
of Complex Curved Objects for Recognition and Visual Memory"
NEWEY, M.C., STAN-CS-75-475 (AIM-257), "Formal Semantics of LISP with
Applications to Program Correctness"
O'LEARY, D. Prost, STAN-CS-76-548, "Hybrid Conjugate Gradient
Algorithms"
OVERTON, Michael Lockhart, STAN-CS-79-753, "Projected Lagrangian
Algorithms for Nonlinear Minimax and lā1 Optimization"
PARDO, Louis Trabb, STAN-CS-78-681, "Set Representation and Set
Intersection"
PAUL, Richard, STAN-CS-72-311 (AIM-177), "Modelling, Trajectory
Calculation and Servoing of a Computer Controlled Arm"
PERSSON, S., STAN-CS-66-50 (AIM-46), "Some Sequence Extrapulating
Programs: A Study of Representation and Modelling in Inquiring
Systems"
PETERSON, James L., STAN-CS-74-410 (TR-46), "Modelling of Parallel
Systems"
PIEPER, D., STAN-CS-68-116 (AIM-72), "The Kinematics of Manipulators
Under Computer Control"
POHL, I., STAN-CS-69-136 (SLACR-104), "Bi-Directional and Heuristic
Search in Path Problems"
PRATT, Vaughan R., STAN-CS-72-260, "Shellsort and Sorting Networks"
QUAM, Lynn, STAN-CS-71-219 (AIM-144), "Computer Comparison of
Pictures"
RAMOS, G.O., STAN-CS-70-146, "Roundoff Error Analysis of the Fast
Fourier Transform"
RAMSHAW, Lyle Harold, STAN-CS-79-741, "Formalizing the Analysis of
Algorithms"
REDDY, D.R., STAN-CS-66-49 (AIM-43), "An Approach to Computer Speech
Recognition by Direct Analysis of Speech Wave"
REISER, John F., STAN-CS-77-601, "Analysis of Additive Random Number
Generators"
RICHMAN, P., STAN-CS-68-105, "Epsiolon-Calculus"
RIDDLE, William E., STAN-CS-72-271, "The Modeling and Analysis of
Supervisory Systems"
RIEGER, Charles, III, STAN-CS-74-419 (AIM-233), "Conceptual Memory:
A Theory and Computer Program for Processing the Meaning Content of
Natural Language Utterances"
RIESBECK, C.K., STAN-CS-74-437 (AIM-238), "Computational
Understanding: Analysis of Sentences and Context"
RIVEST, Ronald L., STAN-CS-74-415, "Analysis of Associative Retrieval
Algorithms"
RODERICK, Michael, STAN-CS-76-571 (AIM-287), "Discrete Control of a
Robot Arm"
RUDIN, B.D., STAN-CS-65-23, "Convex Polynomial Approximation"
RUSSELL, D.L., STAN-CS-76-563, "State Restoration Among Communicating
Processes"
RYDER, John, STAN-CS-71-245 (AIM-155), "Heuristic Analysis of Large
Trees as Generated in the Game of Go"
SAMET, H., STAN-CS-75-498 (AIM-259), "Automatically Proving the
Correctness of Translations Involving Optimized Code"
SATTERTHWAITE, E.H., Jr., STAN-CS-75-494, "Source Language Debugging
Tools"
SCHANK, R.C., STAN-CS-69-130 (AIM-83), "A Conceptual Dependency
Representation for a Computer-Oriented Semantics"
SCHLUMBERGER, Maurice, STAN-CS-74-424 (TR-80), "Logorithmic
Communications Networks (Chapter 1)"
SCHLUMBERGER, Maurice, STAN-CS-74-425 (TR-81), "Vulnerability of
deBruijn Communications Networks (Chapter 2)"
SCHLUMBERGER, Maurice, STAN-CS-74-426 (TR-82), "Queueing Equal Length
Messages in a Logorithmic Network (Chapter 3)"
SCHMIDT, Rod, STAN-CS-71-231 (AIM-149), "A Study of the Real-Time
Control of a Computer Driven Vehicle"
SEDGEWICK, R., STAN-CS-75-492, "Quicksort"
SHAW, A.C. , STAN-CS-68-94, "The Formal Description and Parsing of
Pictures"
SHIMANO, Bruce E., STAN-CS-78-660 (AIM-313), "The Kinematic Design
and Force Control of Computer Controlled Manipulators"
SHORTLIFFE, E.H., STAN-CS-74-465 (AIM-251), "MYCIN: A Rule-Based
Computer Program for Advising Physicians Regarding Antimicrobial
Therapy Selection"
SHUSTEK, Leonard J., STAN-CS-78-658 (SLAC-205), "Analysis and
Performance of Computer Instruction Sets"
SIMON, Istvan, STAN-CS-77-608, "On Some Subrecursive Reducibilities"
SITES, Richard L., STAN-CS-74-418, "Proving That Computer Programs
Terminate Cleanly"
SMITH, A., STAN-CS-74-449 (TR-89), "Performance Analysis of Computer
Systems Components"
SMITH, D.C., STAN-CS-75-499 (AIM-260), "PYGMALION: A Creative
Programming Environment"
SMITH, L.B., STAN-CS-69-131 (SLAC-96), "The Use of Man-Machine
Interaction in Data-Fitting Problems"
SMITH, Reid Garfield, STAN-CS-78-700 (HPP-78-28), "A Framework for
Problem Solving in a Distributed Processing Environment"
STEFIK, Mark Jeffrey, STAN-CS-80-784 (HPP-80-2), "Planning with
Constraints"
STRIKWERDA, J.C., STAN-CS-76-565, "Initial Boundary Value Problems
for Incompletely Parabolic Systems"
STRITTER, Edwin P., STAN-CS-77-594 (SLAC-200), "File Migration"
SUZUKI, Norihsa, STAN-CS-76-552 (AIM-279), "Automatic Verification of
Programs with Complex Data Structures"
SWEET, Richard E., STAN-CS-78-698, "Empirical Estimates of Program
Entropy"
SWINEHART, Daniel C., STAN-CS-74-412 (AIM-230), "COPILOT: A Multiple
Process Approach to Interactive Programming Systems"
TARJAN, R., STAN-CS-71-244, "An Efficient Planarity Algorithm"
TAYLOR, Russell, STAN-CS-76-560 (AIM-282), "Synthesis of Manipulator
Control Programs from Task-level Specifications"
TENENBAUM, J., STAN-CS-70-182 (AIM-134), "Accomodation in Computer
Vision"
TIXIER, V., STAN-CS-67-58, "Recursive Functions of Regular
Expressions in Language Analysis"
UNDERWOOD, R., STAN-CS-75-496, "An Iterative Block Lanczos Method for
the Solution of Large Sparse Symmetric Eigenproblems"
VALDES, Jacobo, STAN-CS-78-682, "Parsing Flowcharts and Series-
Parallel Graphs"
VARAH, J.M., STAN-CS-67-66, "The Computation of Bounds for the
Invariant Subspaces of a General Matrix Operator"
VICENS, P., STAN-CS-69-127 (AIM-85), "Aspects of Speech Recognition
by Computer"
VUILLEMIN, Jean Etienne, STAN-CS-73-393 (AIM-218), "Proof Techniques
for Recursive Programs"
WAGNER, Todd Jeffery, STAN-CS-77-632 (AIM-304), "Hardware
Verification"
WAKERLY, John, STAN-CS-74-421 (TR-51), "Low-Cost Error Detection
Techniques for Small Computers"
WATERMAN, D., STAN-CS-68-118 (AIM-74), "Machine Learning of
Heuristics"
WILKINS, David E., STAN-CS-79-747 (AIM-329), "Using Patterns and
Plans to Solve Problems and Control Search"
WRIGHT, Margaret, STAN-CS-76-566, "Numerical Methods for Nonlinearly
Constrained Optimization"
YAKIMOVSKY, Yoram, STAN-CS-73-380 (AIM-209), "Scene Analysis Using a
Semantic Base for Region Growing"
YU, F.S., STAN-CS-76-554, "Modeling the Write Behavior of Computer
Programs"
ZOLNOWSKY, John E., STAN-CS-78-659 (SLAC-206), "Topics in
Computational Geometry"