Publications Search

83 results

High-Level Planning In A Mobile Robot Domain
David E. Wilkins

An application of the SIPE planning system to high-level task planning for an autonomous indoor mobile robot is presented.

Jul, 1986 Journal Download PDF Details
How To Clear A Block: A Theory Of Plans
Zohar Manna, & Richard J. Waldinger

Problems in commonsense and robot planning are approached by methods adapted from program synthesis research; planning is regarded as an application of automated deduction.

Dec, 1986 Journal Download PDF Details
Image-To-Image Correspondence: Linear-Structure Matching
Grahame B. Smith, & Helen C. Wolf

We examine the task of matching images of a scene when they are taken from very different vantage points, when there is considerable scale change, and when the image orientations are unknown.

Jul, 1984 Journal Download PDF Details
Insights into Alternative Certification: Initial Findings From a National Study
Daniel Humphrey, & Marjorie Wechsler

SRI conducted a comprehensive study of alternative teacher certification programs to determine the characteristics of those that were effective. This publication provides the study's initial findings.

Mar, 2007 Article Download PDF Details
Topics: Teacher Quality + Learning
Interactive Aids For Cartography and Photo Interpretation
H.G. Barrow, Thomas D. Garvey, Jan H. Kremers, J.M. Tenenbaum, & H.C. Wolf

This report covers the six-month period October 1975 to April 1976. In this report, the application areas of ARPA-supported Machine Vision work at SRI were changed to Cartography and Photointerpretation.

Jan, 1977 Journal Download PDF Details
Is "Sometimes" Sometimes Better Than "Always"?; Intermittent, Assertion In Proving Program Correctness
Zohar Manna, & Richard J. Waldinger

This paper explores a technique for proving the correctness and termination of programs simultaneously.

Jun, 1976 Journal Download PDF Details
ISIS: An Interactive Facility for Scene Analysis Research
J.M. Tenenbaum, T.D. Gamey, Stephen A. Weyl, & H.C. Wolf

This paper summarizes initial progress in developing a computer system that can be rapidly programmed to analyze any class of pictorial scenes.

Jun, 1974 Journal Download PDF Details
KIPP Schools, A Study of Early Implementation: First Year Report, 2004 - 2005
Jane L, Bay Area Research Group David, Katrina Woodworth, Elizabeth, Independent Consultant Grant, Roneeta Guha, Alejandra Lopez-Torkos, & Viki Young

The study reports the extent to which five Bay Area Knowledge Is Power Program schools achieve their goals and the implications of the findings for other public schools.

Mar, 2006 Journal Download PDF Details
Topics: Educational Impact Evaluation
Knowledge and Reasoning In Program Synthesis
Zohar Manna, & Richard J. Waldinger

We describe some of the reasoning and programming capabilities of a projected synthesis system. Special attention is paid to the introduction of conditional tests, loops, and instructions with wide effects in the program being constructed.

Nov, 1974 Journal Download PDF Details
Map-Guided Interpretation Of Remotely-Sensed Imagery
J.M. Tenenbaum, H.G. Barrow, Robert C. Bolles , M.A. Fischler, & H.C. Wolf

A map-guided approach to interpretation of remotely sensed imagery is described, with emphasis on applications involving continuous monitoring of predetermined ground sites.

Feb, 1979 Journal Download PDF Details