LCS Technical Memos (1974 - 2003): Recent submissions

Now showing items 205-207 of 486

    • Hierarchical Inequality Reasoning 

      Sacks, Elisha P. (1987-02)
      This paper describes a program called BOUNDER that proves inequalities between elementary functions over finite sets of constraints. Previous inequality algorithms perform well on some subset of the elementary functions, ...

    • Game Tree Searching by Min/Max Approximation 

      Rivest, Ronald L. (1986-09)

    • An Artificial Intelligence Approach to Clinical Decision Making 

      Szolovits, Peter; Kassirer, Jerome P.; Long, William J.; Moskowitz, Alan J.; Pauker, Stephen G.; e.a. (1986-09)
      This memo is the text of a proposal from the MIT Laboratory for Computer Science Clinical Decision Making group to the National Library of Medicine, requesting support for a five-year program of research.