E1AR0002@SMUVM1.BITNET (02/17/86)
From Cassel%dewey.udel.edu@CSNET-RELAY Thu Jan 16 22:55:33 1986 Received: by csevax.smu (4.12/4.7) id AA00534; Thu, 16 Jan 86 22:55:28 cst Message-Id: <8601170455.AA00534@csevax.smu> Received: from dewey.udel.edu by CSNET-RELAY.ARPA id a021230; 16 Jan 86 15:17 EST Date: Thu, 16 Jan 86 15:07:26 EST From: Boots Cassel <cassel%dewey.udel.edu@CSNET-RELAY> To: tcp-ip%dewey.udel.edu@CSNET-RELAY, trlist%dewey.udel.edu@CSNET-RELAY Cc: cassel%dewey.udel.edu@CSNET-RELAY, phillips%dewey.udel.edu@CSNET-RELAY, rkao%dewey.udel.edu@CSNET-RELAY, amer%dewey.udel.edu@CSNET-RELAY, hokuf%dewey.udel.edu@CSNET-RELAY Subject: Tech Report Received: from CSNet-Relay by smu; 16 Jan 86 22:47:50-CST (Thu) Status: R University of Delaware Department of Computer and Information Sciences Technical Report 86-12 Local Area Broadcast Network Measurement: Traffic Characterization by Paul D. Amer Ram N. Kumar Rueybin Kao Jeffrey T. Phillips Lillian N. Cassel Abstract Eight weeks of traffic were monitored on an Ethernet with five major hosts and interconnections to another LAN and the ARPAnet. Over 104.7 million packets consisting of 10+ billion octets were observed. This paper characterizes the monitored traffic and concludes for our LAN that the overall arrival of packets on the Ethernet is not Poisson as often assumed in analytic studies, the bit error rate is low with periodic bursts caused by faulty hardware and software, the network load is, as expected, bursty in nature, the packet size distribution is not bimodal (as observed in other studies), most of the traffic is generated by network servers (terminal switches), and less than 10% of the traffic travels outside the local network. Key words and phrases: broadcast network, CSMA/CD, Ethernet, local area network, measurement center, performance evaluation, traffic characterization, workload characterization. The technical report is now available. Anyone who would like a copy of the tech report should send name and address to Boots Cassel cassel@dewey.udel.EDU or Department of Computer and Information Sciences University of Delaware Newark, DE 19716
E1AR0002@SMUVM1.BITNET (02/17/86)
University of Kent at Canterbury Computing Laboratory Reports Reports are available free to academic institutions, a nominal charge will be made for reports requested by others. Requests for reports should be sent to: Documentation Officer Computing Laboratory The University Canterbury Kent CT2 7NF No 1 Transport Service Byte Stream Protocol (TSBSP) I N Dallas August 1981 (Revision 3) No 2 UKC Papers on the Cambridge Ring presented at Networkshops 4, 5 & 6 S E Binns, I N Dallas, M N A Lee October 1980 No 3 Operational Experiences with a Cambridge Ring Local Area Network in a University Environment E B Spratt October 1980 No 4 Multidimensional Search Trees as Indices of Files Y V Silva-Filho February 1981 No 5 Dynamic Program Building P J Brown December 1980 No 6 Byte Streams on a Microcomputer T E Schutt March 1981 No 7 Comments on style in C R P A Collinson May 1981 No 8 Cambridge Ring to PSS Gateway RSX-11M Transport Service Module (for X25) Specification I N Dallas June 1981 No 9 Basic Block Protocol Implementation Guide. I N Dallas March 1981 No 10 Protocols used on the Ring A Simple Guide I N Dallas March 1981 No 11 Executing Pascal and Assembly Language programs on the HEX-29 R P Bird October 1981 No 12 UKC File Server M J Bayliss May 1982 No 13 The Kent Spooler for UNIX R P A Collinson June 1982 No 14 Sorting Algorithms in KRC Implemented in a Functional Programming System Silvio Lemos Meira August 1982 No 15 Fortran Subroutines for the Solution of Symmetric and Non-symmetric Toeplitz sets of Linear Equations using the Levinson-Trench Algorithm T R Hopkins October 1982 No 16 A UNIX SSP/BBP interface to the Cambridge Ring R P A Collinson December 1982 No 17 Unknotting Fortran T R Hopkins October 1983 No 18 The UKC TS29 Ring PAD A L Ibbetson June 1984 (Revision 2) No 19 Implementing the Spectral Test for Assessing Linear Congruential Random Number Generators T R Hopkins March 1984 No 20 Optimized Combinatoric Code for Applicative Language Implementation Silvio Lemos Meira April 1984 No 21 The Proteus Distributed Database System E A Oxborrow July 1984 No 22 2-PIGS: An Interactive Graphical Programming Environment with Mixed Interpretation and Compilation Man-Chi Pong September 1984 No 23 Report on the Hewlett Packard 4951A Protocol Analyser I N Dallas September 1984 No 24 Menus and Menu Systems An Approach to the User Interface James A Pitcairn-Hill October 1984 No 25 A Microcomputer Database System in a Distributed Database Environment E A Oxborrow October 1984 No 26 I-PIGS: A Concurrent Programming Environment with Interactive Graphical Support Man-Chi Pong November 1984 No 27 The Complexity of a Translation of L-calculus to Categorical Combinators R D Lins April 1985 No 28 A Linear Applicative Solution for The Set Union problem Silvio Lemos Meira May 1985 No 29 A Short Guide to LaTeX Silvio Lemos Meira May 1985 No 30 Proceedings of a Seminar on Social Science Computing Services 11 January 1985 The Economic & Social Research Council 1 Temple Avenue London EC4 R E Cooley July 1985 No 31 Computation with Graphics in a Mathematics Teaching Initiative G J Makinson and H L Morarji October 1985 No 32 KAS: A New Authoring System for Computer-Assisted Learning G J Makinson and H L Morarji October 1985 October 1985
E1AR0002@SMUVM1.BITNET (02/19/86)
ARTIFICIAL INTELLIGENCE LABORATORY MASSACHUSETTS INSTITUTE OF TECHNOLOGY ------------------------------------------------------------------------------- PUBLICATIONS BIBLIOGRAPHY ------------------------------------------------------------------------------- October 1985 Publications are available in hard copy only. Prepayment is required. To order, specify publications number and author and enclose a check payable to the MIT Artificial Intelligence Laboratory for the correct amount of U.S. funds. Prices of publications include surface postage. Send orders with payment to: Publications, Room NE43-818 MIT Artificial Intelligence Laboratory 545 Technology Square Cambridge, MA 02139 USA Phone number: (617) 253-6773 Net address:Publications%MIT-OZ@MIT-MC.ARPA Unavailable publications can be ordered from the following sources: 1. NTIS. Reports assigned an AD number (":adnum" field) are available from the National Technical Information Service, 5285 Port Royal Road, Springfield, Virginia 22161. NTIS price information can be obtained by calling (703) 487-4650. 2. Microreproduction Laboratory, MIT, Room 14-0551, Cambridge, MA 02139. Telephone (617) 253-5668 or 253-5650. This is the complete list of MIT AI memos and technical reports. "AI Memos" are first, then "AI Technical Reports". A final section, "Books and Manuals in Print", lists additional publications that are available from different publishers. Note: this is being distributed in several parts due to size [Leff] --------------------------- AI Memos --------------------------- :aim 200 :unavailable :title {1968-1969 Progress Report} :author Marvin Minsky and Seymour Papert :asort Minsky, M.; Papert, S. :aim 202 :unavailable :title {Peter Samson's Music Processor, BIG} :author Michael Beeler :date July 1970 :asort Beeler, M. :pages 17 :aim 203 :unavailable :title {Micro-Planner Reference Manual} :author Gerald Sussman and Terry Winograd :asort Sussman, G.J.; Winograd, T. :date July 1970 :revised December 1971 (AIM 203A) :pages 22 :aim 203A :unavailable :title {Micro-Planner Reference Manual, (revised)} :author Gerald Sussman, Terry Winograd, and Eugene Charniak :asort Sussman, G.J.; Winograd, T.; Charniak, E. :date December 1971 :pages 29 :aim 204 :unavailable :title {Extending Guzman's SEE Program} :author Martin Rattner :asort Rattner, M. :date July 1970 :pages 67 :reference {See M.I.T. B.S. Thesis, June 1970} :aim 205 :unavailable :title {Look-Ahead Strategies In One Person Games With Randomly Generated Game T rees} :author David S. Johnson :asort Johnson, D. :pages 78 :reference {See M.I.T. S.M. thesis, August 1968} :date July 1970 :aim 206 :unavailable :title {The Vision Laboratory, Part One} :author Thomas O. Binford :asort Binford, T.O. :date July 1970 :pages 31 :aim 207 :unavailable :title {More Comparative Schematology} :author Carl E. Hewitt :asort Hewitt, C. :date August 1970 :pages 56 :reference (Replaced by AI TR-258.) :aim 208 :unavailable :title {Teaching Procedures In Humans And Robots} :author Carl Hewitt :asort Hewitt, C. :date September 1970. :pages 25 :reference (Replaced by AI TR-258.) :aim 209 :unavailable :title {Digital Flight Simulation} :author David Silver :asort Silver, D. :date March 1971 :aim 210 :unavailable :title {A User's Guide to the A.I. Group LISCOM LISP Compiler} :author Jeffrey P. Golden :asort Golden, J. :date December 1970 :pages 14 :aim 211 :unavailable :title {Equivalence Problems in a Model of Computation} :author Michael S. Paterson :asort Paterson, M. :reference (See Ph.D. thesis, Trinity College, Cambridge University, 1967) :date November 1970 :pages 158 :aim 213 :unavailable :title {The Computer as A Performing Instrument} :author Gordon Mumma and Stephen Smoliar. :asort Mumma, G.; Smoliar, S.W. :reference Presented as a MAC seminar February 1970 :date February 1971 :pages 12 :aim 214 :unavailable :title {Linking Loader for MIDAS} :author Peter Samson :asort Samson, P. :date March 1971 :reference Originally printed as MAC Memo in January 1966 :pages 6 :aim 215 :unavailable :title {How to Get Onto the System} :author Mark Dowson :asort Dowson, M. :date April 1971 :pages 20 :aim 215A :unavailable :title {Instant TJ6, How to Get the System to Type Your Papers} :author M. Dowson :asort Dowson, M. :date September 1971 :pages 4 :aim 216 :unavailable :title {Theories, Pretheories, and Finite State Transformations on Trees} :author Mitchell Wand :asort Wand, M. :date May 1971 :pages 32 :aim 217 :unavailable :title {Computer Proofs of Limit Theorems} :author W. W. Bledsoe, Robert S. Boyer, W. H. Henneman :asort Bledsoe, W.; Boyer, R.; Henneman, W. :date June 1971 :pages 61 :aim 218 :unavailable :title {Information Theory and the Game of Jotto} :author Michael Beeler :asort Beeler, M. :date August 1971 :pages 4 :aim 237 :unavailable :title {An Inquiry Into Algorithmic Complexity} :author Patrick E. O'Neil :asort O'Neil, P. :date September 1971 :pages 20 :aim 238 :unavailable :title {ITS Status Report} :author Donald Eastlake :asort Eastlake, D. :date April 1972 :pages 68 :aim 239 :title {HAKMEM} :author M. Beeler, R. W. Gosper, R. Schroeppel :asort Beeler, M.; Gosper, W.; Schroeppel, R. :date February 1972 :cost $3.50 :pages 105 :abstract Here is some little known data which may be of interest to computer hackers. The items and examples are so sketchy that to decipher them may require more sincerity and curiosity than a non-hacker can muster. Doubtless, little of this is new, but nowadays it's hard to tell. So we must be content to give you an insight, or save you some cycles, and to welcome further contributions of items, new or used. :aim 240 :unavailable :title {11SIM Reference Manual} :author Donald Eastlake :asort Eastlake, D. :date December 1971 :pages 46 :aim 240A :unavailable :title {11SIM Reference Manual (revised)} :author Donald Eastlake :asort Eastlake, D. :date February 1972 :pages 48 :aim 241 :unavailable :title {An A.I. Approach to English Morphemic Analysis} :author Terry Winograd :asort Winograd, T. :date September 1971 :pages 19 :aim 243 :unavailable :title {Using the EUTERPE Music System} :author Stephen W. Smoliar :asort Smoliar, S.W. :date October 1971 :pages 16 :aim 245 :unavailable :title {Proposal to ARPA for Research on Artificial Intelligence at M.I.T., 1971 -1972} :author Marvin Minsky and Seymour Papert :asort Minsky, M.; Papert, S. :date October 1971 :pages 43 :aim 246 :unavailable :title {A Computer Laboratory for Elementary Schools} :author Seymour Papert :asort Papert, S. :date October 1971 :reference {See Logo Memo 1} :pages 20 :aim 247 :unavailable :title {Teaching Children Thinking} :author Seymour Papert :asort Papert, S. :date October 1971 :reference {See Logo Memo 2} :pages 19 :aim 248 :unavailable :title {Twenty Things To Do With A Computer} :author Seymour Papert and Cynthia Solomon :asort Papert, S.; Solomon, C. :date June 1971 :reference {See Logo Memo 3} :pages 41 :aim 249 :unavailable :title {Teaching Children to be Mathematicians vs. Teaching About Mathematics} :author Seymour Papert :asort Papert, S. :date July 1971 :reference {See Logo Memo 4} :pages 26 :aim 250 :title 1971--1972 :author Carl Hewitt :asort Hewitt, C. :unavailable :date December 1971 :pages 29 :aim 251 :unavailable :title {Mini-Robot Proposal to ARPA} :author Marvin Minsky :asort Minsky, M. :date January 1972 :pages 63 :aim 252 :unavailable :title {Artificial Intelligence Progress Report} :author Marvin Minsky and Seymour Papert :asort Minsky, M.; Papert, S. :date January 1972 :pages 137 :ADnum (AD-754820) :aim 253 :unavailable :title {The Computer-Controlled Oculometer: A Prototype Interactive Eye Movement Tracking System} :author Matthew J. Hillsman, R. Wade Williams and John S. Roe :asort Hillsman, M.; Williams, R.W.; Roe, J.S. :date February 1972. :pages 194 :aim 254 :unavailable :title {NIM: A Game-Playing Program} :author Seymour Papert and Cynthia Solomon :asort Papert, S.; Solomon, C. :date Feb. 1972 :pages 19 :reference {See Logo Memo 5} :aim 255 :unavailable :title {Why Conniving Is Better Than Planning} :author Gerald Jay Sussman :asort Sussman, G.J. :date February 1972 :pages 27 :aim 255A :unavailable :title {Why Conniving Is Better Than Planning} :author Gerald Sussman and Drew McDermott :asort Sussman, G.J.; McDermott, D. :date April 1972 :pages 32 :reference (See Proceedings FJCC, Vol. 41, pp. 1171-1179, AFIPS Press, New Jersey, 1972) :aim 256 :unavailable :title {Efficiency of Equivalence Algorithms} :author Michael J. Fischer :asort Fischer, M. :reference Presented at Symposium on Complexity of Computer Computations, T.J Watson Research Center, March 22, 1972 :date April 1972 :pages 17 :aim 257 :unavailable :title {A Two Counter Machine Cannot Calculate 2**n} :author Richard Schroeppel :asort Schroeppel, R. :date May 1973 :ADnum (AD-773918) :pages 32 :aim 259 :unavailable :title {Conniver Reference Manual} :author Drew McDermott and Gerald Sussman :asort McDermott, D.; Sussman, G.J. :date May 1972 :pages 91 :aim 259A :unavailable :title {THE CONNIVER REFERENCE MANUAL} :author Drew McDermott and Gerald Sussman :asort McDermott, D.; Sussman, G.J. :date January 1974 :pages 146 :ADnum (AD-77355) :aim 260 :unavailable :title {LOCK} :author Donald E. Eastlake :asort Eastlake, D. :date June 1972 :pages 11 :aim 260A :unavailable :title {LOCK} :author Donald E. Eastlake :asort Eastlake, D. :date January 1974 :ADnum (AD-773920). :aim 261A :unavailable :title {PEEK} :author Donald E. Eastlake :asort Eastlake, D. :date February 1974 :cost $1.25 :ADnum (AD-773925) :pages 15 :aim 262 :unavailable :title {A Concrete Approach To Abstract Recursive Definitions} :author Mitchell Wand :asort Wand, M. :date June 1972 :pages 13 :aim 263 :unavailable :title {A Heterarchical Program for Recognition of Polyhedra} :author Yoshiaki Shirai :asort Shirai, Y. :date June 1972 :reference {See {\it Artificial Intelligence}, Vol. 4, No. 2; Winston (ed.), {\it The Psychology of Computer Vision}} :aim 264 :unavailable :title {Developing a Musical Ear: A New Experiment} :author Jeanne Bamberger :asort Bamberger, J. :date July 1972 :reference {See Logo Memo 6} :pages 19 :aim 265 :unavailable :title {Infants in Children Stories-Toward a Model of Natural Language Comprehen sion} :author Garry S. Meyer :asort Meyer, G.S. :date August 1972 :pages 72 :aim 267 :unavailable :title {Manipulator Design Vignettes} :author Marvin Minsky :asort Minsky, M. :date October 1972 :pages 27 :aim 267A :unavailable :title {Manipulator Design Vignettes} :author Marvin Minsky :asort Minsky, M. :reference Revised 1981 :cost $2.25 :pages 24 :aim 268 :unavailable :title {A Human Oriented Logic for Automatic Theorem Proving} :author Arthur J. Nevins :asort Nevins, A. :date October 1972 :pages 53 :aim 269 :unavailable :title {Proposal to ARPA for Continued Research on A.I.} :author Marvin Minsky :asort Minsky, M. :date October 1972 :pages 35 :aim 270 :unavailable :title {Teaching of Procedures-Progress Report} :author Gerald Jay Sussman :asort Sussman, G.J. :date October 1972 :reference (Replaced by AI-TR-297) :pages 22 :aim 272 :unavailable :title {How the GAS Program Works With a Note on Simulating Turtles With Touch S ensors} :author Michael Speciner :asort Speciner, M. :date December 1972 :pages 6 :aim 273 :unavailable :title {The Little Robot System} :author David Silver :asort Silver, D. :date January 1973 :ADnum (AD-773929) :pages 15 :aim 274 :unavailable :title {Proposal to ARPA for Continuation of Micro-Automation Development} :author Marvin Minsky :asort Minsky, M. :date January 1973 :pages 41 :aim 275 :unavailable :title {Differential Perceptrons} :author Martin Brooks, Jerrold Ginsparg :asort Brooks, M.; Ginsparg, J. :date January 1973 :ADnum (AD-773919) :pages 24 :aim 276 :unavailable :title {The Making of the Film, SOLAR CORONA} :author Michael Beeler :asort Beeler, M. :date February 1973 :reference (See Film Memo No. 1.) :ADnum (AD-773928) :pages 5 :aim 277 :unavailable :title {A Linguistics Oriented Programming Language} :author Vaughan R. Pratt :asort Pratt, V.R. :date February 1973 :ADnum (AD-773566) :pages 40 :aim 278 :unavailable :title {D-SCRIPT: A Computational Theory of Descriptions} :author Robert C. Moore :asort Moore, R.C. :date February 1973 :ADnum (AD-773926) :pages 29 :aim 279 :unavailable :title {Pretty-Printing, Converting List to Linear Structure} :author Ira Goldstein :asort Goldstein, I. :date February 1973 :ADnum (AD-773927) :pages 28 :aim 280 :unavailable :title {Elementary Geometry Theorem Proving} :author Ira Goldstein :asort Goldstein, I. :date April 1973 :ADnum (AD-735568) :pages 46 :aim 282 :unavailable :title {Grammar for the People: Flowcharts of SHRDLU's Grammar} :author Ann D. Rubin :asort Rubin, A.D. :date March 1973 :pages 31 :aim 284 :unavailable :title {Proposal To ARPA For Continued Research On A.I. For 1973} :author Marvin Minsky and Seymour Papert :asort Minsky, M.; Papert, S. :date June 1973 :pages 53 :aim 285 :unavailable :title {The Binford-Horn LINEFINDER} :author B.K.P. Horn :asort Horn, B.K.P. :reference Revised December 1973 :pages 20 :aim 286 :unavailable :title {The FINDSPACE Problem} :author Gerald J. Sussman :asort Sussman, G.J. :date March 1973 :pages 14 :aim 287 :unavailable :title {Finding The Skeleton of a Brick} :author Tim Finin :asort Finin, T. :date March 1973 :pages 12 :aim 289 :unavailable :title {Visual Position Extraction Using Stereo Eye Systems With A Relative Rota tional Motion Capability} :author Daniel W. Corwin :asort Corwin, D.W. :date March 1973 :pages 34 :aim 290 :unavailable :title {Paterson's Worm} :author Michael Beeler :asort Beeler, M. :date June 1973 :ADnum (AD-775351) :pages 21 :aim 292 :unavailable :title {UT: Telnet Reference Manual} :author Donald Eastlake :asort Eastlake, D. :date April 1974 :pages 9 :aim 295 :unavailable :title {On Lightness} :author Berthold K.P. Horn :asort Horn, B.K.P. :date October 1973 :pages 52 :reference {See {\it Computer Graphics and Image Processing}, Vol. 3, No. 1, December 1974, pp. 277-299} :ADnum (AD-773569) :aim 296 :unavailable :title {An Essay on the Primate Retina} :author David Marr :asort Marr, D. :date January 1974 :pages 103 :reference {See {\it Vision Research}, 1974, Vol. 14, 1377-1388} :ADnum (AD-034482) :aim 298 :unavailable :title {Uses of Technology to Enhance Education} :author Seymour Papert :asort Papert, S. :date June 1973 :reference {See Logo Memo 8} :pages 109 :aim 299 :unavailable :title {Proposal to ARPA for Research on Intelligent Automata and Micro-Automati on, 1974-1976} :author MIT AI Laboratory :date September 1973 :pages 118 :aim 300 :unavailable :title {Design Outline for Mini-Arms Based on Manipulator Technology} :author Carl R. Flatau :asort Flatau, C.R. :date May 1974 :pages 47 :reference {Issued as A.I. Memo January 1974} :ADnum (AD-773570) :aim 301 :unavailable :title {A Mechanical Arm Control System} :author Richard C. Waters :asort Waters, R.C. :date January 1974 :pages 41 :ADnum (AD-A004672) :aim 302 :unavailable :title {A Relaxation Approach to Splitting in an Automatic Theorem Prover} :author Arthur Nevins :asort Nevins, A. :date January 1974 :pages 26 :ADnum (AD-A004269) :aim 303 :unavailable :title {Plane Geometry Theorem Proving Using Forward Chaining} :author Arthur Nevins :asort Nevins, A. :date January 1974 :pages 35 :ADnum (AD-A004223) :aim 304 :unavailable :title {Acceleration of Series} :author William Gosper :asort Gosper, W. :date March 1974 :pages 91 :ADnum (AD-A011837) :aim 305 :unavailable :title {Summary of MYCROFT: A System for Understanding Simple Picture Programs} :author Ira Goldstein :asort Goldstein, I. :date May 1974 :pages 62 :reference (Replaced by AI-TR-294) :ADnum (AD-A004671) :aim 306 :unavailable :title {A Framework for Representing Knowledge} :author Marvin Minsky :asort Minsky, M. :date June 1974 :reference {See {\it The Psychology of Computer Vision}, Winston (ed.)} :ADnum (AD-A011168) :aim 307 :unavailable :title {LLOGO: An Implementation of LOGO in LISP} :author Ira Goldstein :asort Goldstein, I. :date June 1974 :pages 93 :reference See Logo Memo 11 :ADnum (AD-A004669) :aim 307A :unavailable :title {LLOGO: An Implementation of LOGO in LISP} :author Ira Goldstein, Henry Lieberman, Harry Bochner and Mark Miller :asort Goldstein, I.; Lieberman, H.; Bochner, H.; Miller, M.L. :date March 1975 :pages 93 :reference See Logo Memo 11 :aim 308 :unavailable :title {Force Feedback in Precise Assembly Tasks} :author Hirochika Inoue :asort Inoue, H. :date August 1974 :pages 31 :ADnum (AD-A0ll369) :aim 309 :unavailable :title {Commenting Proofs} :author James R. Geiser :asort Geiser, J.R. :date August 1974 :pages 19 :ADnum (AD-A011838) :aim 311 :unavailable :title {TORTIS: Toddler's Own Recursive Turtle Interpreter System} :author Radia Perlman :asort Perlman, R. :date December 1974 :pages 10 :reference See Logo Memo 9 :aim 312 :unavailable :title {The Luxury of Necessity} :author Jeanne Bamberger :asort Bamberger, J. :date December 1974 :pages 24 :reference See Logo Memo 12 :aim 313 :unavailable :title {LOGO Manual} :author Hal Abelson, Nat Goodman, Lee Rudolph :asort Abelson, H.; Goodman, N.; Rudolph, L. :date December 1974 :reference See Logo Memo 7 :pages 84 :aim 314 :unavailable :title {What's In A Tune} :author Jeanne Bamberger :asort Bamberger, J. :date December 1974. :reference See Logo Memo 13 :pages 78 :aim 315 :unavailable :title {A Glossary of LOGO Primitives} :author Hal Abelson, Jim Adams :asort Abelson, H.; Adams, J. :date September 1974 :reference See Logo Memo 14 :pages 24 :aim 315A :unavailable :title {A Glossary of PDP11 LOGO Primitives} :author E. Paul Goldenberg :asort Goldenberg, P. :date March 1975 :reference See Logo Memo 16 :pages 39 :aim 319 :unavailable :title {Localization of Failures in Radio Circuits - A Study in Causal and Teleo logical Reasoning} :author Allen Brown, Gerald Sussman :asort Brown, A.; Sussman, G.J. :date December 1974 :pages 29 :ADnum (AD-A011839) :aim 320 :unavailable :title {Velocity Space and the Geometry of Planetary Orbits} :author Harold Abelson, Andrea diSessa, Lee Rudolph :asort Abelson, H.; diSessa, A.; Rudolph, L. :date December 1974 :reference See Logo Memo 15 :pages 58 :aim 321 :unavailable :title {Model-Driven Geometry Theorem Prover} :author Shimon Ullman :asort Ullman, S. :date May 1975 :pages 56 :ADnum (AD-A021446) :aim 322 :unavailable :title {A Frame for Frames: Representing Knowledge for Recognition} :author Benjamin J. Kuipers :asort Kuipers, B.J. :date March 1975 :ADnum (AD-A012835) :pages 34 :aim 323 :unavailable :title {Orienting Silicon Integrated Circuit Chips for Lead Bonding} :author Berthold K. P. Horn :asort Horn, B.K.P. :date January 1975 :pages 16 :ADnum (AD-A021137) :reference {See {\it Computer Graphics and Image Processing}, Vol. 4, pp. 294-303, 1975} :aim 324 :unavailable :title {On the Purpose of Low-level Vision} :author David Marr :asort Marr, D. :date December 1974 :pages 29 :reference {also A.I. Memo 340} :ADnum (AD-A012392) :aim 325 :unavailable :title {The Low-level Symbolic Representation of Intensity Changes in an Image} :author David Marr :asort Marr, D. :date December 1974 :pages 43 :ADnum (AD-A013669) :aim 326 :unavailable :title {The Recognition of Sharp Closely Spaced Edges} :author David Marr :asort Marr, D. :date December 1974 :pages 18 :ADnum (AD-A013090) :aim 327 :unavailable :title {A Note on the Computation of Binocular Disparity in a symbolic, Low-leve l Visual Processor} :author David Marr :asort Marr, D. :date December 1974 :ADnum (AD-A012393) :pages 19 :aim 328 :unavailable :title {Heuristic Techniques in Computer Aided Circuit Analysis} :author Gerald Jay Sussman and Richard Matthew Stallman :asort Sussman, G.J.; Stallman, R.M. :date March 1975 :pages 28 :reference {See {\it IEEE Transactions on Circuits and Systems}, Vol. CAS-22, No. 11, November 1975} :ADnum (AD-A021171) :aim 329 :unavailable :title {Parsing Intensity Profiles} :author Tomas Lozano-Perez :asort Lozano-Perez, T. :date May 1975 :pages 25 :ADnum (AD-A021172) :aim 330 :unavailable :title {A Computational View Of The Skill Of Juggling} :author Howard Austin :asort Austin, H. :date December 1974 :pages 60 :aim 331 :unavailable :title {Thesis Progress Report: A System For Representing and Using Real-World K nowledge} :author Scott E. Fahlman :asort Fahlman, S.E. :date May 1975 :pages 85 :ADnum (AD-A021178) :aim 332 :unavailable :title {Ideas about Management of Data Bases} :author Erik Sandewall :asort Sandewall, E. :date May 1975 :pages 35 :ADnum (AD-A013312) :aim 333 :unavailable :title {On the Detection of Light Sources} :author Shimon Ullman :asort Ullman, S. :date May 1975 :pages 20 :reference {See {\it Biol. Cybernetics}, 21, pp. 205-212, 1976} :ADnum (AD-A021136) :aim 334 :unavailable :title {Analyzing Natural Images: a Computational Theory of Texture Vision} :author David Marr :asort Marr, D. :date June 1975 :pages 43 :reference {See {\it Cold Spring Harbor Symp. Quant. Biol.}, 40, pp. 647-662, 1976} :ADnum (AD-A013257)
E1AR0002@SMUVM1.BITNET (02/20/86)
:aim 335 :unavailable :title {Image Intensity Understanding} :author Berthold K. P. Horn :asort Horn, B.K.P. :date August 1975 :reference {See "Understanding Image Intensities," {\it Artificial Intelligence}, Vol. 8, No. 2, April 1977, pp. 201-231} :ADnum (AD-A021135) :aim 336 :unavailable :title {Teaching Teachers Logo, The Lesley Experiments} :author Howard Austin :asort Austin, H. :date April 1976 :pages 26 :aim 337 :unavailable :title {Artificial Intelligence, Language and the Study of Knowledge} :author Ira Goldstein and Seymour Papert :asort Goldstein, I.; Papert, S. :date July 1975 :reference Revised March 1976 :pages 79 :aim 338 :unavailable :title {The Art of Snaring Dragons} :author Harvey A. Cohen :asort Cohen, H.A. :date November 1974 :pages 59 :revised May 1975 :reference See Logo Memo 18 :aim 339 :unavailable :title {Very Large Planner-type Data Bases} :author Drew V. McDermott :asort McDermott, D. :date September 1975 :pages 52 :ADnum (AD-A026370) :aim 340 :unavailable :title {Early Processing of Visual Information} :author D. Marr :asort Marr, D. :date December 1975 :ADnum (AD-A021445) :reference {See {\it Philo\-soph\-ical Transactions of the Royal Society of London, B}, 275, pp. 483-524, (1976).} :pages 67 :aim 341 :unavailable :title {Spatial Disposition of Axes in a Generalized Cylinder Representation of Objects that Do Not Encompass the Viewer} :author D. Marr and K. Nishihara :asort Marr, D.; Nishihara, H.K. :date December 1975 :pages 44 :ADnum (AD-A023456) :aim 342 :unavailable :title {The Development of Musical Intelligence I: Strategies for Representing S imple Rhythms} :author Jeanne Bamberger :asort Bamberger, J. :date November 1975 :pages 67 :reference See Logo Memo 19 :aim 343 :unavailable :title {Leading a Child to a Computer Culture} :author Cynthia Solomon :asort Solomon, C. :date December 1975 :pages 6 :reference See Logo Memo 20 :aim 344 :unavailable :title {How Near Is Near? A Near Specialist} :author Murray Elias Denofsky :asort Denofsky, M.E. :date February 1976 :pages 75 :aim 348 :unavailable :title {Turtle Escapes the Plane: Some Advanced Turtle Geometry} :author Andy diSessa :asort diSessa, A. :date December 1975 :pages 38 :reference See Logo Memo 21, also {\it Turtle Geometry: The Computer as a Medium for Exploring Mathematics}, MIT Press, 1981. :aim 349 :unavailable :title {An Interpreter for Extended Lambda Calculus} :author Gerald J. Sussman and Guy L. Steele, Jr :asort Sussman, G.J.; Steele, G.L., Jr. :date December 1975 :pages 43 :ADnum (AD-A026595) :aim 351 :unavailable :title {A State Space Model for Sensorimotor Control and Learning} :author Marc Raibert :asort Raibert, M. :date January 1976 :pages 35 :ADnum (AD-A026960) :aim 353 :title {Lambda: The Ultimate Imperative} :author Guy Lewis Steele, Jr. and Gerald Jay Sussman :asort Steele, G.L., Jr.; Sussman, G.J. :date March 1976 :cost $2.25 :pages 41 :ADnum (AD-A030751) :abstract We demonstrate how to model the following common programming constructs in terms of an applicative order language similar to LISP: Simple Recursion, Iteration, Compound Statements and Expressions, GO TO and Assignment, Continuation-Passing, Escape Expressions, Fluid Variables, Call by Name, Call by Need, and Call by Reference. The models require only (possibly self-referent) lambda application, conditionals, and (rarely) assignment. No complex data structures such as stacks are used. The models are transparent, involving only local syntactic transformations. Some of these models, such as those for GO TO and assignment, are already well known, and appear in the work of Landin, Reynolds, and others. The models for escape expressions, fluid variables, and call by need with side effects are new. This paper is partly tutorial in intent, gathering all the models together for purposes of context. :aim 355 :unavailable :title {Artificial Intelligence -- A Personal View} :author David Marr :asort Marr, D. :date March 1976 :pages 11 :reference {See {\it Artificial Intelligence} 9, pp. 37-48, 1976} :aim 356 :unavailable :title {Logo Progress Report 1973-1975} :author H. Abelson, J. Bamberger, I. Goldstein, and S. Papert :asort Abelson, H.; Bamberger, J.; Goldstein, I.; Papert, S. :date September 1975 :pages 21 :reference Revised March 1976. See Logo Memo 22. :aim 357 :unavailable :title {From Understanding Computation to Understanding Neural Circuitry} :author D. Marr and T. Poggio :asort Marr, D.; Poggio, T. :date May 1976 :pages 22 :reference {See {\it Neurosciences Res. Prog. Bulletin}, 15, pp. 470-488} :ADnum (AD-A026875) :aim 358 :unavailable :title {The Text-Justifier TJ6} :author Joseph D. Cohen :asort Cohen, J.D. :date May 1976 :pages 44 :aim 359 :unavailable :title {Spatial Knowledge} :author Benjamin Kuipers :asort Kuipers, B.J. :date June 1976 :pages 51 :ADnum (AD-A026874) :aim 360 :unavailable :title {Using Computer Technology to Provide a Creative Learning Environment for Preschool Children} :author Radia Perlman :asort Perlman, R. :date May 1976 :pages 31 :aim 361 :unavailable :title {The TV Turtle, A Logo Graphics System for Raster Displays} :author Henry Lieberman :asort Lieberman, H. :date June 1976 :pages 8 :aim 363 :unavailable :title {Occlusion Clues and Subjective Contours} :author Kent A. Stevens :asort Stevens, K.A. :date July 1976 :pages 19 :reference (Replaced by Memo 637) :aim 364 :unavailable :title {Cooperative Computation of Stereo Disparity} :author D. Marr and T. Poggio :asort Marr, D.; Poggio, T. :date June 1976 :pages 20 :ADnum (AD-A030748) :reference {See {\it Science}, 194, 282-287, 15 October, 1976} :aim 365 :unavailable :title {A Laboratory Environment for Applications Oriented Vision and Manipulati on} :author P. H. Winston and B. K. P. Horn :asort Winston, P.H.; Horn, B.K.P. :date May 1976 :pages 171 :ADnum (AD-A026990) :aim 366 :unavailable :title {Proposal to the Advanced Research Projects Agency} :author P. H. Winston and staff of the MIT AI Lab :asort Winston, P.H. :date May 1976 :pages 122 :ADnum (AD-A034091) :aim 367 :unavailable :title {Filling-in The Gaps: The Shape of Subjective Contours and a Model for Th eir Generation} :author Shimon Ullman :asort Ullman, S. :date October 1976 :pages 21 :reference {See {\it Biol. Cybernetics}, 25, pp. 1-6, 1976} :ADnum (AD-A034091) :aim 368 :unavailable :title {A System for Understanding Mathematical FORTRAN Programs} :author Richard C. Waters :asort Waters, R.C. :date August 1976 :pages 78 :ADnum (AD-A031844) :aim 369 :unavailable :title {Physiology and Psychology of Color Vision -- A Review} :author David Taenzer :asort Taenzer, D. :date August 1976 :pages 46 :aim 370 :unavailable :title {Synthesizing Constraint Expressions} :author Eugene C. Freuder :asort Freuder, E.C. :date July 1976 :ADnum (AD-A034011) :pages 31 :aim 371 :unavailable :title {NSF Proposal: An Evaluative Study of Modern Technology in Education} :author Seymour A. Papert :asort Papert, S. :date June 1976 :pages 44 :reference See Logo Memo 26 :aim 372 :unavailable :title {Analysis of Occluding Contour} :author David C. Marr :asort Marr, D. :date October 1976 :pages 54 :reference {See {\it Proceedings Royal Soc. of London B}, 197, pp. 441-475, (1977)} :ADnum (AD-A34010) :aim 373 :unavailable :title {Some Poetic and Social Criteria for Education Design} :author Seymour A. Papert :asort Papert, S. :date June 1976 :pages 14 :aim 374 :unavailable :title {A Computerized Look at Cat Locomotion or One Way to Scan a Cat} :author Glen Speckert :asort Speckert, G. :date July 1976 :pages 41 :ADnum (AD-A031856) :aim 375 :unavailable :title {A Case Study of a Young Child Doing Turtle Graphics in LOGO} :author Cynthia J. Solomon and Seymour Papert :asort Solomon, C.; Papert, S. :date July 1976 :pages 9 :reference See Logo Memo 28 :aim 376 :unavailable :title {Computational Geometry of Linear Threshold Functions} :author Harold Abelson :asort Abelson, H. :date July 1976 :pages 56 :aim 377 :unavailable :title {Representation and Recognition of the Spatial Organization of Three Dime nsional Shapes} :author D. Marr and H. K. Nishihara :asort Marr, D.; Nishihara, H.K. :date August 1976 :pages 57 :reference {See {\it Proc. R. Soc. London B}, 200, pp. 269-294} :ADnum (AD-A031882) :aim 378 :unavailable :title {Arithmetic Shifting Considered Harmful} :author Guy L. Steele, Jr :asort Steele, G.L., Jr. :date September 1976 :pages 13 :reference {See {\it ACM SIGPLAN Notices}, Vol. 12, No. 11, November 1977} :ADnum (AD-A031883) :aim 379 :title {LAMBDA: The Ultimate Declarative} :author Guy Lewis Steele, Jr. :asort Steele, G.L., Jr. :date November 1976 :cost $2.75 :pages 47 :ADnum (AD-A034090) :keywords environments, lambda calculus, procedurally defined data, data types, optimizing compilers, control structures, function invocation, temporary variables, continuation passing, actors, lexical scoping, dynamic binding :abstract In this paper, a sequel to "Lambda: The Ultimate Imperative," a new view of LAMBDA as a {\it renaming} operator is presented and contrasted with the usual functional view taken by LISP. This view, combined with the view of function invocation as a kind of generalized GOTO, leads to several new insights into the nature of the LISP evaluation mechanism and the symmetry between form and function, evaluation and application, and control and environment. It also complements Hewitt's actors theory nicely, explaining the intent of environment manipulation as cleanly, generally, and intuitively as the actor theory explains control structures. The relationship between functional and continuation-passing styles of programming is also clarified. This view of LAMBDA leads directly to a number of specific techniques for use by an optimizing compiler: (1) Temporary locations and user-declared variables may be allocated in a uniform manner. (2) Procedurally defined data structures may compile into code as good as would be expected for data defined by the more usual declarative means. (3) Lambda-calculus-theoretic models of such constructs as GOTO, DO loops, call-by-name, etc. may be used {\it directly} as macros, the expansion of which may then compile into code as good as that produced by compilers which are designed especially to handle GOTO, DO, etc. The necessary characteristics of such a compiler designed according to this philosophy are discussed. Such a compiler is to be built in the near future as a testing ground for these ideas. :aim 380 :unavailable :title Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis :author Richard M. Stallman and Gerald Jay Sussman :asort Stallman, R.M.; Sussman, G.J. :date September 1976 :pages 69 :reference {See {\it AI Journal}, Vol. 9, No. 2, pp. 135-196, October 1977} :ADnum (AD-A035719) :aim 381 :unavailable :title {Wumpus Advisor 1: A First Implementation Of A Program That Tutors Logica l and Probabilistic Reasoning Skills} :author James L. Stansfield, Brian P. Carr, and Ira P. Goldstein :asort Stansfield, J.L.; Carr, B.; Goldstein, I. :date October 1976 :pages 67 :ADnum (AD-A036678) :aim 382 :unavailable :title {Dual Coding and the Representation of Letter Strings} :author Steven T. Rosenberg :asort Rosenberg, S. :date July 1977 :pages 17 :aim 383 :unavailable :title {Overview of a Linguistic Theory of Design} :author Mark L. Miller and Ira P. Goldstein :asort Miller, M.L.; Goldstein, I. :date December 1976 :reference See Logo Memo 30 :ADnum (AD-A036915) :pages 31 :aim 383A :unavailable :title {Overview of a Linguistic Theory of Design} :author Mark L. Miller and Ira P. Goldstein :asort Miller, M.L.; Goldstein, I. :date February 1977 :pages 31 :reference See Logo Memo 30A :ADnum (AD-A036977) :aim 384 :unavailable :title {AI Based Personal Learning Environments: Directions for Long Term Resear ch} :author Ira P. Goldstein and Mark L. Miller :asort Goldstein, I.; Miller, M.L. :date December 1976 :pages 35 :aim 385 :unavailable :title {Parsing Protocols Using Problem Solving Grammars} :author Mark L. Miller and Ira P. Goldstein :asort Miller, M.L.; Goldstein, I. :date December 1976 :pages 58 :aim 386 :unavailable :title {SPADE: A Grammar Based Editor For Planning And Debugging Programs} :author Mark L. Miller and Ira P. Goldstein :asort Miller, M.L.; Goldstein, I. :date December 1976 :pages 64 :ADnum (AD-A036783) :reference See Logo Memo 33 :aim 387 :unavailable :title {Structured Planning and Debugging A Linguistic Theory of Design} :author Ira P. Goldstein and Mark L. Miller :asort Goldstein, I.; Miller, M.L. :date December 1976 :pages 85 :ADnum (AD-A0368l5) :reference See Logo Memo 34 :aim 388 :unavailable :title {PAZATN: A Linguistic Approach To Automatic Analysis of Elementary Progra mming Protocols} :author Mark L. Miller and Ira P. Goldstein :asort Miller, M.L.; Goldstein, I. :date December 1976 :pages 87 :reference See Logo Memo 35 :aim 389 :unavailable :title {A Preliminary Proposal for Research on The Computer as Coach: An Athleti c Paradigm for Intellectual Education} :author Ira Goldstein :asort Goldstein, I. :date January 1977 :pages 74 :reference See Logo Memo 37 :aim 391 :unavailable :title {Grammar as a Programming Language} :author Neil Rowe :asort Rowe, N. :date October 1976 :reference See Logo Memo 39 :pages 25 :aim 392 :unavailable :title {Computation of Locally Parallel Structure} :author Kent A. Stevens :asort Stevens, K.A. :date March 1977 :ADnum (AD-A052406) :pages 31 :aim 393 :unavailable :title {NSF Proposal: Student Science Training Program In Mathematics, Physics A nd Computer Science} :author Harold Abelson and Andy diSessa :asort Abelson, H.; diSessa, A. :date September 1976 :reference See Logo Memo 29 :pages 52 :aim 394 :unavailable :title {Local Methods for Localizing Faults in Electronic Circuits} :author Johan de Kleer :asort de Kleer, J. :date November 1976 :reference (Formerly Working Paper 109) :ADnum (AD-A036007) :pages 30 :aim 395 :unavailable :title {Pre-Readers' Concepts of the English Word} :author Robert Lawler :asort Lawler, R. :date November 1976 :reference See Logo Memo 40 :pages 142 :aim 396 :unavailable :title {Teaching the Computer to Add: An Example of Problem-Solving in an Anthro pomorphic Computer Culture} :author Cynthia Solomon :asort Solomon, C. :date December 1976 :reference See Logo Memo 41 :pages 21 :aim 398 :unavailable :title {Capturing Intuitive Knowledge in Procedural Description} :author Jeanne Bamberger :asort Bamberger, J. :date December 1976 :reference See Logo Memo 42 :pages 15 :aim 399 :unavailable :title {Symbolic Evaluation Using Conceptual Representations for Programs with S ide-Effects} :author Akinori Yonezawa and Carl Hewitt :asort Yonezawa, A.; Hewitt, C. :date December 1976 :ADnum (AD-A038244) :pages 43 :aim 400 :unavailable :title {The Competence/Performance Dichotomy in Programming} :author Vaughn R. Pratt :asort Pratt, V.R. :date January 1977 :ADnum (AD-A038245) :pages 18 :aim 401 :unavailable :title {Development of Musical Intelligence II: Children's Representation of Pit ch Relations} :author Jeanne Bamberger :asort Bamberger, J. :date December 1976 :reference See Logo Memo 43 :pages 30 :aim 405 :unavailable :title {NUDGE, A Knowledge-based Scheduling Program} :author Ira P. Goldstein and R. Bruce Roberts :asort Goldstein, I.; Roberts, R.B. :date February 1977 :pages 23 :aim 406 :unavailable :title {Overlays: A Theory for Computer Aided Instruction} :author Brian Carr and Ira P. Goldstein :asort Carr, B.; Goldstein, I. :date February 1977 :ADnum (AD-A052210) :pages 23 :aim 407 :unavailable :title {Annotated Production Systems: A Model for Skill Acquisition} :author Ira P. Goldstein and Eric Grimson :asort Goldstein, I.; Grimson, W.E.L. :date February 1977 :ADnum (AD-A052211) :reference See Logo Memo 44 :pages 24 :aim 408 :unavailable :title {The FRL Primer} :author R. Bruce Roberts and Ira P. Goldstein :asort Roberts, R.B.; Goldstein, I. :date July 1977 :ADnum (AD-A053306) :pages 21 :aim 409 :unavailable :title {The FRL Manual} :author R. Bruce Roberts and Ira P. Goldstein :asort Roberts, R.B.; Goldstein, I. :date June 1977 :ADnum (AD-A052310) :pages 29 :aim 410 :unavailable :title {Viewing Control Structures as Patterns of Passing Messages} :author Carl Hewitt :asort Hewitt, C. :date December 1976 :ADnum (AD-A038246) :pages 60 :aim 412 :unavailable :title {Control and Learning by the State Space Model: Experimental Findings} :author Marc Raibert :asort Raibert, M. :date April 1977 :pages 54 :aim 413 :unavailable :title {Level of Complexity in Discourse for Reference Disambiguation and Speech Act Interpretation} :author Candace Bullwinkle :asort Bullwinkle, C. :date May 1977 :ADnum (AD-A052306) :pages 25 :aim 414 :unavailable :title {Learning by Hypothesizing and Justifying Transfer Frames} :author Patrick H. Winston :asort Winston, P.H. :date April 1977 :ADnum (AD-A052212) :reference Revised January 1978 :pages 24 :aim 414A :unavailable :title {Learning by Creating and Justifying Transfer Frames} :author Patrick H. Winston :asort Winston, P.H. :date January 1978 :reference {See {\it Artificial Intelligence}, Vol. 10, pp. 147-172, 1978} :ADnum (AD-A055092) :pages 34 :aim 415 :unavailable :title {Representing Visual Knowledge} :author D. Marr :asort Marr, D. :date May 1977 :reference {See {\it A.M.S. Lectures in the Life Sciences}, vol. 10, pp. 101-180, 1978. Also, {\it Proceedings of the 1977 AAAS Meeting} Symposium on Some Mathematical Questions in Biology} :ADnum (AD-A055045) :pages 62 :aim 416 :unavailable :title {Representation and Recognition of the Spatial Organization of Three Dime nsional Shapes} :author D. Marr and H. K. Nishihara :asort Marr, D.; Nishihara, H.K. :date May 1977 :ADnum (AD-A053198) :pages 33 :aim 417 :unavailable :title {Wusor II: A Computer Aided Instruction Program with Student Modelling Ca pabilities} :author Brian Carr :asort Carr, B. :date May 1977 :reference See Logo Memo 45 :pages 131 :aim 420 :unavailable :title {Data Representations in PDP-10 MacLISP} :author Guy Lewis Steele, Jr. :asort Steele, G.L., Jr. :date September 1977 :reference {See {\it MACSYMA Users Conference Proceedings}, July 1977} :ADnum (AD-A052305) :pages 13 :aim 421 :unavailable :title {Fast Arithmetic in MacLISP} :author Guy Lewis Steele, Jr. :asort Steele, G.L., Jr. :date September 1977 :reference {See {\it MACSYMA Users Conference Proceedings}, July 1977} :ADnum (AD-A052304) :pages 11 :aim 422 :unavailable :title {Light Source Effects} :author K. Forbus :asort Forbus, K.D. :date May 1977 :ADnum (AD-A052309) :pages 26 :aim 423 :unavailable :title {COMEX: A Support System for a Commodities Analyst} :author J. Stansfield :asort Stansfield, J.L. :date July 1977 :ADnum (AD-A052442) :pages 29 :aim 424 :unavailable :title {The Minimum Energy Movement for a Spring Muscle Model} :author John M. Hollerbach :asort Hollerbach, J.M. :date September 1977 :ADnum (AD-A065543) :pages 28 :aim 425 :unavailable :title {Electrical Design a Problem for Artificial Intelligence Research} :author Gerald Jay Sussman :asort Sussman, G.J. :date June 1977 :reference {See {\it IJACI 5 Proceedings}, August 1977} :pages 20 :aim 426 :unavailable :title {The Computation of Immediate Texture Discrimination} :author Bruce R. Schatz :asort Schatz, B.R. :date August 1977 :ADnum (AD-A053804) :pages 97 :aim 427 :unavailable :title {Explicit Control of Reasoning} :author Johan de Kleer, Jon Doyle, Guy L. Steele, Jr., and Gerald Jay Sussman :asort de Kleer, J.; Doyle, J.; Steele, G.L., Jr.; Sussman, G.J. :date June 1977 :reference {See {\it AIPL August 1977 Proceedings} in {\it SIGPLAN/SIGART} 1977} :ADnum (AD-A078244) :pages 25 :aim 428 :unavailable :title {Modelling Distributed Systems} :author Akinori Yonezawa and Carl Hewitt :asort Yonezawa, A.; Hewitt, C. :date June 1977 :reference {See {\it Proceedings of 1977 International Joint Conference on Artificial Intelligence}, pp. 189-198, August 1977. Also in {\it Machine Intelligence 9}, John Wylie, 1978} :ADnum (AD-A062531) :pages 21 :aim 429 :unavailable :title {A Proof-checker for Dynamic Logic} :author S. D. Litvintchouk and V. R. Pratt :asort Litvintchouk, S.D.; Pratt, V.R. :date June 1977 :ADnum (AD-A052443) :pages 19 :aim 430 :unavailable :title {Plain Talk About Neurodevelopmental Epistemology} :author Marvin Minsky :asort Minsky, M. :date June 1977 :pages 23 :aim 431 :unavailable :title {Frames-based Text Processing} :author S. Rosenberg :asort Rosenberg, S. :date August 1977 :ADnum (AD-A052444) :pages 33 :aim 432 :unavailable :title {Teacher's Guide for Computational Models of Animal Behavior} :author Hal Abelson and Paul Goldenberg :asort Abelson, H.; Goldenberg, P. :date April 1977 :reference See Logo Memo 46 :pages 36 :aim 433 :unavailable :title {Slices At the Boundary between Analysis and Synthesis} :author Gerald Jay Sussman :asort Sussman, G.J. :date July 1977 :reference {See {\it Proceedings Conference on Artificial Intelligence and Pattern Recognition in Computer-Aided Design}, IFIP WG 5.2, Grenoble, France, March 1978. See also AIM 502A.} :pages 23 :aim 435 :unavailable :title {AMORD A Deductive Procedure System} :author Johan de Kleer, Jon Doyle, Charles Rich, Guy L. Steele, and Gerald Jay Sussman :asort de Kleer, J.; Doyle, J.; Rich, C.; Steele, G.L., Jr.; Sussman, G.J. :date January 1978 :ADnum (AD-A078417) :pages 47 :aim 436A :unavailable :title {Actors and Continuous Functionals} :author Carl Hewitt and Henry Baker :asort Hewitt, C.; Baker, H.G. :date July 1977 :reference {See {\it Formal Description of Programming Concepts}, (Ed.) Erich J. Neuhold. Also {\it Procedings IFIP Working Conference on Formal Description of Programming Concepts}, pp. 367-387, August 1-5, 1977} :ADnum (AD-A062532) :pages 29 :aim 437 :unavailable :title {Using Synthetic Images to Register Real Images with Surface Models} :author Berthold K. P. Horn and Brett L. Bachman :asort Horn, B.K.P.; Bachman, B.L. :date August 1977 :reference {See {\it Comm. of the A.C.M.}, Vol. 21, No. 11, November 1978, pp. 914-924} :ADnum (AD-A052512) :pages 50 :aim 438 :unavailable :title {Specification and Proof Techniques for Serializers} :author Russell Atkinson and Carl Hewitt :asort Atkinson, R.; Hewitt, C. :date August 1977 :reference {See {\it IEEE Journal on Software Engineering}, Vol. SE-5, No. 1, pp. 10-23, January 1979} :ADnum (AD-A062533) :pages 37 :aim 440 :unavailable :title {Density Reconstruction Using Arbitrary Ray Sampling Schemes} :author Berthold K. P. Horn :asort Horn, B.K.P. :date September 1977 :reference {See {\it Proc I.E.E.E.}, Vol. 66, No. 5, May 1978} :pages 56 :aim 441 :unavailable :title {On "Learnable" Representations of Knowledge: A Meaning for the Computati onal Metaphor} :author Andrea A. diSessa :asort diSessa, A. :date September 1977 :reference {See {\it Cognitive Process Instruction}, J. Lochhead \& J. Clement, eds., Franklin Institute Press, 1978, pp. 239-266. See also Logo Memo 47.} :pages 41 :aim 442 :unavailable :title {Towards a Theory of Local and Global in Competition} :author Harold Abelson :asort Abelson, H. :date September 1977 :pages 43 :aim 443 :unavailable :title {Debunking the "Expensive Procedural Call" Myth or Procedure Call Impleme ntation Considered Harmful or Lambda: The Ultimate GOTO} :author Guy Lewis Steele, Jr. :asort Steele, G.L., Jr. :date October 1977 :ADnum (AD-A062381) :pages 23 :aim 444 :unavailable :title {LISP Machine Progress Report} :author Alan Bawden, Richard Greenblatt, Jack Holloway, Thomas Knight, David Moon, Daniel Weinreb :asort Bawden, A.; Greenblatt, R.; Holloway, J.; Knight, T.; Moon, D.; Weinreb, D. :date August 1977 :ADnum (AD-A062178) :pages 29 :aim 445 :unavailable :title {Understanding Hand-Printed Algebra for Computer Tutoring} :author Stephen C. Purcell :asort Purcell, S.C. :date February 1977 :pages 66 :aim 446 :unavailable :title {Analysis of a Cooperative Stereo Algorithm} :author D. Marr, G. Palm and T. Poggio :asort Marr, D.; Palm, G.; Poggio, T. :date October 1977 :reference {See {\it Biol. Cybernetics}, Vol. 28, pp. 223-239, 1978} :ADnum (AD-A055099) :pages 65 :aim 447 :title {An Introduction to the EMACS Editor} :author Eugene Ciccarelli :asort Ciccarelli, E. :date January 1978 :cost $2.75 :pages 23 :abstract EMACS is a real-time editor primarily intended for display terminals The intent of this memo is to describe EMACS in enough detail to allow a user to edit comfortably in most circumstances, knowing how to get more information if needed. Basic commands described cover buffer editing, file handling, and getting help. Two sections cover commands especially useful for editing LISP code, and text (word- and paragraph-commands). A brief "cultural interest" section describes the environment that supports EMACS commands. :end :aim 448 :unavailable :title {Fan-beam Reconstruction Methods} :author Berthold K. P. Horn :asort Horn, B.K.P. :date November 1977 :pages 43 :reference {See {\it Proceedings of the IEEE}, Vol. 67, No. 12, pp. 1616-1623, December 1979} :aim 449 :unavailable :title {The Genetic Epistemology of Rule Systems} :author Ira P. Goldstein :asort Goldstein, I. :date January 1978 :pages 45 :aim 451 :unavailable :title {A Theory of Human Stereo Vision} :author D. Marr and T. Poggio :asort Marr, D.; Poggio, T. :date November 1977 :pages 89 :reference {See {\it Proceedings Royal Society of London} B., Vol. 204, 301-328, 1979} :ADnum (AD-A062564) :aim 452 :title {The Revised Report on Scheme a Dialect of LISP} :author Guy Lewis Steele Jr. and Gerald Jay Sussman :asort Steele, G.L., Jr.; Sussman, G.J. :date January 1978 :cost $2.25 -------