Metabuscador

Filtrado por:

Temas

AI (14)
knowledge representation (9)
Electrical Engineering and Computer Science. (7)
learning (5)
Artificial Intelligence (4)
Más...

Idiomas

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

Año

2005 (30)
2004 (188)
2003 (10)
2002 (15)
2001 (7)
2000 (4)
Más...

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

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

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

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

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

Causal/Temporal Connectives: Syntax and Lexicon
Brent, Michael R.

Formato:
Enlaces:	This report elucidates the linguistic representation of temporal relations among events. This involves examining sentences that contain two clauses connected by words like once, by the time, when, and before. Specifically, the effect of the tenses of the connected clauses…
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

Shaping Inputs to Reduce Vibration: A Vector Diagram Approach
Singhose, William

Formato:
Enlaces:	This paper describes a method for limiting vibration in flexible systems by shaping the system inputs. Unlike most previous attempts at input shaping, this method does not require an extensive system model or lengthy numerical computation; only knowledge of the…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

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

Flavors: Message Passing in the Lisp Machine
Weinreb, Daniel - Moon, David

Formato:
Enlaces:	The object oriented programming style used in the Smalltalk and Actor languages is available in Lisp Machine Lisp, and used by the Lisp Machine software system. It is used to perform generic operations on objects. Part of its implementation is…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

PAZATN: A Linguistic Approach to Automatic Analysis of Elementary Programming Protocols
Miller, Mark L. - Goldstein, Ira P.

Formato:
Enlaces:	PATN is a design for a machine problem solver which uses an augmented transition network (ATN) to represent planning knowledge. In order to explore PATN's potential as a theory of human problem solving, a linguistic approach to protocol analysis is…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

10.

Viewing Control Structures as Patterns of Passing Messages
Hewitt, Carl

Formato:
Enlaces:	The purpose of this paper is to discuss some organizational aspects of programs using the actor model of computation. In this paper we present an approach to modelling intelligence in terms of a society of communicating knowledge-based problem-solving experts. In…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

11.

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

12.

A Preview of Act 1
Lieberman, Henry

Formato:
Enlaces:	The next generation of artificial intelligence programs will require the ability to organize knowledge as groups of active objects. Each object should have only its own local expertise, the ability to operate in parallel with other objects, and the ability…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

13.

Reducing Impediments to Collaboration in a Virtual Design World
Seshasai, Satwik - Gupta, Amar - Sainath, Tara

Formato:
Enlaces:	This paper presents a knowledge-based approach to reducing impediments to collaboration in a distributed environment. A major impediment to such collaboration is the issue of communications - clearly and efficiently expressing the desires of every stakeholder in the process, as…
Fecha:	2002-09-25
Recurso:	MIT

Recurso libre

14.

MindShare : knowledge sharing via personalized views on a composite ontology, Knowledge sharing via personalized views on a composite ontology
Van Dyke, Neil William, 1971-

Formato:	Thesis
Enlaces:	by Neil William Van Dyke., Thesis (S.M.)--Massachusetts Institute of Technology, School of Architecture and Planning, Program in Media Arts and Sciences, 2000., "February 2000.", Includes bibliographical references (p. 87-91).
Fecha:	2005-08-22
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.

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

17.

Three-dimensional representations of video using knowledge based estimation
Holtzman, Henry Neil

Formato:	Thesis
Enlaces:	by Henry Neil Holtzman., Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Architecture, 1991., Includes bibliographical references (leaves 63-66).
Fecha:	2005-08-15
Recurso:	MIT

Recurso libre

18.

A web based interface metaphor for presenting complete process knowledge
Nguyen, Vuong P. (Vuong Phuc)

Formato:	Thesis
Enlaces:	by Vuong P. Nguyen., Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1997., Includes bibliographical references (leaves 67-68).
Fecha:	2005-08-18
Recurso:	MIT

Recurso libre

19.

Knowledge management of system interfaces and interactions from product development processes
Thebeau, Ronnie E. (Ronnie Emile), 1970-

Formato:	Thesis
Enlaces:	by Ronnie E. Thebeau., Thesis (S.M.)--Massachusetts Institute of Technology, System Design & Management Program, 2001., Includes bibliographical references (p. 149).
Fecha:	2005-09-27
Recurso:	MIT

Recurso libre

20.

Building a trajectory syntax through language evolution
Kim, Anthony Hahn, 1980-

Formato:	Thesis
Enlaces:	If we are to understand the innately human ability to solve complex problems, we must first understand the cognitive processes that allow us to combine different kinds of knowledge, to learn new things and to communicate with other people. I…
Fecha:	2005-09-26
Recurso:	MIT

Recurso libre

21.

Procedural reflection in programming languages
Smith, Brian Cantwell

Formato:	Thesis
Enlaces:	by Brian Cantwell Smith., Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1982., MICROFICHE COPY AVAILABLE IN ARCHIVES AND ENGINEERING., Bibliography: leaves 756-761.
Fecha:	2005-08-04
Recurso:	MIT

Recurso libre

22.

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

23.

Transferring, Translating and Transforming: An Integrative Framework
Carlile, Paul

Formato:	Working Paper
Enlaces:	Organizations must establish processes for managing knowledge across boundaries because of the specialized and task-dependent forms of knowledge required to deliver products and services. To address this challenge an integrative framework is developed that identifies and integrates the value of…
Fecha:	2003-12-18
Recurso:	MIT

Recurso libre

24.

D-SCRIPT: A Computational Theory of Descriptions
Moore, Robert C.

Formato:
Enlaces:	This paper descries D-SCRIPT, a language for representing knowledge in artificial intelligence programs. D-SCRIPT contains a powerful formalism for descriptions, which permits the representation of statements that are problematical for other systems. Particular attention is paid to problems of opaque…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

25.

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

26.

A Knowledge Based Approach to Facilitate Enginering Design
Seshasai, Satwik - Gupta, Amar

Formato:
Enlaces:	This paper presents a knowledge-based approach to facilitate the engineering design process relating to spacecrafts. Because the design evolves over a long time and typically involves individuals working at different locations and frequently for different organizations, the degree of collaboration…
Fecha:	2002-10-23
Recurso:	MIT

Recurso libre

27.

Strained Silicon on Silicon by Wafer Bonding and Layer Transfer from Relaxed SiGe Buffer
Isaacson, David M. - Taraschi, G. - Pitera, Arthur J. - Ariel, Nava - Fitzgerald, Eugene A. - Langdo, Thomas A.

Formato:	Article
Enlaces:	We report the creation of strained silicon on silicon (SSOS) substrate technology. The method uses a relaxed SiGe buffer as a template for inducing tensile strain in a Si layer, which is then bonded to another Si handle wafer. The…
Fecha:	2004-12-10
Recurso:	MIT

Recurso libre

28.

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

29.

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

30.

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

31.

A Computational Model for the Acquisition and Use of Phonological Knowledge
Yip, Kenneth - Sussman, Gerald Jay

Formato:
Enlaces:	Does knowledge of language consist of symbolic rules? How do children learn and use their linguistic knowledge? To elucidate these questions, we present a computational model that acquires phonological knowledge from a corpus of common English nouns and verbs. In…
Fecha:	2004-10-08
Recurso:	MIT

Recurso libre

32.

Qualitative and Quantitative Knowledge in Classical Mechanics
Kleer, Johan De

Formato:
Enlaces:	This thesis investigates what knowledge is necessary to solve mechanics problems. A program NEWTON is described which understands and solves problems in mechanics mini-world of objects moving on surfaces. Facts and equations such as those given in mechanics text need…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

33.

Transferring, Translating and Transforming: An Integrative Framework
Carlile, Paul

Formato:	Working Paper
Enlaces:	Organizations must establish processes for managing knowledge across boundaries because of the specialized and task-dependent forms of knowledge required to deliver products and services. To address this challenge an integrative framework is developed that identifies and integrates the value of…
Fecha:	2003-12-10
Recurso:	MIT

Recurso libre

34.

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

35.

Understanding expressive action
Wren, Christopher R. (Christopher Richard)

Formato:	Thesis
Enlaces:	We strain our eyes, cramp our necks, and destroy our hands trying to interact with computer on their terms. At the extreme, we strap on devices and weigh ourselves down with cables trying to re-create a sense of place inside…
Fecha:	2005-05-19
Recurso:	MIT

Recurso libre

36.

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

37.

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

38.

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

39.

Automated Negotiation from Declarative Contract Descriptions
Grosof, Benjamin - Reeves, Daniel - Wellman, Michael

Formato:
Enlaces:	Our approach for automating the negotiation of business contracts proceeds in three broad steps. First, determine the structure of the negotiation process by applying general knowledge about auctions and domain-specific knowledge about the contract subject along with preferences from po-
Fecha:	2002-10-23
Recurso:	MIT

Recurso libre

40.

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

41.

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

42.

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

43.

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

44.

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

45.

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

46.

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

47.

What do firm boundaries do? : employment relationships and transaction governance in internal and outsourced IT projects
Bidwell, Matthew James, 1974-

Formato:	Thesis
Enlaces:	Firm boundaries have been the subject of much scholarly interest in recent years, as firms increasingly hire external, "contingent" workers and outsource previously core activities. However, little empirical research has directly studied what happens differently inside the firm's boundaries, versus…
Fecha:	2005-09-27
Recurso:	MIT

Recurso libre

48.

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

49.

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

50.

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