Metabuscador

Filtrado por:

Temas

Electrical Engineering and Computer Science. (23)
AI (14)
Management of Technology Program. (10)
knowledge representation (10)
Sloan School of Management. (9)
Más...

Año

2003 (32)
2002 (18)
2001 (10)
1991 (7)
1989 (10)
1988 (12)
Más...

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

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

Single Machine Scheduling with Release Dates
Goemans, Michel X. - Queyranne, Maurice - Schulz, Andreas S. - Skutella, Martin - Wang, Yaoguang

Formato:	Working Paper
Enlaces:	We consider the scheduling problem of minimizing the average weighted completion time of n jobs with release dates on a single machine. We first study two linear programming relaxations of the problem, one based on a time-indexed formulation, the other…
Fecha:	2004-05-28
Recurso:	MIT

Recurso libre

Projective Structure from Two Uncalibrated Images: Structure from Motion and RecRecognition
Shashua, Amnon

Formato:
Enlaces:	This paper addresses the problem of recovering relative structure, in the form of an invariant, referred to as projective structure, from two views of a 3D scene. The invariant structure is computed without any prior knowledge of camera geometry, or…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

Local Versus Global Control Laws for Cooperative Agent Teams
Parker, Lynne E.

Formato:
Enlaces:	The design of the control laws governing the behavior of individual agents is crucial for the successful development of cooperative agent teams. These control laws may utilize a combination of local and/or global knowledge to achieve the resulting group behavior.…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

Recognition and Structure from One 2D Model View: Observations on Prototypes, Object Classes and Symmetries
Poggio, Tomaso - Vetter, Thomas

Formato:
Enlaces:	In this note we discuss how recognition can be achieved from a single 2D model view exploiting prior knowledge of an object's structure (e.g. symmetry). We prove that for any bilaterally symmetric 3D object one non- accidental 2D model view…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

Data and Model-Driven Selection Using Color Regions
Syeda-Mahmood, Tanveer Fathima

Formato:
Enlaces:	A key problem in model-based object recognition is selection, namely, the problem of determining which regions in the image are likely to come from a single object. In this paper we present an approach that extracts and uses color region…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

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

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

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

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

10.

Detecting Digital Forgeries Using Bispectral Analysis
Farid, Hany

Formato:
Enlaces:	With the rapid increase in low-cost and sophisticated digital technology the need for techniques to authenticate digital material will become more urgent. In this paper we address the problem of authenticating digital signals assuming no explicit prior knowledge of the…
Fecha:	2004-10-08
Recurso:	MIT

Recurso libre

11.

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

12.

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

13.

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

14.

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

15.

The Conniver Reference Manual
McDermott, Drew V. - Sussman, Gerald Jay

Formato:
Enlaces:	This manual is intended to be a guide to the philosophy and use of the programming language CONNIVER, which is "complete," and running at the AI Lab now. It assumes good knowledge of LISP, but no knowledge of Micro-Planner, in…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

16.

Thesis Progress Report: A System for Representing and Using Real-World Knowledg
Fahlman, Scott E.

Formato:
Enlaces:	This paper describes progress to date in the development of a system for representing various forms of real-world knowledge. The knowledge is stored in the form of a net of simple parallel processing elements, which allow certain types of deduction…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

17.

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

18.

Wusor II: A Computer Aided Instruction Program with Student Modelling Capabilities
Carr, Brian

Formato:
Enlaces:	Wusor II is the second program that has been developed to tutor students in the game of Wumpus. From the earlier efforts with Wusor I it was possible to produce a rule-based expert which processed a relatively complete mastery of…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

19.

Summary of MYCROFT: A System for Understanding Simple Picture Programs
Goldstein, Ira P.

Formato:
Enlaces:	A collection of powerful ideas??cription, plans, linearity, insertions, global knowledge and imperative semantics?? explored which are fundamental to debugging skill. To make these concepts precise, a computer monitor called MYCROFT is described that can debug elementary programs for drawing pictures.…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

20.

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

21.

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

22.

Repairing Learned Knowledge Using Experience
Winston, Patrick H. - Rao, Satayjit

Formato:
Enlaces:	Explanation-based learning occurs when something useful is retained from an explanation, usually an account of how some particular problem can be solved given a sound theory. Many real-world explanations are not based on sound theory, however, and wrong things may…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

23.

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

24.

Corpus-Based Techniques for Word Sense Disambiguation
Levow, Gina-Anne

Formato:
Enlaces:	The need for robust and easily extensible systems for word sense disambiguation coupled with successes in training systems for a variety of tasks using large on-line corpora has led to extensive research into corpus-based statistical approaches to this problem. Promising…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

25.

Ideas About Management of LISP Data Bases
Sandewall, Erik

Formato:
Enlaces:	The paper advocates the need for systems which support maintenance of LISP-type data bases, and describes an experimental system of this kind, call DABA. In this system, a description of the data base's structure is kept in the data base…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

26.

Thinking About Lots of Things at Once without Getting Confused: Parallelism in Act 1
Lieberman, Henry

Formato:
Enlaces:	As advances in computer architecture and changing economics make feasible machines with large-scale parallelism, Artificial Intelligence will require new ways of thinking about computation that can exploit parallelism effectively. We present the actor model of computation as being appropriate for…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

27.

The Essential Dynamics Algorithm: Essential Results
Martin, Martin C.

Formato:
Enlaces:	This paper presents a novel algorithm for learning in a class of stochastic Markov decision processes (MDPs) with continuous state and action spaces that trades speed for accuracy. A transform of the stochastic MDP into a deterministic one is presented…
Fecha:	2004-10-08
Recurso:	MIT

Recurso libre

28.

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

29.

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

30.

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

31.

Modeling Decision of Choice Among Finite Alternative: Applications to Marketing and to Transportation Demand Theory
Hauser, John R.

Formato:	Working Paper
Enlaces:	A methodology to improve the effectiveness of the design of innovation is proposed based on knowledge in the fields of psychometrics, utility theory and stochastic choice modeling. It is comprised of a consumer response and a managerial design process. The…
Fecha:	2004-05-28
Recurso:	MIT

Recurso libre

32.

Data and Model-Driven Selection Using Parallel-Line Groups
Tanveer, S. - Mahmood, F.

Formato:
Enlaces:	A key problem in model-based object recognition is selection, namely, the problem of isolating regions in an image that are likely to come from a single object. This isolation can be either based solely on image data (data-driven) or can…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

33.

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

34.

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

35.

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

36.

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

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.

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

39.

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

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.

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

46.

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

47.

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

48.

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

49.

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

50.

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

51.

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

52.

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

53.

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

54.

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

55.

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

56.

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

57.

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

58.

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

59.

A Comparative Analysis of Reinforcement Learning Methods
Mataric, Maja

Formato:
Enlaces:	This paper analyzes the suitability of reinforcement learning (RL) for both programming and adapting situated agents. We discuss two RL algorithms: Q-learning and the Bucket Brigade. We introduce a special case of the Bucket Brigade, and analyze and compare its…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

60.

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

61.

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

62.

Knowledge transfer : a critical strategic asset in multinational firms : a corporate view, Conditions for developing a local exchange market for natural gas in Venezuela
Moncayo, Gloria G. (Moncayo Cisneros, Gloria Gabriela), 1966-

Formato:	Thesis
Enlaces:	by Gloria G. Moncayo., Thesis (M.B.A.)--Massachusetts Institute of Technology, Sloan School of Management, 1999., Includes bibliographical references (leaves 87-88).
Fecha:	2005-08-19
Recurso:	MIT

Recurso libre

63.

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

64.

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

Recurso libre

65.

A Frame for Frames: Representing Knowledge for Recognition
Kuipers, Benjamin J.

Formato:
Enlaces:	This paper presents a version of frames suitable for representing knowledge for a class of reconition problems. An initial section gives an intuitive model of frames, and illustrates a number of desirable features of such a representation. A more technical…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

66.

Phase Space Navigator: Towards Automating Control Synthesis in Phase Spaces for Nonlinear Control Systems
Zhao, Feng

Formato:
Enlaces:	We develop a novel autonomous control synthesis strategy called Phase Space Navigator for the automatic synthesis of nonlinear control systems. The Phase Space Navigator generates global control laws by synthesizing flow shapes of dynamical systems and planning and navigating system…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

67.

Extracting and Representing Qualitative Behaviors of Complex Systems in Phase Spaces
Zhao, Feng

Formato:
Enlaces:	We develop a qualitative method for understanding and representing phase space structures of complex systems and demonstrate the method with a program, MAPS --- Modeler and Analyzer for Phase Spaces, using deep domain knowledge of dynamical system theory. Given a…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

68.

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

69.

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

70.

Automated Acquisition of Evolving Informal Descriptions
Reubenstein, Howard B.

Formato:
Enlaces:	The Listener is an automated system that unintrusively performs knowledge acquisition from informal input. The Listener develops a coherent internal representation of a description from an initial set of disorganized, imprecise, incomplete, ambiguous, and possibly inconsistent statements. The Listener can…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

71.

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

72.

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

73.

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

74.

Preliminary Survey of Classical Statistical Techniques for Incorporation into Adaptive Evaluation Methodology
Minkoff, Alan S.

Formato:	Working Paper
Enlaces:	Evaluation of public programming currently tends toward plans that are set in advance of any sampling and adhered to throughout. Because increments in the knowledge profile during the course of an evaluation might beckon adjustment of the working procedure, fixed…
Fecha:	2004-05-28
Recurso:	MIT

Recurso libre

75.

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

76.

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

77.

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

78.

Proposal to ARPA for Continued Research on A.I. for 1973
Minsky, Marvin - Papert, Seymour

Formato:
Enlaces:	The Artificial Intelligence Laboratory proposes to continue its work on a group of closely interconnected projects, all bearing on questions about how to make computers able to use more sophisticated kinds of knowledge to solve difficult problems. This proposal explains…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

79.

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

80.

Proposal to ARPA for Continued Research on A.I.
Minsky, Marvin

Formato:
Enlaces:	The Artificial Intelligence Laboratory proposes to continue its work on a group of closely interconnected projects, all bearing on questions about how to make computers able to use more sophisticated kinds of knowledge to solve difficult problems. This proposal explains…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

81.

Global Outsourcing of Professional Services
Seshasai, Satwik - Gupta, Amar

Formato:	Working Paper
Enlaces:	As a growing number of firms , especially those in the United States, outsource more of their professional services across geographic and temporal boundaries. Using a multi-faceted framework for this study, this paper shows that very careful analysis is needed…
Fecha:	2004-04-02
Recurso:	MIT

Recurso libre

82.

Complementary computational chemistry and surface science experiments of reaction pathways in aluminum chemical vapor deposition, Complementary quantum chemistry calculations and surface science experiments of reaction pathways in aluminum chemical vapor deposition
Willis, Brian G

Formato:	Thesis
Enlaces:	Continued advances in the semiconductor industry will require the introduction of new materials and processes concurrent with shrinking device dimensions. These simultaneous demands drastically reduce margins for error and necessitate an increasingly quantitative understanding of semiconductor processes. Leaders of the…
Fecha:	2005-08-23
Recurso:	MIT

Recurso libre

83.

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

84.

Pose-Invariant Face Recognition Using Real and Virtual Views
Beymer, David

Formato:
Enlaces:	The problem of automatic face recognition is to visually identify a person in an input image. This task is performed by matching the input face against the faces of known people in a database of faces. Most existing work in…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

85.

An AI Approach to English Morphemic Analysis
Winograd, Terry

Formato:
Enlaces:	This paper illustrated an approach toward understanding natural language through the techniques of artificial intelligence. It explores the structure of English word-endings both morpho-graphemically and semantically. It illustrated the use of procedures and semantic representations in relating the broad range…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

86.

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

87.

Planner Implementation Proposal to ARPA 1972-1973
Hewitt, Carl

Formato:
Enlaces:	The task objective is the generalization and implementation of the full power of the problem solving formalism PLANNER in the next two years. We will show how problem solving knowledge can be effectively incorporated into the formalism. Several domains will…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

88.

Teaching the Computer to Add: An Example of Problem-Solving in an Anthropomorphic Computer Culture
Solomon, Cynthia J.

Formato:
Enlaces:	Computers open up new ways to think about knowledge and learning. Learning computer science should draw upon and feed these new approaches. In a previous paper called "Leading a Child to a Computer Culture" I discuss some ways to do…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

89.

Leveraging Learning and Language Via Communication Bootstrapping
Beal, Jacob

Formato:
Enlaces:	In a Communication Bootstrapping system, peer components with different perceptual worlds invent symbols and syntax based on correlations between their percepts. I propose that Communication Bootstrapping can also be used to acquire functional definitions of words and causal reasoning knowledge.…
Fecha:	2004-10-08
Recurso:	MIT

Recurso libre

90.

Wumpus Advisor 1: A First Implementation Program that Tutors Logical and Probabilistic Reasoning Skills
Stansfield, James L. - Carr, Brian P. - Goldstein, Ira P.

Formato:
Enlaces:	The Wumpus Advisor program offers advice to a player involved in choosing the best move in a game for which competence in dealing with incomplete and uncertain knowledge is required. The design and implementation of the advisor explores a new…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

91.

An Approach to the Questionnaire State in the Knowledge-Based Operations Management System
Karmarkar, Uday S.

Formato:	Working Paper
Enlaces:	This paper discusses some preliminary thoughts about the development of a questionnaire for the Knowledge-based Operations Management System (KOMS) project. The questionnaire is designed to elicit information from managers, regarding the type of operating problems faced by them in terms…
Fecha:	2004-05-28
Recurso:	MIT

Recurso libre

92.

CREF: An Editing Facility for Managing Structured Text
Pitman, Kent M.

Formato:
Enlaces:	This paper reports work in progress on an experimental text editor called CREF, the Cross Referenced Editing Facility. CREF deals with chunks of text, called segments, which may have associated features such as keywords or various kinds of links to…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

93.

Learning and Reasoning by Analogy: The Details
Winston, Patrick H.

Formato:
Enlaces:	We use analogy when we say something is a Cinderella story and when we learn about resistors by thinking about water pipes. We also use analogy when we learn subjects like Economics, Medicine and Law. This paper presents a theory…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

94.

A Hypothetical Monologue Illustrating the Knowledge Underlying Program Analysis
Shrobe, Howard E. - Waters, Richard C. - Sussman, Gerald J.

Formato:
Enlaces:	Automated Program Analysis is the process of discovering decompositions of a system into sub-units such that the behavior of the whole program can be inferred from the behavior of its parts. Analysis can be employed to increase the explanatory power…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

95.

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

96.

Learning New Principles from Precedents and Exercises: The Details
Winston, Patrick H.

Formato:
Enlaces:	Much Learning is done by way of studying precedents and exercises. A teacher supplies a story, gives a problem, and expects a student both to solve a problem and to discover a principle. The student must find the correspondence between…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

97.

Face Recognition from One Example View
Beymer, David - Poggio, Tomaso

Formato:
Enlaces:	If we are provided a face database with only one example view per person, is it possible to recognize new views of them under a variety of different poses, especially views rotated in depth from the original example view? We…
Fecha:	2004-10-08
Recurso:	MIT

Recurso libre

98.

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

99.

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

100.

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