Metabuscador

Filtrado por:

Temas

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

Año

1995 (2)
1988 (5)
1986 (1)
1985 (2)
1983 (1)
1981 (1)
Más...

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

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

A Knowledge based segmentation algorithm for enhanced recognition of handwritten courtesy amounts

Formato:
Enlaces:	Karim Hussein ... [et al.], "March 1994.", Includes bibliographical references (p. [23]-[24])., Supported by the Productivity From Information Technology (PROFIT) Research Initiative at MIT.
Fecha:	2003-04-29
Recurso:	MIT

Recurso libre

A Methodology for integration of heterogeneous databases

Formato:
Enlaces:	M.P. Reddy ... [et al.], Reprint. Reprinted from IEEE transactions on knowledge and data engineering. Vol. 6, no. 6 (Dec. 1994) "December 1994.", Includes bibliographical references (p. 932)., Supported by the Productivity From Information Technology (PROFIT) Research Initiative at MIT.
Fecha:	2003-04-29
Recurso:	MIT

Recurso libre

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

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

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

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

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

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

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

10.

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

11.

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

12.

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

13.

Computer aided design of circular tunnels using analysis and knowledge-based rules
Brito, Jaime Francisco

Formato:	Thesis
Enlaces:	by Jaime Francisco Brito., Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Civil and Environmental Engineering, 1994., Includes bibliographical references (leaf 348).
Fecha:	2005-08-16
Recurso:	MIT

Recurso libre

14.

Unleashing knowledge in oil retailing : integrated knowledge sharing within the Japan Energy Corporation, retail marketing group
Oka, Daisuke, 1971-

Formato:	Thesis
Enlaces:	by Daisuke Oka., Thesis (S.M.M.O.T.)--Massachusetts Institute of Technology, Sloan School of Management, Management of Technology Program, 2001., Includes bibliographical references (leaf 78).
Fecha:	2005-08-23
Recurso:	MIT

Recurso libre

15.

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

16.

Qualitative Knowledge, Casual Reasoning and the Localization of Failures
Brown, Allen

Formato:
Enlaces:	This report investigates some techinques appropriate to representing the knowledge necessary for understanding a class of electronic machines -- radio receivers. A computational performance model - WATSON - is presented. WATSONs task is to isolate failures in radio receivers whose…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

17.

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

18.

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

19.

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

20.

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

21.

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

22.

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

23.

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

24.

Naval Engineering A National Naval Obligation
Chryssostomidis, Chryssostomos - Bernitsas, Michael - Burke, David

Formato:
Enlaces:	As part of its national obligations, ONR must ensure US world leadership in those unique technology areas that insure naval superiority. ONR accomplishes this mission through research, recruitment and education, maintaining an adequate base of talent, and sustaining critical infrastructure…
Fecha:	2002-10-28
Recurso:	MIT

Recurso libre

25.

Automated Reasoning About Classical Mechanics
Wong, Leon

Formato:
Enlaces:	In recent years, researchers in artificial intelligence have become interested in replicating human physical reasoning talents in computers. One of the most important skills in this area is predicting how physical systems will behave. This thesis discusses an implemented program…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

26.

The value of knowledge and intangible capital : a methodological investigation
Newman, William Henry

Formato:	Thesis
Enlaces:	by William Henry Newman., Thesis (M.S.)--Massachusetts Institute of Technology, Sloan School of Management, 1994., Includes bibliographical references (p. 123-124).
Fecha:	2005-08-16
Recurso:	MIT

Recurso libre

27.

Jokes and the Logic of the Cognitive Unconscious
Minsky, Marvin

Formato:
Enlaces:	Freud's theory of jokes explains how they overcome the mental "censors" that make it hard for us to think "forbidden" thoughts. But his theory did not work so well for humorous nonsense as for other comical subjects. In this essay…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

28.

Frame-based Text Processing
Rosenberg, Steven T.

Formato:
Enlaces:	This paper presents an overview of a theory of discourse structure, and discusses a model for assimilating text into a frame-based data structure. The model has been applied to the analysis of news articles. The theory assumes sentences contain links…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

29.

Between document and monument : architectural artifact in an age of specialized institutions
Savas, Aysen

Formato:	Thesis
Enlaces:	This dissertation is a critical analysis of the transformations in the definition of a modem architectural artifact and the artifact's changing status in an institutional context. This work develops on a series of themes which proceed on the assumption that…
Fecha:	2005-08-16
Recurso:	MIT

Recurso libre

30.

Knowledge in flux : the transfer of technology and practice in an international joint venture
Rebentisch, Eric S

Formato:	Thesis
Enlaces:	by Eric S. Rebentisch., Thesis (Ph. D.)--Massachusetts Institute of Technology, Sloan School of Management, 1995., Includes bibliographical references (p. 173-180).
Fecha:	2005-08-17
Recurso:	MIT

Recurso libre

31.

Effects of knowledge reuse on the spacecraft development process
Dutton, Esther S. (Esther Sablan)

Formato:	Thesis
Enlaces:	by Esther S. Dutton., Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 1997., Includes bibliographical references (p. 78).
Fecha:	2005-08-18
Recurso:	MIT

Recurso libre

32.

Introduction to the Calculus of Knowledge
Raphael, Bertram

Formato:
Enlaces:	This paper deals with the "Calculus of Knowledge", an extension of the propositional calculus in which one may reason about what other people know. Semantic and Syntactic systems are developed, certain theorems are proven, and a formal solution in the…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

33.

Adaptive Cache-Oblivious All-to-All Operation
Chung, Shin Yee - Hsu, Wen Jing

Formato:	Article
Enlaces:	Modern processors rely on cache memories to reduce the latency of data accesses. Extensive cache misses would thus compromise the usefulness of the scheme. Cache-aware algorithms make use of the knowledge about the cache, such as the cache line size,…
Fecha:	2003-12-13
Recurso:	MIT

Recurso libre

34.

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

35.

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

36.

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

37.

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

38.

Automobile Recycling Policy: Findings and Recommendations
Field, Frank - Ehrenfeld, John - Roos, Dan - Clark, Joel

Formato:
Enlaces:	This report focuses on recycling. As an objective neutral party, MIT has compiled a knowledge base that examines the many complex issues relating to re-cycling. Although this report was prepared at the request of the Automotive board of Governors, it…
Fecha:	2002-09-25
Recurso:	MIT

Recurso libre

39.

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

40.

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

41.

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

42.

Efficient Computation of Probabilities of Events Described by Order Statistics and Applications to Queue Inference
Jones, Lee K. - Larson, Richard C., 1943-

Formato:	Working Paper
Enlaces:	This paper derives recursive algorithms for efficiently computing event probabilities related to order statistics and applies the results in a queue inferencing setting. Consider a set of N i.i.d. random variables in [0, 1]. When the experimental values of the…
Fecha:	2004-05-28
Recurso:	MIT

Recurso libre

43.

BUILD: A Tool for Maintaining Consistency in Modular Systems
Robbins, Richard Elliot

Formato:
Enlaces:	Build is a tool for keeping modular systems in a consistent state by managing the construction tasks (e.g. compilation, linking, etc.) associated with such systems. It employs a user supplied system model and a procedural description of a task to…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

44.

Managing revisions of rules and guidelines used in clinical information systems : exploring a hierarchical knowledge representation model
Scott-Wright, Alicia, 1949-

Formato:	Thesis
Enlaces:	One important purpose for creating clinical practice guidelines is to improve quality of care by reducing variations in practice. In the current healthcare environment, guidelines are being advocated as a means to disseminate research findings, standardize care, improve quality of…
Fecha:	2005-09-27
Recurso:	MIT

Recurso libre

45.

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

46.

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

47.

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

48.

Knowledge Integration to Overcome Ontological Heterogeneity: Challenges from Financial Information Systems
Firat, Aykut - Madnick, Stuart E. - Grosof, Benjamin

Formato:	Article
Enlaces:	The shift towards global networking brings with it many opportunities and challenges. In this paper, we discuss key technologies in achieving global semantic interoperability among heterogeneous information systems, including both traditional and web data sources. In particular, we focus on…
Fecha:	2003-11-16
Recurso:	MIT

Recurso libre

49.

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

Recurso libre

50.

Spaces of innovation : 21st century technopoles
Seitinger, Susanne, 1978-

Formato:	Thesis
Enlaces:	Public authorities and private developers around the world are attempting to create and sustain hubs within the innovation-based economy by fostering successful urban environments. These large-scale developments succeed an earlier generation of post-industrial "technopoles" named after the French word popularized…
Fecha:	2005-06-02
Recurso:	MIT