MIT Items Collection home page

Browse
Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit Date in Descending order): 1401 to 1420 of 5627
< previous   next >
Issue DateTitleAuthor(s)
9-Oct-2013A Human Oriented Logic for Automatic Theorem Proving-
9-Oct-2013Orienting Silicon Integrated Circuit Chips for Lead Bonding-
9-Oct-2013On the Purpose of Low-level Vision-
9-Oct-2013The Recognition of Sharp, Closely Spaced Edges-
9-Oct-2013Pretty-Printing, Converting List to Linear Structure-
9-Oct-2013Elementary Geometry Theorem Proving-
9-Oct-2013Parsing Intensity Profiles-
9-Oct-2013The Binford-Horn LINE-FINDER-
9-Oct-2013SCHEME: An Interpreter for Extended Lambda Calculus-
9-Oct-2013Turtle Escapes the Plane: Some Advanced Turtle Geometry-
9-Oct-2013Proposal to ARPA for Continued Research on A.I. for 1973-
9-Oct-2013Grammar for the People: Flowcharts of SHRDLU's Grammar-
9-Oct-2013Lambda: The Ultimate Imperative-
9-Oct-2013Velocity Space and the Geometry of Planetary Orbits-
9-Oct-2013A State Space Model for Sensorimotor Control and Learning-
9-Oct-2013Spatial Knowledge-
9-Oct-2013From Understanding Computation to Understanding Neural Circuitry-
9-Oct-2013Model-Driven Geometry Theorem Prover-
9-Oct-2013A Frame for Frames: Representing Knowledge for Recognition-
9-Oct-2013A Laboratory Environment for Applications Oriented Vision and Manipulation-
Collection's Items (Sorted by Submit Date in Descending order): 1401 to 1420 of 5627
< previous   next >