Index Catalog // ScholarsArchive@OSU

FORLOG : a logic-based architecture for design

Creator:: Dietterich, Thomas G. and Ullman, David G.
Abstract:: It is difficult to build intelligent computer-aided design (ICAD) programs using available expert system shells and AI programming languages. To build ICAD programs, tools are needed that support (a) generative search of design spaces, (b) deep search of design spaces to evaluate alternative designs, (c) simultaneous exploration of alternative designs...
Resource Type:: Technical Report
Full Text:: Corvallis, Oregon 97331 David G. Ullman, P.E. Department of Mechanical Engineering Oregon State

Preliminary results of an experimental study of the mechanical design process

Creator:: Ullman, David G., Stauffer, Larry A., and Dietterich, Thomas G.
Abstract:: This paper presents the initial results from an empirical study of mechanical design engineers. In this study, six engineers were video-taped solving real mechanical design problems. Preliminary analysis of this protocol data has yielded several important findings, including (a) mechanical designers progress from systematic to opportunistic behavior as the design...
Resource Type:: Technical Report
Full Text:: of the Mechanical Design Process David G. Ullman and Larry A. Stauffer Department of Mechanical

Service life of treated and untreated fence posts : 1957 progress report on the T. J. Starker post farm

Creator:: Oregon Forest Research Center, Graham, Robert D., and Miller, Donald J.
Resource Type:: Technical Report
Full Text:: 1957 Progress Report on the T. J. Starker Post Farm By Robert D. Graham Donald J. Miller STATE

Type checking and parameterized types

Creator:: Sandberg, David W.
Abstract:: A method for implementing parameterized types is given. Two simplifying restrictions are assumed: types are only parameterized with other types, and assignment is like that of SNOBOL, CLU, and Smalltalk. An algorithm for type checking that handles parameterized types and overloading is presented .
Resource Type:: Technical Report
Full Text:: , Oregon 97331 7 n l l l n I u lJ J u Type Checking and Parameterized Types David

The applicative style of programming

Creator:: Wise, David S.
Resource Type:: Technical Report
Full Text:: Applicative Style of Programming David S. Wise Computer Science Department Indiana University

Measure 37 report and recommendations to Sen. Floyd J. Prozanski, Jr., Rep. Gregory H. Macpherson, Co-Chairs, Joint Special Committee on Land Use Fairness, 2007 Legislative Session

Creator:: Atiyeh, Victor, Roberts, Barbara, 1936-, and Gray, John D. (John Delton), 1919-
Abstract:: In summary, as detailed below in Section III, we recommend the 2007 Legislature put Measure 37 back on the track of fair and honest compensation for all claimants, and corral the threat to Willamette Valley agriculture at the same time, by providing as follows: • Whether in the form of...
Resource Type:: Technical Report
Full Text:: Measure 37 Report and Recommendations to Sen. Floyd J

Representing matrices as quadtrees for parallel processors

Creator:: Wise, David S.
Resource Type:: Technical Report
Full Text:: Parallel Processors David S. Wise Computer Science Department Indiana University Bloomington, Indiana

The design of the programming language X-2

Creator:: Sandberg, David W.
Abstract:: The design of an experimental object-based programming language is discussed. The language is intended for investigating techniques for organization of programs.
Resource Type:: Technical Report
Full Text:: Programming Language X-2 David W. Sandberg Department of Computer Science Oregon State University

An alternative to subclassing

Creator:: Sandberg, David W.
Abstract:: Smalltalk-80 obtains some of its expressive power from arranging classes in a hierarchy. Inheritance is an important aspect of this hierarchy. An alternative organization of classes is proposed that emphasizes description instead of inheritance. This alternative can be used with compile-time type checking and retains the important characteristics of Smalltalk's...
Resource Type:: Technical Report
Full Text:: l l l l J I u u 1 An Alternative To Subclassing David Sandberg Oregon State University

A powerdoman semantics for indeterminism

Creator:: Wise, David S.
Abstract:: A denotational semantics is presented for a language that includes multiple-valued functions (essentially Lisp S-expressions), which map from ground values into the power domain of ground values. The domain equations are reflexive. and fixed points of all functions are defined. Thus, it is possible to specify an operating system as...
Resource Type:: Technical Report
Full Text:: Powerdoman Semantics for Indeterminism David S. Wise Computer Science Department Indiana University

ScholarsArchive@OSU

FORLOG : a logic-based architecture for design

Preliminary results of an experimental study of the mechanical design process

Service life of treated and untreated fence posts : 1957 progress report on the T. J. Starker post farm

Type checking and parameterized types

The applicative style of programming

Measure 37 report and recommendations to Sen. Floyd J. Prozanski, Jr., Rep. Gregory H. Macpherson, Co-Chairs, Joint Special Committee on Land Use Fairness, 2007 Legislative Session

Representing matrices as quadtrees for parallel processors

The design of the programming language X-2

An alternative to subclassing

A powerdoman semantics for indeterminism

Limit your search

Academic Affiliation

Advisor

Commencement Year

Conference Name

Creator

Contributor

Date

Decade

Degree Field

Degree Level

Degree Name

File Format

Funding Body

Language

License

Location

Non-Academic Affiliation

Peer Reviewed

Resource Type

Rights Statement

Subject

Search Constraints

Search Results

Limit your search