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

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

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

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

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

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

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

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

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

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

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

10.

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

11.

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

12.

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

13.

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

14.

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

15.

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

16.

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

17.

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

18.

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

19.

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

20.

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

21.

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

22.

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

23.

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

24.

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

25.

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

26.

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

27.

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

28.

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

29.

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

30.

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

31.

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

32.

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

33.

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

34.

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

35.

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

36.

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

37.

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

38.

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

39.

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

40.

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

41.

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

42.

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

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.

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

46.

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

47.

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

48.

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

49.

A Framework for Corporate Householding
Madnick, Stuart - Wang, Richard - Zhang, Wei

Formato:	Working Paper
Enlaces:	Previous research on corporate household and corporate householding has presented examples, literature review, and working definitions. In this paper, we first improve our understanding of the area by developing a typology of corporate householding tasks and knowledge…
Fecha:	2003-03-21
Recurso:	MIT

Recurso libre

50.

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