Metabuscador

Filtrado por:

Temas

Recursos

MIT (57)

Más...

Año

2004 (57)
2003 (2)
2001 (3)
1995 (1)
1994 (1)
1993 (1)
Más...

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

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

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

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

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

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

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

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

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

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

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

10.

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

11.

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

12.

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

13.

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

14.

Generating Circuit Tests by Exploiting Designed Behavior
Shirley, Mark Harper

Formato:
Enlaces:	This thesis describes two programs for generating tests for digital circuits that exploit several kinds of expert knowledge not used by previous approaches. First, many test generation problems can be solved efficiently using operation relations, a novel representation of circuit…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

15.

Toward A Model Of Children's Story Comprehension
Charniak, Eugene

Formato:
Enlaces:	How does a person answer questions about children's stories? For example, consider 'Janet wanted Jack's paints. She looked at the picture he was painting and said 'Those paints make your picture look funny.' The question to ask is 'Why did…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

16.

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

17.

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

18.

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

19.

Computational Structure of Human Language
Ristad, Eric Sven

Formato:
Enlaces:	The central thesis of this report is that human language is NP-complete. That is, the process of comprehending and producing utterances is bounded above by the class NP, and below by NP-hardness. This constructive complexity thesis has two empirical consequences.…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

20.

A System for Representing and Using Real-World Knowledge
Fahlman, Scott E.

Formato:
Enlaces:	This report describes a knowledge-base system in which the information is stored in a network of small parallel processing elements ??de and link units ??ich are controlled by an external serial computer. This network is similar to the semantic network…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

21.

New Progress in Artificial Intelligence
Winston, Patrick H.

Formato:
Enlaces:	This report concentrates on progress during the last two years at the M.I.T. Artificial Intelligence Laboratory. Topics covered include the representation of knowledge, understanding English, learning and debugging, understanding vision and productivity technology. It is stressed that these various areas…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

22.

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

23.

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

24.

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

25.

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

26.

Coherent Behavior from Incoherent Knowledge Sources in the Automatic Synthesis of Numerical Computer Programs
Brown, Richard

Formato:
Enlaces:	A fundamental problem in artificial intelligence is obtaining coherent behavior in rule-based problem solving systems. A good quantitative measure of coherence is time behavior; a system that never, in retrospect, applied a rule needlessly is certainly coherent; a system suffering…
Fecha:	2004-10-20
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.

The Use of Grouping in Visual Object Recognition.
Jacobs, David W.

Formato:
Enlaces:	The report describes a recognition system called GROPER, which performs grouping by using distance and relative orientation constraints that estimate the likelihood of different edges in an image coming from the same object. The thesis presents both a theoretical analysis…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

29.

Automatic Analysis and Synthesis of Controllers for Dynamical Systems Based On P
Zhao, Feng

Formato:
Enlaces:	I present a novel design methodology for the synthesis of automatic controllers, together with a computational environment---the Control Engineer's Workbench---integrating a suite of programs that automatically analyze and design controllers for high-performance, global control of nonlinear systems. This work demonstrates…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

30.

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

31.

An Electronic Market-Maker
Chan, Nicholas Tung - Shelton, Christian

Formato:
Enlaces:	This paper presents an adaptive learning model for market-making under the reinforcement learning framework. Reinforcement learning is a learning technique in which agents aim to maximize the long-term accumulated rewards. No knowledge of the market environment, such as the order…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

32.

Procedures as a Representation for Data in a Computer Program for Understanding Natural Language
Winograd, Terry

Formato:
Enlaces:	This paper describes a system for the computer understanding of English. The system answers questions, executes commands, and accepts information in normal English dialog. It uses semantic information and context to understand discourse and to disambiguate sentences. It combines a…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

33.

Learning by Failing to Explain
Hall, Robert Joseph

Formato:
Enlaces:	Explanation-based Generalization requires that the learner obtain an explanation of why a precedent exemplifies a concept. It is, therefore, useless if the system fails to find this explanation. However, it is not necessary to give up and resort to purely…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

34.

ARLO: Another Representation Language Offer
Haase, Kenneth W., Jr.

Formato:
Enlaces:	This paper describes ARLO, a representation language loosely modelled after Greiner and Lenant's RLL-1. ARLO is a structure-based representation language for describing structure-based representation languages, including itself. A given representation language is specified in ARLO by a collection of structures…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

35.

Using Structural and Functional Information in Diagnostic Design
Hamscher, Walter

Formato:
Enlaces:	We wish to design a diagnostic for a device from knowledge of its structure and function. the diagnostic should achieve both coverage of the faults that can occur in the device, and should strive to achieve specificity in its diagnosis…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

36.

Reasoning Modeled as a Society of Communicating Experts
Steels, Luc

Formato:
Enlaces:	This report describes a domain independent reasoning system. The system uses a frame-based knowledge representation language and various reasoning techniques including constraint propagation, progressive refinement, natural deduction and explicit control of reasoning. A computational architecture based on active objects which…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

37.

Towards a Computational Theory of Definite Anaphora Comprehension in English Discourse
Sidner, Candace Lee

Formato:
Enlaces:	This report investigates the process of focussing as a description and explanation of the comprehension of certain anaphoric expressions in English discourse. The investigation centers on the interpretation of definite anaphora, that is, on the personal pronouns, and noun phrases…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

38.

KBEmacs: A Step Toward the Programmer's Apprentice
Waters, Richard C.

Formato:
Enlaces:	The Knowledge-Based Editor in Emacs (KBEmacs) is the current demonstration system implemented as part of the Programmer's Apprentice project. KBEmacs is capable of acting as a semi-expert assistant to a person who is writing a program ??king over some parts…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

39.

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

40.

Contact Sensing: A Sequential Decision Approach to Sensing Manipulation Contact
Eberman, Brian Scott

Formato:
Enlaces:	This paper describes a new statistical, model-based approach to building a contact state observer. The observer uses measurements of the contact force and position, and prior information about the task encoded in a graph, to determine the current location of…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

41.

Segmentation and Alignment of Speech and Sketching in a Design Environment
Adler, Aaron D.

Formato:
Enlaces:	Sketches are commonly used in the early stages of design. Our previous system allows users to sketch mechanical systems that the computer interprets. However, some parts of the mechanical system might be too hard or too complicated to express in…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

42.

Priors Stabilizers and Basis Functions: From Regularization to Radial, Tensor and Additive Splines
Girosi, Federico - Jones, Michael - Poggio, Tomaso

Formato:
Enlaces:	We had previously shown that regularization principles lead to approximation schemes, as Radial Basis Functions, which are equivalent to networks with one layer of hidden units, called Regularization Networks. In this paper we show that regularization networks encompass a much…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

43.

Exploring Object Perception with Random Image Structure Evolution
Sadr, Javid - Sinha, Pawan

Formato:
Enlaces:	We have developed a technique called RISE (Random Image Structure Evolution), by which one may systematically sample continuous paths in a high-dimensional image space. A basic RISE sequence depicts the evolution of an object's image from a random field, along…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

44.

Control of Vibration in Mechanical Systems Using Shaped Reference Inputs
Meckl, Peter Heinrich

Formato:
Enlaces:	Dynamic systems which undergo rapid motion can excite natural frequencies that lead to residual vibration at the end of motion. This work presents a method to shape force profiles that reduce excitation energy at the natural frequencies in order to…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

45.

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

46.

The Image Irradiance Equation: Its Solution and Application
Bruss, Anna R.

Formato:
Enlaces:	How much information about the shape of an object can be inferred from its image? In particular, can the shape of an object be reconstructed by measuring the light it reflects from points on its surface? These questions were raised…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

47.

Shape from Shading: A Method for Obtaining the Shape of a Smooth Opaque Object from One View
Horn, Berthold K.P.

Formato:
Enlaces:	A method will be described for finding the shape of a smooth apaque object form a monocular image, given a knowledge of the surface photometry, the position of the lightsource and certain auxiliary information to resolve ambiguities. This method is…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

48.

Dependency Directed Reasoning for Complex Program Understanding
Shrobe, Howard Elliot

Formato:
Enlaces:	Artificial Intelligence research involves the creation of extremely complex programs which must possess the capability to introspect, learn, and improve their expertise. Any truly intelligent program must be able to create procedures and to modify them as it gathers information…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

49.

Understanding Simple Picture Programs
Goldstein, Ira P.

Formato:
Enlaces:	What are the characteristics of the process by which an intent is transformed into a plan and then a program? How is a program debugged? This paper analyzes these questions in the context of understanding simple turtle programs. To understand…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

50.

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

51.

A Circuit Grammar For Operational Amplifier Design
Ressler, Andrew Lewis

Formato:
Enlaces:	Electrical circuit designers seldom create really new topologies or use old ones in a novel way. Most designs are known combinations of common configurations tailored for the particular problem at hand. In this thesis I show that much of the…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

52.

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

53.

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

54.

Intelligence by Design: Principles of Modularity and Coordination for Engineerin
Bryson, Joanna J.

Formato:
Enlaces:	All intelligence relies on search --- for example, the search for an intelligent agent's next action. Search is only likely to succeed in resource-bounded agents if they have already been biased towards finding the right answer. In artificial agents, the…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

55.

Probabilistic Solution of Inverse Problems
Marroquin, Jose Luis

Formato:
Enlaces:	In this thesis we study the general problem of reconstructing a function, defined on a finite lattice from a set of incomplete, noisy and/or ambiguous observations. The goal of this work is to demonstrate the generality and practical value of…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

56.

RABBIT: A Compiler for SCHEME
Steele, Guy Lewis, Jr.

Formato:
Enlaces:	We have developed a compiler for the lexically-scoped dialect of LISP known as SCHEME. The compiler knows relatively little about specific data manipulation primitives such as arithmetic operators, but concentrates on general issues of environment and control. Rather than having…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

57.

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