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

Idiomas

Inglés (293)
Más...

Año

2005 (73)
2003 (22)
2002 (9)
2001 (5)
1999 (5)
1992 (5)
Más...

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

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

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

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

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

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

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

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

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

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

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

10.

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

11.

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

12.

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

13.

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

14.

Reducing Impediments to Collaboration in a Virtual Design World
Seshasai, Satwik - Gupta, Amar - Sainath, Tara

Formato:
Enlaces:	This paper presents a knowledge-based approach to reducing impediments to collaboration in a distributed environment. A major impediment to such collaboration is the issue of communications - clearly and efficiently expressing the desires of every stakeholder in the process, as…
Fecha:	2002-09-25
Recurso:	MIT

Recurso libre

15.

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

16.

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

17.

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

18.

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

19.

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

20.

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

21.

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

22.

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

23.

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

24.

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

25.

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

26.

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

27.

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

28.

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

29.

Multinational enterprises and cross-border knowledge creation

Formato:
Enlaces:	D. Eleanor Westney., Cover title. "Paper prepared for JAIMS conference on 'International Comparative Study of Knowledge Creation', Hawaii, December 12-14, 1996"--Added t.p. "February 1997.", Includes bibliographical references (p. 31-34).
Fecha:	2003-04-29
Recurso:	MIT

Recurso libre

30.

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

31.

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

32.

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

33.

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

34.

The Progressive Construction of Mind
Lawler, Robert W.

Formato:
Enlaces:	We propose a vision of the structure of knowledge and processes of learning based upon the particularity of experience. Highly specific cognitive structures are constructed through activities in limited domains of experience. For new domains, new cognitive structures develop from…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

35.

On "Learnable" Representations of Knowledge: A Meaning for the Computational Metaphor
diSessa, Andrea A.

Formato:
Enlaces:	The computational metaphor which proposes the comparison of processes of mind to realizable or imaginable computer activities suggests a number of educational concerns. This paper discusses some of those concerns including procedural modes of knowledge representation and control knowledge ??owing…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

36.

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

37.

Using English For Indexing and Retrieving
Katz, Boris

Formato:
Enlaces:	This paper describes a natural language system START. The system analyzes English text and automatically transforms it into an appropriate representation, the knowledge base, which incorporates the information found in the text. The user gains access to information stored in…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

38.

Reasoning from Incomplete Knowledge in a Procedural Deduction System
Moore, Robert Carter

Formato:
Enlaces:	One very useful idea in AI research has been the notion of an explicit model of a problem situation. Procedural deduction languages, such as PLANNER, have been valuable tools for building these models. But PLANNER and its relatives are very…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

39.

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

40.

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

41.

Learning Commonsense Categorical Knowledge in a Thread Memory System
Stamatoiu, Oana L.

Formato:
Enlaces:	If we are to understand how we can build machines capable of broad purpose learning and reasoning, we must first aim to build systems that can represent, acquire, and reason about the kinds of commonsense knowledge that we humans have…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

42.

Capturing Intuitive Knowledge in Procedural Description
Bamberger, Jeanne

Formato:
Enlaces:	Trying to capture intuitive knowledge is a little like trying to capture the moment between what just happened and what is about to happen. Or to quote a famous philosopher, "You can't put your foot in the same river once."…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

43.

Exemplifying Business Opportunities for Improving Data Quality From Corporate Household Research
Madnick, Stuart - Wang, Richard - Chettayar, Krishna - Dravis, Frank - Funk, James - Katz-Haas, Raïssa - Lee, Cindy - Lee, Yang - Xian, Xiang - Bhansali, Sumit

Formato:	Working Paper
Enlaces:	Corporate household (CHH) refers to the organizational information about the structure within the corporation and a variety of inter-organizational relationships. Knowledge derived from this data is becoming increasingly important for improving data quality in applications, such as Customer…
Fecha:	2004-12-10
Recurso:	MIT

Recurso libre

44.

A Study of Qualitative and Geometric Knowledge in Reasoning about Motion
Forbus, Kenneth D.

Formato:
Enlaces:	Reasoning about motion is an important part of our commonsense knowledge, involving fluent spatial reasoning. This work studies the qualitative and geometric knowledge required to reason in a world that consists of balls moving through space constrained by collisions with…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

45.

Mapping the R&D knowledge network, Mapping the research and development knowledge network
Liew, Kou-Yew, 1972-

Formato:	Thesis
Enlaces:	Knowledge networks have received a significant amount of attention in the past few decades as people look beyond corporate governance and resource-based approaches to uncover sources of competitive advantage. While this area of research is useful for organizations in general,…
Fecha:	2005-06-02
Recurso:	MIT

Recurso libre

46.

Learning commonsense categorical knowledge in a thread memory system
Stamatoiu, Oana L. (Oana Liana), 1981-

Formato:	Thesis
Enlaces:	If we are to understand how we can build machines capable of broad purpose learning and reasoning, we must first aim to build systems that can represent, acquire, and reason about the kinds of commonsense knowledge that we humans have…
Fecha:	2005-06-02
Recurso:	MIT

Recurso libre

47.

Improving Data Quality Through Effective Use of Data Semantics
Madnick, Stuart E.

Formato:	Article
Enlaces:	Data quality issues have taken on increasing importance in recent years. In our research, we have discovered that many “data quality” problems are actually “data misinterpretation” problems – that is, problems with data semantics. In this paper, we first illustrate…
Fecha:	2003-12-13
Recurso:	MIT

Recurso libre

48.

Description Logic Programs: Combining Logic Programs with Description Logic
Grosof, Benjamin - Horrocks, Ian - Volz, Raphael - Decker, Stefan

Formato:	Working Paper
Enlaces:	We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic Programs) and ontologies (OWL/DAML+OIL Description Logic) via analyzing their expressive intersection. To do so, we define a new intermediate knowledge representation (KR)…
Fecha:	2004-02-13
Recurso:	MIT

Recurso libre

49.

Understanding Understanding Mathematics
Michener, Edwina Rissland

Formato:
Enlaces:	In this paper we look at some of the ingredients and processes involved in the understanding of mathematics. We analyze elements of mathematical knowledge, organize them in a coherent way and take note of certain classes of items that share…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

50.

NUDGE, A Knowledge-Based Scheduling Program
Goldstein, Ira P. - Roberts, R. Bruce

Formato:
Enlaces:	Traditional scheduling algorithms (using the techniques of PERT charts, decision analysis or operations research) require well-defined quantitative, complete sets of constraints. They are insufficient for scheduling situations where the problem description is ill-defined, involving incomplete, possibly inconsistent and generally qualitative…
Fecha:	2004-10-01
Recurso:	MIT