Metabuscador

Filtrado por:

Temas

Electrical Engineering and Computer Science. (28)
AI (14)
Management of Technology Program. (13)
Sloan School of Management (13)
Sloan School of Management. (13)
Más...

Idiomas

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

Año

2005 (174)
2003 (29)
2002 (21)
2001 (26)
2000 (6)
1999 (11)
Más...

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

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

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

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

Topics in Model Theory
Levin, Michael

Formato:
Enlaces:	The concept of free as in "free group" is generalized to any first order theory. An interesting class of homomorphisms between models is discussed. Relations between model theory and abelian categories are discussed speculatively. This paper represents an incomplete study…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

The Use of Equality in Deduction and Knowledge Representation
McAllester, David Allen

Formato:
Enlaces:	This report describes a system which maintains canonical expressions for designators under a set of equalities. Substitution is used to maintain all knowledge in terms of these canonical expressions. A partial order on designators, termed the better-name relation, is used…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

Foundations of Actor Semantics
Clinger, William Douglas

Formato:
Enlaces:	The actor message-passing model of concurrent computation has inspired new ideas in the areas of knowledge-based systems, programming languages and their semantics, and computer systems architecture. The model itself grew out of computer languages such as Planner, Smalltalk, and Simula,…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

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

A Computational Model of Skill Acquisition
Sussman, Gerald J.

Formato:
Enlaces:	This thesis confronts the nature of the process of learning an intellectual skill, the ability to solve problems efficiently in a particular domain of discourse. The investigation is synthetic; a computational performance model, HACKER, is displayed. Hacker is a computer…
Fecha:	2004-10-20
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

Inspection Methods in Programming
Rich, Charles

Formato:
Enlaces:	The work reported here lies in the area of overlap between artificial intelligence software engineering. As research in artificial intelligence, it is a step towards a model of problem solving in the domain of programming. In particular, this work focuses…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

10.

Infants in Children Stories - Toward a Model of Natural Language Comprehension
Meyer, Garry S.

Formato:
Enlaces:	How can we construct a program that will understand stories that children would understand? By understand we mean the ability to answer questions about the story. We are interested here with understanding natural language in a very broad area. In…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

11.

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

12.

Creation of Computer Animation from Story Descriptions
Kahn, Kenneth Michael

Formato:
Enlaces:	This report describes a computer system that creates simple computer animation in response to high-level, vague, and incomplete descriptions of films. It makes its films by collecting and evaluating suggestions from several different bodies of knowledge. The order in which…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

13.

Internet Fish
LaMacchia, Brian A.

Formato:
Enlaces:	I have invented "Internet Fish," a novel class of resource-discovery tools designed to help users extract useful information from the Internet. Internet Fish (IFish) are semi-autonomous, persistent information brokers; users deploy individual IFish to gather and refine information related to…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

14.

Importance Sampling for Reinforcement Learning with Multiple Objectives
Shelton, Christian Robert

Formato:
Enlaces:	This thesis considers three complications that arise from applying reinforcement learning to a real-world application. In the process of using reinforcement learning to build an adaptive electronic market-maker, we find the sparsity of data, the partial observability of the domain,…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

15.

Organizing a Global Coordinate System from Local Information on an Amorphous Computer
Nagpal, Radhika

Formato:
Enlaces:	This paper demonstrates that it is possible to generate a reasonably accurate coordinate system on randomly distributed processors, using only local information and local communication. By coordinate systems we imply that each element assigns itself a logical coordinate that maps…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

16.

Surface Reconstruction Preserving Discontinuities
Marroquin, J.L.

Formato:
Enlaces:	Well-known methods for solving the shape-from-shading problem require knowledge of the reflectance map. Here we show how the shape-from-shading problem can be solved when the reflectance map is not available, but is known to have a given form with some…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

17.

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

18.

Model-Based Troubleshooting of Digital Systems
Hamscher, Walter Charles

Formato:
Enlaces:	This thesis describes a methodology, a representation, and an implemented program for troubleshooting digital circuit boards at roughly the level of expertise one might expect in a human novice. Existing methods for model-based troubleshooting have not scaled up to deal…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

19.

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

20.

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

21.

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

22.

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

23.

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

24.

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

25.

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

26.

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

27.

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

28.

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

29.

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

30.

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

31.

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

32.

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

33.

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

34.

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

35.

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

36.

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

37.

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

38.

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

39.

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

40.

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

41.

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

42.

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

43.

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

44.

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

45.

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

46.

Toward the 24-Hour Knowledge Factory
Gupta, Amar - Seshasai, Satwik

Formato:	Working Paper
Enlaces:	The term 24-Hour Knowledge Factory connotes a globally distributed work environment in which members of the global team work on a project around the clock; each member of the team works the normal workday hours that pertain to his or…
Fecha:	2004-03-12
Recurso:	MIT

Recurso libre

47.

Toward the 24-Hour Knowledge Factory
Gupta, Amar - Seshasai, Satwik

Formato:	Working Paper
Enlaces:	The term 24-Hour Knowledge Factory connotes a globally distributed work environment in which members of the global team work on a project around the clock; each member of the team works the normal workday hours that pertain to…
Fecha:	2004-12-10
Recurso:	MIT

Recurso libre

48.

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

49.

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

50.

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