Metabuscador

Filtrado por:

Temas

Electrical Engineering and Computer Science. (17)
AI (14)
knowledge representation (10)
Management of Technology Program. (9)
Civil and Environmental Engineering. (6)
Más...

Año

2005 (80)
2003 (21)
2002 (8)
2001 (6)
1999 (6)
1992 (5)
Más...

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

Mostrar 10 | 50 | 100 resultados por página

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 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

Levels of Complexity in Discourse for Reference Disambiguation and Speech Act Interpretation
Bullwinkle, Candace

Formato:
Enlaces:	This paper presents a discussion of means of describing the discourse and its components which makes speech act interpretation and reference disambiguation possible with minimal search of the knowledge in the database. A portion of this paper will consider how…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

Artificial Intelligence and Robotics
Brady, Michael

Formato:
Enlaces:	Since Robotics is the field concerned with the connection of perception to action, Artificial Intelligence must have a central role in Robotics if the connection is to be intelligent. Artificial Intelligence addresses the crucial questions of: what knowledge is required…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

Semantics of Inheritance and Attributions in the Description System Omega
Attardi, Giuseppe - Simi, Maria

Formato:
Enlaces:	Omega is a description system for knowledge embedding which incorporates some of the attractive modes of expression in common sense reasoning such as descriptions, inheritance, quantification, negation, attributions and multiple viewpoints. A formalization of Omega is developed as a framework…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

A Lexical Conceptual Approach to Generation for Machine Translation
Dorr, Bonnie J.

Formato:
Enlaces:	Current approaches to generation for machine translation make use of direct-replacement templates, large grammars, and knowledge-based inferencing techniques. Not only are rules language-specific, but they are too simplistic to handle sentences that exhibit more complex phenomena. Furthermore, these systems are…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

The Connection Machine
Hillis, W. Daniel

Formato:
Enlaces:	This paper describes the connection memory, a machine for concurrently manipulating knowledge stored in semantic networks. We need the connection memory because conventional serial computers cannot move through such networks fast enough. The connection memory sidesteps the problem by providing…
Fecha:	2004-10-01
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

10.

Open Systems
Hewitt, Carl - Jong, Peter de

Formato:
Enlaces:	This paper describes some problems and opportunities associated with conceptual modeling for the kind of "open systems" we foresee must and will be increasingly recognized as a central line of computer system development. Computer applications will be based on communication…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

11.

Surviving the Information Explosion: How People Find Their Electronic Information
Alvarado, Christine - Teevan, Jaime - Ackerman, Mark S. - Karger, David

Formato:
Enlaces:	We report on a study of how people look for information within email, files, and the Web. When locating a document or searching for a specific answer, people relied on their contextual knowledge of their information target to help them…
Fecha:	2004-10-08
Recurso:	MIT

Recurso libre

12.

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

13.

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

14.

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

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.

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

19.

Representing Knowledge of Large-Scale Space
Kuipers, Benjamin J.

Formato:
Enlaces:	This dissertation presents a model of the knowledge a person has about the spatial structure of a large-scale environment: the "cognitive map". The functions of the cognitive map are to assimilate new information about the environment, to represent the current…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

20.

Dynamic power allocation and routing for satellite and wireless networks with time varying channels
Neely, Michael J. (Michael James), 1975-

Formato:	Thesis
Enlaces:	Satellite and wireless networks operate over time varying channels that depend on attenuation conditions, power allocation decisions, and inter-channel interference. In order to reliably integrate these systems into a high speed data network and meet the increasing demand for high…
Fecha:	2005-05-17
Recurso:	MIT

Recurso libre

21.

Artificial Intelligence, Language and the Study of Knowledge
Goldstein, Ira - Papert, Seymour

Formato:
Enlaces:	This paper studies the relationship of Artificial Intelligence to the study of language and the representation of the underlying knowledge which supports the comprehension process. It develops the view that intelligence is based on the ability to use large amounts…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

22.

Test Generation Guided Design for Testability
Wu, Peng

Formato:
Enlaces:	This thesis presents a new approach to building a design for testability (DFT) system. The system takes a digital circuit description, finds out the problems in testing it, and suggests circuit modifications to correct those problems. The key contributions of…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

23.

Hypothesis Formation and Evaluation in Medical Diagnosis
Rubin, Ann D.

Formato:
Enlaces:	This thesis describes some aspects of a computer system for doing medical diagnosis in the specialized field of kidney disease. Because such a system faces the spectre of combinatorial explosion, this discussion concentrates on heuristics which control the number of…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

24.

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

25.

Toward a Requirements Apprentice: On the Boundary Between Informal and Formal Specifications
Rich, Charles - Waters, Richard C.

Formato:
Enlaces:	Requirements acquisition is one of the most important and least well supported parts of the software development process. The Requirements Apprentice (RA) will assist a human analyst in the creation and modification of software requirements. Unlike current requirements analysis tools,…
Fecha:	2004-08-31
Recurso:	MIT

Recurso libre

26.

Supporting Organizational Problem Solving with a Workstation
Barber, Gerald

Formato:
Enlaces:	This paper describes an approach to supporting work in the office. Using and extending ideas from the field of Artificial Intelligence (AI) we describe office work as a problem solving activity. A knowledge embedding language called Omega is used to…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

27.

Flexibility and Efficiency in a Computer Program for Designing Circuits
Mcdermott, Drew Vincent

Formato:
Enlaces:	This report is concerned with the problem of achieving flexibility (additivity, modularity) and efficiency (performance, expertise) simultaneously in one AI program. It deals with the domain of elementary electronic circuit design. The proposed solution is to provide a deduction-driven problem…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

28.

Model-Based Reasoning: Troubleshooting
Davis, Randall - Hamscher, Walter C.

Formato:
Enlaces:	To determine why something has stopped working, it is useful to know how it was supposed to work in the first place. That simple observation underlies some of the considerable interest generated in recent years on the topic of model-based…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

29.

The FRL Primer
Roberts, R. Bruce - Goldstein, Ira P.

Formato:
Enlaces:	The Frame Representation Language (FRL) is an experimental language written to explore the use of frames as a knowledge representation technique. The term 'frame' as used in FRL was inspired by Minsky's [75] development of frame theory. FRL extends the…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

30.

ITS 1.5 Reference Manual
Eastlake, D. - Greenblatt, R. - Holloway, J. - Knight, T. - Nelson, S.

Formato:
Enlaces:	This reference manual consists of two parts. The first (sections 1 through 6) is intended for those who are either interested in the ITS 1.5 time sharing monitor for its own sake or who wish to write machine language programs…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

31.

Border-crossing knowledge networking among multinational firms : the case of R&D facilities
Shirvani-Mahdavi, Ali (Ali Agha), 1965-

Formato:	Thesis
Enlaces:	(cont.) which is expected, given their additional knowledge resources. The respondents' urgency in looking for the relevant knowledge is the primary explanation for this difference between the two networks. This difference in knowledge networking among the different groups did not…
Fecha:	2005-09-27
Recurso:	MIT

Recurso libre

32.

Computer System for Visual Recognition Using Active Knowledge
Freuder, Eugene C.

Formato:
Enlaces:	A system for visual recognition is described, with implications for the general problem of representation of knowledge to assist control. The immediate objective is a computer system that will recognize objects in a visual scene, specifically hammers. The computer receives…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

33.

Re-engineering knowledge networks for development
Raghavan, Amrith, 1976-

Formato:	Thesis
Enlaces:	This thesis examines the evolution of Internet based knowledge networks (e-knowledge networks) in the domain of sustainable development. The objective of this thesis is to use an engineering systems approach to understand knowledge networks, identify the barriers to their sustainability…
Fecha:	2005-06-02
Recurso:	MIT

Recurso libre

34.

Putting Patents in Context:Exploring Knowledge Transfer from MIT
Agrawal, Ajay - Henderson, Rebecca

Formato:	Working Paper
Enlaces:	In this paper we explore the degree to which patents are representative of the magnitude, direction, and impact of the knowledge spilling out of the university by focusing on MIT, and in particular on the departments of Mechanical and Electrical…
Fecha:	2003-12-18
Recurso:	MIT

Recurso libre

35.

D-SCRIPT: A Computational Theory of Descriptions
Moore, Robert C.

Formato:
Enlaces:	This paper descries D-SCRIPT, a language for representing knowledge in artificial intelligence programs. D-SCRIPT contains a powerful formalism for descriptions, which permits the representation of statements that are problematical for other systems. Particular attention is paid to problems of opaque…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

36.

The Structure of Mathematical Knowledge
Michener, Edwina Rissland

Formato:
Enlaces:	This report develops a conceptual framework in which to talk about mathematical knowledge. There are several broad categories of mathematical knowledge: results which contain the traditional logical aspects of mathematics; examples which contain illustrative material; and concepts which include formal…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

37.

Explicit Control of Reasoning
Kleer, Johan de - Doyle, Jon - Steele, Guy L., Jr. - Sussman, Gerald Jay

Formato:
Enlaces:	The construction of expert problem-solving systems requires the development of techniques for using modular representations of knowledge without encountering combinatorial explosions in the solution effort. This report describes an approach to dealing with this problem based on making some knowledge…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

38.

The Role of Knowledge in Visual Shape Representation
Saund, Eric

Formato:
Enlaces:	This report shows how knowledge about the visual world can be built into a shape representation in the form of a descriptive vocabulary making explicit the important geometrical relationships comprising objects' shapes. Two computational tools are offered: (1) Shapestokens are…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

39.

Using Analogy to Acquire Commonsense Knowledge from Human Contributors
Chklovski, Timothy

Formato:
Enlaces:	The goal of the work reported here is to capture the commonsense knowledge of non-expert human contributors. Achieving this goal will enable more intelligent human-computer interfaces and pave the way for computers to reason about our world. In the domain…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

40.

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

41.

Knowledge Base Integration: What Can We Learn from Database Integration Research?
Lee, Jintae

Formato:
Enlaces:	This paper examines the issues and the solutions that have been studied in database (DB) integration research and tries to draw lessons from them for knowledge base (KB) integration.
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

42.

Knowledge Partitioning in the Inter-firm Dividsion of Labor: the case of Automotive product Development
Takeishi, Akira

Formato:
Enlaces:	This paper demonstrates the importance of knowledge for effective management of outsourcing. Drawing on an empirical study on automakers? management of supplier involvement in product development in Japan, this paper shows that the level of own knowledge is critical for…
Fecha:	2002-06-26
Recurso:	MIT

Recurso libre

43.

A Computational Model for the Acquisition and Use of Phonological Knowledge
Yip, Kenneth - Sussman, Gerald Jay

Formato:
Enlaces:	Does knowledge of language consist of symbolic rules? How do children learn and use their linguistic knowledge? To elucidate these questions, we present a computational model that acquires phonological knowledge from a corpus of common English nouns and verbs. In…
Fecha:	2004-10-08
Recurso:	MIT

Recurso libre

44.

Qualitative and Quantitative Knowledge in Classical Mechanics
Kleer, Johan De

Formato:
Enlaces:	This thesis investigates what knowledge is necessary to solve mechanics problems. A program NEWTON is described which understands and solves problems in mechanics mini-world of objects moving on surfaces. Facts and equations such as those given in mechanics text need…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

45.

Creating and Managing a High Performance Knowledge-Sharing Network: The Toyota Case
Dyer, Jeffrey - Nobeoka, Kentaro

Formato:
Enlaces:	This study offers a detailed case study of how Toyota facilitates interorganizational knowledge transfers among within its production network. In particular, we identiify and examine six key institutionalized knowledge sharing routines developed by Toyota and its suppliers. By examining how…
Fecha:	2002-07-10
Recurso:	MIT

Recurso libre

46.

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

47.

The Design and Implementation of a Corporate Householding Knowledge Processor to Improve Data Quality
Madnick, Stuart - Wang, Richard - Xian, Xiang

Formato:	Working Paper
Enlaces:	Advances in Corporate Householding are needed to address certain categories of data quality problems caused by data misinterpretation. In this paper, we first summarize some of these data quality problems and our more recent results from studying corporate householding applications…
Fecha:	2004-02-06
Recurso:	MIT

Recurso libre

48.

Spatial Knowledge
Kuipers, Benjamin

Formato:
Enlaces:	This paper introduces a model of spatial cognition to describe the states of partial knowledge that people have about the spatial structure of a large-scale environment. Spatial knowledge has several different representations, each of which captures one aspect of the…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

49.

Meta-Rules: Reasoning About Control
Davis - Randall

Formato:
Enlaces:	How can we insure that knowledge embedded in a program is applied effectively? Traditionally the answer to this question has been sought in different problem solving paradigms and in different approaches to encoding and indexing knowledge. Each of these is…
Fecha:	2004-10-08
Recurso:	MIT

Recurso libre

50.

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