Metabuscador

Filtrado por:

Temas

Electrical Engineering and Computer Science. (26)
AI (14)
Management of Technology Program. (12)
Sloan School of Management. (12)
knowledge representation (11)
Más...

Idiomas

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

Año

2005 (131)
2002 (10)
1999 (7)
1989 (10)
1986 (7)
1984 (6)
Más...

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

Mostrar 10 | 50 | 100 resultados por página

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

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

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

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

Measuring the Impact of Information Technology on Value and Productivity using a Process-Based Approach: The case for RFID Technology
Subirana, Brian - Eckes, Chad - Herman, George - Sarma, Sanjay - Barrett, Michael

Formato:	Working Paper
Enlaces:	There has been a lot of research addressing the relationship between Information Technology (IT) investments and productivity. Most of the work has been based on firm-level metrics such as total IT investment. We present what we believe is one of…
Fecha:	2004-03-12
Recurso:	MIT

Recurso libre

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

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

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

Multiple Input-Multiple Output Cycle-to-Cycle Control of Manufacturing Processes
Rzepniewski, Adam K. - Hardt, David E.

Formato:	Article
Enlaces:	Cycle-to-cycle control is a method for using feedback to improve product quality for processes that are inaccessible within a single processing cycle. This limitation stems from the impossibility or the prohibitively high cost of placing sensors and actuators that could…
Fecha:	2003-11-29
Recurso:	MIT

Recurso libre

10.

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

11.

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

12.

The Computer as Coach: An Athletic Paradigm for Intellectual Education
Goldstein, Ira

Formato:
Enlaces:	Over the next five years, computer games will find their way into a vast number of American homes, creating a unique educational opportunity: the development of "computer coaches" for the serious intellectual skills required by some of these games. From…
Fecha:	2004-10-08
Recurso:	MIT

Recurso libre

13.

The Impact of Processing Time Knowledge on Dynamic Job-Shop Scheduling
Wein, Lawrence M. - Ou, Jihong

Formato:	Working Paper
Enlaces:	The goal of this paper is to determine if the results for dynamic job-shop scheduling problems are affected by the assumptions made with regard to the processing time distributions and the scheduler's knowledge of the processing times. Three dynamic jobshop…
Fecha:	2004-05-28
Recurso:	MIT

Recurso libre

14.

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

15.

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

16.

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

17.

Putting Patents in Context:Exploring Knowledge Transfer from MIT
Agrawal, Ajay - Henderson, Rebecca

Formato:	Working Paper
Enlaces:	In this paper we explore the degree to which patents are representative of the magnitude, direction, and impact of the knowledge spilling out of the university by focusing on MIT, and in particular on the departments of Mechanical and Electrical…
Fecha:	2003-12-18
Recurso:	MIT

Recurso libre

18.

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

19.

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

20.

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

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

Recurso libre

21.

CDGPS-based relative navigation for multiple spacecraft, Carrier-phase Differential Global Positioning System-based relative navigation for multiple spacecraft
Mitchell, Megan Leigh, 1978-

Formato:	Thesis
Enlaces:	This thesis investigates the use of Carrier-phase Differential GPS (CDGPS) in relative navigation filters for formation flying spacecraft. This work analyzes the relationship between the Extended Kalman Filter (EKF) design parameters and the resulting estimation accuracies, and in particular, the…
Fecha:	2005-06-02
Recurso:	MIT

Recurso libre

22.

Real options approach to capacity planning under uncertainty
Mittal, Geetanjali, 1979-

Formato:	Thesis
Enlaces:	This thesis highlights the effectiveness of Real Options Analysis (ROA) in capacity planning decisions for engineering projects subject to uncertainty. This is in contrast to the irreversible decision-making proposed by the deterministic strategies based on expected estimates of parameters drawn…
Fecha:	2005-09-26
Recurso:	MIT

Recurso libre

23.

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

24.

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

25.

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

26.

Formalizing knowledge used in spectrogram reading : acoustic and perceptual evidence from stops

Formato:
Enlaces:	Lori Faith Lamel., Also issued as Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1988., Includes bibliographical references., Supported by the Defense Advanced Research Projects Agency, Vinton-Hayes, Bell Laboratories (GRPW), and Inference Corporation.
Fecha:	2004-03-03
Recurso:	MIT

Recurso libre

27.

Model-Based Reasoning: Troubleshooting
Davis, Randall - Hamscher, Walter C.

Formato:
Enlaces:	To determine why something has stopped working, it is useful to know how it was supposed to work in the first place. That simple observation underlies some of the considerable interest generated in recent years on the topic of model-based…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

28.

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

29.

Intelligence in Scientific Computing
Abelson, Harold - Eisenberg, Michael - Halfact, Mathew - Katzenelson, Jacob - Sacks, Elisha - Sussman, Gerald Jay - Wisdom, Jack - Yip, Ken

Formato:
Enlaces:	Combining numerical techniques with ideas from symbolic computation and with methods incorporating knowledge of science and mathematics leads to a new category of intelligent computational tools for scientists and engineers. These tools autonomously prepare simulation experiments from high-level specifications of…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

30.

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

31.

A Hybrid Intelligent System for Stamping Process Planning in Progressive Die Design
Zhang, W.Y. - Tor, Shu Beng - Britton, G.A.

Formato:	Article
Enlaces:	This paper presents an intelligent, hybrid system for stamping process planning in progressive die design. The system combines the flexibility of blackboard architecture with case-based reasoning. The hybrid system has the advantage that it can use past knowledge and experience…
Fecha:	2003-12-14
Recurso:	MIT

Recurso libre

32.

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

33.

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

34.

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

35.

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

36.

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

37.

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

38.

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

39.

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

40.

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

41.

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

42.

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

43.

Patent Litigation As a Leading Market Indicator
Tang, Victor - Huang, Biao

Formato:	Working Paper
Enlaces:	The purpose of this paper is to introduce patent litigation as a leading indicator of market growth. We model the intensity of patent litigation and the market growth for the personal computer and cellular phone market in the US. By…
Fecha:	2003-12-10
Recurso:	MIT

Recurso libre

44.

Shape and Source from Shading
Brooks, Michael J. - Horn, Berthold K.P.

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

45.

The Computational Complexity of Two-Level Morphology
Barton, G. Edward, Jr.

Formato:
Enlaces:	Morphological analysis requires knowledge of the stems, affixes, combnatory patterns, and spelling-change processes of a language. The computational difficulty of the task can be clarified by investigating the computational characteristics of specific models of morphologial processing. The use of finite-state…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

46.

Circumscribing Circumscription: A Guide to Relevance and Incompleteness
Williams, Brian C.

Formato:
Enlaces:	Intelligent agents in the physical world must work from incomplete information due to partial knowledge and limited resources. An agent copes with these limitations by applying rules of conjecture to make reasonable assumptions about what is known. Circumscription, proposed by…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

47.

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

48.

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

49.

Surface Reflectance Estimation and Natural Illumination Statistics
Dror, Ron O. - Adelson, Edward H. - Willsky, Alan S.

Formato:
Enlaces:	Humans recognize optical reflectance properties of surfaces such as metal, plastic, or paper from a single image without knowledge of illumination. We develop a machine vision system to perform similar recognition tasks automatically. Reflectance estimation under unknown, arbitrary illumination proves…
Fecha:	2004-10-08
Recurso:	MIT

Recurso libre

50.

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