## Annual review of computer science, Volume 3; Volume 1988Joseph Frederick Traub, Barbara Grosz, Butler W. Lampson, Nils J. Nilsson |

### From inside the book

4 pages matching **navlab carnegie mellon** in this book

#### Page v

Where's the rest of this book?

Results 1-3 of 4

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

CONTENTS | 1 |

The Emerging Paradigm of Computational Vision Steven | 69 |

A Historical Overview | 317 |

Copyright | |

4 other sections not shown

### Common terms and phrases

ACM Symp actions agent algorithm applications approach Artif Artificial Intelligence autoepistemic logic axioms behavior Byzantine failures Calif circumscription clause common knowledge Common Lisp complexity computer algebra Computer Vision Conf constraints database default default logic denote described developed domain educational example expert system factor formal formula frame problem function given goal graph hardware IEEE implementation inference integer Intell interaction Karmarkar's algorithm knowledge base knowledge representation Kripke structure language lattice Lenstra linear programming linear temporal logic Lovasz machines Math McDermott method module node nonfaulty processors nonmonotonic reasoning object operators path polynomial polynomial-time possible predicate problem Proc properties protocol prove reduced basis representation represented result Section semantics sentence sequence situation calculus solution solving specification structure Tech techniques temporal logic theory transformation Univ variables vector