DSpace Repository
Recently added
Login
English
العربية
DSpace Home
→
Harvested articles مقالات مستوردة من مؤسسات وجامعات عالمية
→
MIT Items
→
Recent submissions
JavaScript is disabled for your browser. Some features of this site may not work without it.
MIT Items: Recent submissions
Now showing items 1441-1460 of 5627
Previous Page
Next Page
Learning by Creating and Justifying Transfer Frames
Winston, Patrick H.
(
2013-10-09
)
The Computation of Immediate Texture Discrimination
Schatz, Bruce R.
(
2013-10-09
)
Teacher's Guide for Computational Models of Animal Behavior
Abelson, Hal; Goldenberg, Paul
(
2013-10-09
)
Frame-based Text Processing
Rosenberg, Steven T.
(
2013-10-09
)
A Proof-Checker for Dynamic Logic
Litvintchouk, S.D.; Pratt, V.R.
(
2013-10-09
)
Specification and Proof Techniques for Serializers
Atkinson, Russell; Hewitt, Carl
(
2013-10-09
)
SLICES: At the Boundary Between Analysis and Synthesis
Sussman, Gerald Jay
(
2013-10-09
)
Using Synthetic Images to Register Real Images with Surface Models
Horn, Berthold K.P.; Bachman, Brett L.
(
2013-10-09
)
Density Reconstruction Using Arbitrary Ray Sampling Schemes
Horn, Berthold K.P.
(
2013-10-09
)
Debunking the 'Expensive Procedure Call' Myth, or, Procedure Call Implementations Considered Harmful, or, Lambda: The Ultimate GOTO
Steele, Guy Lewis, Jr.
(
2013-10-09
)
AMORD: A Deductive Procedure System
Kleer, Johan de; Doyle, Jon; Rich, Charles; Steele, Guy L., Jr.; Sussman, Gerald Jay
(
2013-10-09
)
Analysis of a Cooperative Stereo Algorithm
Marr, D.; G. Palm,; Poggio, T.
(
2013-10-09
)
Explicit Control of Reasoning
Kleer, Johan de; Doyle, Jon; Steele, Guy L., Jr.; Sussman, Gerald Jay
(
2013-10-09
)
Propagation of Constraints Applied to Circuit Synthesis
Kleer, Johan de; Sussman, Gerald Jay
(
2013-10-09
)
Fan-beam Reconstruction Methods
Horn, Berthold K.P.
(
2013-10-09
)
Understanding Hand-Printed Algebra for Computer Tutoring
Purcell, Stephen C.
(
2013-10-09
)
An Introduction to the EMACS Editor
Ciccarelli, Eugene
(
2013-10-09
)
LISP Machine Progress Report
Bawden, Alan; Greenblatt, Richard; Holloway, Jack; Knight, Thomas; Moon, David; Weinreb, Daniel
(
2013-10-09
)
Director Guide
Kahn, Kenneth M.
(
2013-10-09
)
Dynamic Graphics Using Quasi Parallelism
Kahn, Kenneth M.; Hewitt, Carl
(
2013-10-09
)
Now showing items 1441-1460 of 5627
Previous Page
Next Page
Search DSpace
Search DSpace
This Collection
Advanced Search
Browse
All of DSpace
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
My Account
Login
Register