Now showing items 956-975 of 1217

    • SARGE: A Program for Drilling Students in Freshman Calculus Integration Problems 

      Moses, Joel (1968-03-01)
      The SARGE program is a prototype of a program which is intended to be used as an adjacent to regular classroom work in freshman calculus. Using SARGE, students can type their step-by-step solution to an indefinite ...
    • Scaling Theorems for Zero-Crossings 

      Yuille, A.L.; Poggio, T. (1983-06-01)
      We characterize some properties of the zero-crossings of the laplacian of signals - in particular images - filtered with linear filters, as a function of the scale of the filter (following recent work by A. Witkin, 1983). ...
    • Scheme 86: An Architecture for Microcoding a Scheme Interpreter 

      Wu, Henry M. (1988-08-01)
      I describe the design and implementation plans for a computer that is optimized as a microcoded interpreter for Scheme. The computer executes SCode, a typed-pointer representation. The memory system has low-latency as ...
    • The SCHEME-79 Chip 

      Holloway, Jack; Steel, Guy Lewis, Jr.; Sussman, Gerald Jay; Bell, Alan (1980-01-01)
      We have designed and implemented a single-chip microcomputer (which we call SCHEME-79) which directly interprets a typed pointer variant of SCHEME, a dialect of the language LISP. To support this interpreter the chip ...
    • Scheme86: A System for Interpreting Scheme 

      Berlin, Andrew A.; Wu, Henry M. (1988-04-01)
      Scheme86 is a computer system designed to interpret programs written in the Scheme dialect of Lisp. A specialized architecture, coupled with new techniques for optimizing register management in the interpreter, allows ...
    • SCHEME: An Interpreter for Extended Lambda Calculus 

      Sussman, Gerald J.; Steele, Guy L., Jr. (1975-12-01)
      Inspired by ACTORS [Greif and Hewitt] [Smith and Hewitt], we have implemented an interpreter for a LISP-like language, SCHEME, based on the lambda calculus [Church], but extended for side effects, multiprocessing, and ...
    • The Scientific Community Metaphor 

      Kornfeld, William A.; Hewitt, Carl (1981-01-01)
      Scientific communnities have proven to be extremely successful at solving problems. They are inherently parallel systems and their macroscopic nature makes them amenable to careful study. In this paper the character of ...
    • SCPLOT BIN 

      Sordillo, Donald (1966-10-01)
      This program will take a list of display instructions and cause it to be plotted. For further or more detailed information consult with Michael Speciner.
    • Secondary Storage in LISP 

      Edwards, Daniel J. (1963-12-01)
      A principal limitation of LISP processors in many computations is that of inadequate primary random-access storage. This paper explores several methods of using a secondary storage medum (such as drums, disk files or magetic ...
    • A Security Kernel Based on the Lambda-Calculus 

      Rees, Jonathan A. (1996-03-13)
      Cooperation between independent agents depends upon establishing adegree of security. Each of the cooperating agents needs assurance that the cooperation will not endanger resources of value to that agent. In a computer ...
    • Seeing 'Ghost' Solutions in Stereo Vision 

      Weinshall, Daphna (1988-09-01)
      A unique matching is a stated objective of most computational theories of stereo vision. This report describes situations where humans perceive a small number of surfaces carried by non-unique matching of random dot ...
    • Seeing What Your Programs Are Doing 

      Lieberman, Henry (1982-02-01)
      An important skill in programming is being able to visualize the operation of procedures, both for constructing programs and debugging them. Tinker is a programming environment for Lisp that enables the programmer to ...
    • A Selected Descriptor-Indexed Bibliography to the Literature on Belief Revision 

      Doyle, Jon; London, Philip (1980-02-01)
      This article presents an overview of research in an area loosely called belief revision. Belief revision concentrates on the issue of revising systems of beliefs to reflect perceived changes in the environment or ...
    • Selecting One Among the Many: A Simple Network Implementing Shifts in Selective Visual Attention 

      Koch, Christof; Ullman, Shimon (1984-01-01)
      This study addresses the question of how simple networks can account for a variety of phenomena associated with the shift of a specialized processing focus across the visual scene. We address in particular aspects of ...
    • Selecting Relevant Genes with a Spectral Approach 

      Wolf, Lior; Amnon Shashua,; Mukherjee, Sayan (2004-01-27)
      Array technologies have made it possible to record simultaneously the expression pattern of thousands of genes. A fundamental problem in the analysis of gene expression data is the identification of highly relevant genes ...
    • Self Calibration of Motion and Stereo Vision for Mobile RobotsNavigation 

      Brooks, Rodney A.; Flynn, Anita M.; Marill, Thomas (1987-08-01)
      We report on experiments with a mobile robot using one vision process (forward motion vision) to calibrate another (stereo vision) without resorting to any external units of measurement. Both are calibrated to a velocity ...
    • A Self-Organizing Multiple-View Representation of 3D Objects 

      Edelman, Shimon; Weinshall, Daphna (1989-08-01)
      We explore representation of 3D objects in which several distinct 2D views are stored for each object. We demonstrate the ability of a two-layer network of thresholded summation units to support such representations. Using ...
    • Semantic Support for Work in Organizations 

      Barber, Gerald; Jong, Peter de; Hewitt, Carl (1983-04-01)
      Present day computer systems cannot implement much of the work carried out in organizations such as: planning, decision making, analysis, and dealing with unanticipated situations. Such organizational activities have ...
    • Semantics of Inheritance and Attributions in the Description System Omega 

      Attardi, Giuseppe; Simi, Maria (1981-08-01)
      Omega is a description system for knowledge embedding which incorporates some of the attractive modes of expression in common sense reasoning such as descriptions, inheritance, quantification, negation, attributions ...
    • (Semi-)Predictive Discretization During Model Selection 

      Steck, Harald; Jaakkola, Tommi S. (2003-02-25)
      In this paper, we present an approach to discretizing multivariate continuous data while learning the structure of a graphical model. We derive the joint scoring function from the principle of predictive accuracy, which ...