Metabuscador

Filtrado por:

Temas

knowledge representation (3)
Architecture. (2)
Civil Engineering. (2)
Electrical Engineering and Computer Science. (2)
robotics (2)
Más...

Año

2005 (9)
2004 (20)
1990 (1)
1988 (2)
1986 (1)
Más...

Aproximadamente 29 registro(s) hasta el momento: (knowledge)

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

Inquiring into architectural texts : towards an interpretation of architectural knowledge
Purwono, Eko

Formato:	Thesis
Enlaces:	An investigation was carried out on the contents of the architectural texts in order to illuminate written architectural knowledge. The thesis takes as its case study the required reading list for Introduction to Architecture course at Yale College, Yale University,…
Fecha:	2005-08-09
Recurso:	MIT

Recurso libre

Consensus Knowledge Acquisition
Trice, Andrew - Davis, Randall

Formato:
Enlaces:	We have developed a method and prototype program for assisting two experts in their attempts to construct a single, consensus knowledge base. We show that consensus building can be effectively facilitated by a debugging approach that identifies, explains, and resolves…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

Methodology in architectural design
Wiggins, Glenn E

Formato:	Thesis
Enlaces:	The act of designing in architecture is a complex process. Many designers, when probed for reasons to explain their actions, are either unable to answer questions, or provide explanations that are not true descriptions of their actions. Frequently the designer…
Fecha:	2005-08-09
Recurso:	MIT

Recurso libre

The architectural design studio as a method of inquiry : a pedagogical model for the development of architectural knowledge
Silberberg, Ross Allen

Formato:	Thesis
Enlaces:	This thesis is concerned with the systematic investigation and application of knowledge within the architectural design studio. The thesis takes, as a point of departure in the development of architectural epistemology, a model of knowledge developed by Yehuda Elkana, in…
Fecha:	2005-08-10
Recurso:	MIT

Recurso libre

Taxonomic Syntax for First-Order Inference
McAllester, David - Givan, Robert

Formato:
Enlaces:	Most knowledge representation languages are based on classes and taxonomic relationships between classes. Taxonomic hierarchies without defaults or exceptions are semantically equivalent to a collection of formulas in first order predicate calculus. Although designers of knowledge representation languages often express…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

Toward a Theory of Representation Design
Baalen, Jeffrey Van

Formato:
Enlaces:	This research is concerned with designing representations for analytical reasoning problems (of the sort found on the GRE and LSAT). These problems test the ability to draw logical conclusions. A computer program was developed that takes as input a straightforward…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

Recognition of words from their spellings : integration of multiple knowledge sources
Daly, Nancy Ann

Formato:	Thesis
Enlaces:	by Nancy Ann Daly., Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1987., MICROFICHE COPY AVAILABLE IN ARCHIVES AND ENGINEERING., This research was supported by the National Science Foundation and the Defense Advanced Research Projects Agency.,…
Fecha:	2005-08-08
Recurso:	MIT

Recurso libre

A framework for engineering knowledge representation and problem solving
Chehayeb, Fadi S

Formato:	Thesis
Enlaces:	by Fadi S. Chehayeb., Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Civil Engineering, 1987., M.I.T. copy lacks leaf 4., Bibliography: v. 2, leaves 238-240.
Fecha:	2005-08-08
Recurso:	MIT

Recurso libre

Causal/Temporal Connectives: Syntax and Lexicon
Brent, Michael R.

Formato:
Enlaces:	This report elucidates the linguistic representation of temporal relations among events. This involves examining sentences that contain two clauses connected by words like once, by the time, when, and before. Specifically, the effect of the tenses of the connected clauses…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

10.

The Bifurcation Interpreter: A Step Towards the Automatic Analysis of Dynamical Systems
Abelson, Harold

Formato:
Enlaces:	The Bifurcation Interpreter is a computer program that autonomously explores the steady-state orbits of one-parameter families of periodically- driven oscillators. To report its findings, the Interpreter generates schematic diagrams and English text descriptions similar to those appearing in the science…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

11.

The role of knowledge in visual shape representation
Saund, Eric

Formato:	Thesis
Enlaces:	by Eric Saund., Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Brain and Cognitive Sciences, 1989., Includes bibliographical references (leaves 293-300).
Fecha:	2005-06-02
Recurso:	MIT

Recurso libre

12.

Integration of expert knowledge into computer-controlled databases in the medical domain : HEMAVID, a case study
Chueh, Henry C

Formato:	Thesis
Enlaces:	by Henry C. Chueh., Thesis (M.S.)--Harvard University--Massachusetts Institute of Technology Division of Health Sciences and Technology, Program in Medical Engineering and Medical Physics, 1989., Includes bibliographical references (leaves [165]-[172]).
Fecha:	2005-10-07
Recurso:	MIT

Recurso libre

13.

The Impact of Processing Time Knowledge on Dynamic Job-Shop Scheduling
Wein, Lawrence M. - Ou, Jihong

Formato:	Working Paper
Enlaces:	The goal of this paper is to determine if the results for dynamic job-shop scheduling problems are affected by the assumptions made with regard to the processing time distributions and the scheduler's knowledge of the processing times. Three dynamic jobshop…
Fecha:	2004-05-28
Recurso:	MIT

Recurso libre

14.

Roles of Knowledge in Motor Learning
Atkeson, Christopher Granger

Formato:
Enlaces:	The goal of this thesis is to apply the computational approach to motor learning, i.e., describe the constraints that enable performance improvement with experience and also the constraints that must be satisfied by a motor learning system, describe what is…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

15.

Dynamically Stable Legged Locomotion (September 1985-Septembers1989)
Raibert, Marc H. - Brown, H. Benjamin, Jr. - Chepponis, Michael - Koechling, Jeff - Hodgins, Jessica K. - Dustman, Diane - Brennan, W. Kevin - Barrett, David S. - Thompson, Clay M. - Hebert, John Daniell - Lee, Woojin - Borvansky, Lance

Formato:
Enlaces:	This report documents our work in exploring active balance for dynamic legged systems for the period from September 1985 through September 1989. The purpose of this research is to build a foundation of knowledge that can lead both to the…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

16.

KAM: Automatic Planning and Interpretation of Numerical Experiments Using Geometrical Methods
Yip, Kenneth Man-Kam

Formato:
Enlaces:	KAM is a computer program that can automatically plan, monitor, and interpret numerical experiments with Hamiltonian systems with two degrees of freedom. The program has recently helped solve an open problem in hydrodynamics. Unlike other approaches to qualitative reasoning about…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

17.

Residual Vibration Reduction in Computer Controlled Machines
Singer, Neil C.

Formato:
Enlaces:	Control of machines that exhibit flexibility becomes important when designers attempt to push the state of the art with faster, lighter machines. Three steps are necessary for the control of a flexible planet. First, a good model of the plant…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

18.

The Programmer's Apprentice Project: A Research Overview
Rich, Charles - Waters, Richard C.

Formato:
Enlaces:	The goal of the Programmer's Apprentice project is to develop a theory of how expert programmers analyze, synthesize, modify, explain, specify, verify, and document programs. This research goal overlaps both artificial intelligence and software engineering. From the viewpoint of artificial…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

19.

ONTIC: A Knowledge Representation System for Mathematics
McAllester, David Allen

Formato:
Enlaces:	Ontic is an interactive system for developing and verifying mathematics. Ontic's verification mechanism is capable of automatically finding and applying information from a library containing hundreds of mathematical facts. Starting with only the axioms of Zermelo-Fraenkel set theory, the Ontic…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

20.

A system for the interactive classification of knowledge
Balzac, Stephen R

Formato:	Thesis
Enlaces:	by Stephen R. Balzac., Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1987., Title as it appeared in M.I.T. Graduate List, June 1987: An interactive knowledge classifier., Bibliography: leaves 111-112.
Fecha:	2005-08-08
Recurso:	MIT

Recurso libre

21.

TYPICAL: A Knowledge Representation System for Automated Discovery and Inference
Haase, Kenneth W., Jr.

Formato:
Enlaces:	TYPICAL is a package for describing and making automatic inferences about a broad class of SCHEME predicate functions. These functions, called types following popular usage, delineate classes of primitive SCHEME objects, composite data structures, and abstract descriptions. TYPICAL types are…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

22.

Expressing Mathematical Subroutines Constructively
Roylance, Gerald

Formato:
Enlaces:	The typical subroutines that compute $\\sin(x)$ and $\\exp(x)$ bear little resemblance to our mathematical knowledge of these functions: they are composed of concrete arithmetic expressions that include many mysterious numerical constants. Instead of programming these subroutines conventionally, we can express…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

23.

ARIADNE: Pattern-Directed Inference and Hierarchical Abstraction in Protein Structure Recognition
Lathrop, Richard H. - Webster, Teresa A. - Smith, Temple F.

Formato:
Enlaces:	There are many situations in which a very detailed low-level description encodes, through a hierarchical organization, a recognizable higher-order pattern. The macro-molecular structural conformations of proteins exhibit higher order regularities whose recognition is complicated by many factors. ARIADNE searches for…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

24.

Extracting Qualitative Dynamics from Numerical Experiments
Yip, Kenneth Man-Kam

Formato:
Enlaces:	The Phase Space is a powerful tool for representing and reasoning about the qualitative behavior of nonlinear dynamical systems. Significant physical phenomena of the dynamical system---periodicity, recurrence, stability and the like---are reflected by outstanding geometric features of the trajectories in…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

25.

Exploring innovative designs by relaxing criteria and reasoning from precedent knowledge
Navinchandra, Dundee J

Formato:	Thesis
Enlaces:	by Dundee J. Navinchandra., Thesis (Sc. D.)--Massachusetts Institute of Technology, Dept. of Civil Engineering, 1988., Includes index., Bibliography: leaves 190-196.
Fecha:	2005-08-08
Recurso:	MIT

Recurso libre

26.

Qualitative Depth and Shape from Stereo, in Agreement with Psychophysical Evidendence
Weinshall, Daphna

Formato:
Enlaces:	Obtaining exact depth from binocular disparities is hard if camera calibration is needed. We will show that qualitative depth information can be obtained from stereo disparities with almost no computations and with no prior knowledge (or computation) of camera parameters.…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

27.

Issues in Model Based Troubleshooting
Hamscher, Walter - Davis, Randall

Formato:
Enlaces:	To determine why something has stopped working, it's helpful to know how it was supposed to work in the first place. This simple fact underlies recent work on a number of systems that do diagnosis from knowledge about the internal…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

28.

Formalizing Reusable Software Components in the Programmer's Apprentice
Rich, Charles - Waters, Richard C.

Formato:
Enlaces:	There has been a long-standing desire in computer science for a way of collecting and using libraries of standard software components. The limited success in actually doing this stems not from any resistance to the idea, nor from any lack…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

29.

Hierarchical Object Recognition Using Libraries of Parameterized Model Sub-Parts
Ettinger, Gil J.

Formato:
Enlaces:	This thesis describes the development of a model-based vision system that exploits hierarchies of both object structure and object scale. The focus of the research is to use these hierarchies to achieve robust recognition based on effective organization and indexing…
Fecha:	2004-10-20
Recurso:	MIT