Metabuscador

Filtrado por:

Temas

Electrical Engineering and Computer Science. (18)
AI (14)
knowledge representation (10)
Management of Technology Program. (9)
Aeronautics and Astronautics. (6)
Más...

Año

2005 (85)
2003 (26)
2002 (11)
2001 (11)
1992 (5)
1991 (6)
Más...

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

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

Analyzing Natural Images: A Computational Theory of Texture Vision
Marr, D.

Formato:
Enlaces:	A theory of early and intermediate visual information processing is given, which extends to about the level of figure-ground separation. Its core is a computational theory of texture vision. Evidence obtained from perceptual and from computational experiments is adduced in…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

A Framework for Representing Knowledge
Minsky, Marvin

Formato:
Enlaces:	This is a partial theory of thinking, combining a number of classical and modern concepts from psychology, linguistics, and AI. Whenever one encounters a new situation (or makes a substantial change in one's viewpoint) he selects from memory a structure…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

ITS 1.5 Reference Manual
Eastlake, D. - Greenblatt, R. - Holloway, J. - Knight, T. - Nelson, S.

Formato:
Enlaces:	This reference manual consists of two parts. The first (sections 1 through 6) is intended for those who are either interested in the ITS 1.5 time sharing monitor for its own sake or who wish to write machine language programs…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

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

Classifying Objects from Visual Information
Bobick, Aaron - Richards, Whitman

Formato:
Enlaces:	Consider a world of 'objects.' Our goal is to place these objects into categories that are useful to the observer using sensory data. One criterion for utility is that the categories allow the observer to infer the object's potential behaviors,…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

Diagnostic Reasoning Based on Structure and Behavior
Davis - Randall

Formato:
Enlaces:	We describe a system that reasons from first principles, i.e., using knowledge of structure and behavior. The system has been implemented and tested on several examples in the domain of troubleshooting digital electronic circuits. We give an example of the…
Fecha:	2004-10-04
Recurso:	MIT

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

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

10.

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

11.

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

12.

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

13.

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

14.

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

15.

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

16.

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

17.

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

18.

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

19.

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

20.

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

21.

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

22.

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

23.

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

24.

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

25.

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

26.

Causal Reconstruction
Borchardt, Gary C.

Formato:
Enlaces:	Causal reconstruction is the task of reading a written causal description of a physical behavior, forming an internal model of the described activity, and demonstrating comprehension through question answering. T his task is difficult because written d escriptions often do…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

27.

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

28.

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

29.

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

30.

Observations on Cognitive Judgments
McAllester, David

Formato:
Enlaces:	It is obvious to anyone familiar with the rules of the game of chess that a king on an empty board can reach every square. It is true, but not obvious, that a knight can reach every square. Why is…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

31.

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

32.

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

33.

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

34.

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

35.

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

36.

Assessment and Documentation of a Children's Computer Laboratory
Papert, Seymour - Watt, Daniel H.

Formato:
Enlaces:	This research will thoroughly document the experiences of a small number of 5th grade children in an elementary school computer laboratory, using LOGO, an advanced computer language designed for children. Four groups of four children will be taught a 10-week…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

37.

A Proposal for a Computational Model of Anatomical and Physiological Reasoning
Smith, Brian Cantwell

Formato:
Enlaces:	The studies of anatomy and physiology are fundamental ingredients of medical education. This paper identifies six ways in which such functional knowledge serves as the underpinnings for general medical reasoning, and outlines the design of a computational model of common…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

38.

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

39.

Simplifying Decision Trees
Quinlan, J.R.

Formato:
Enlaces:	Many systems have been developed for constructing decision trees from collections of examples. Although the decision trees generated by these methods are accurate and efficient, they often suffer the disadvantage of excessive complexity that can render them incomprehensible to experts.…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

40.

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

41.

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

42.

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

43.

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

44.

A Primitive Control P Feature
Eastlake, Donald E., III

Formato:
Enlaces:	A program, some TECO macros, and some small modifications to existing systems software have been written, called PRO, whose purpose is to reduce the large number of control languages and system programs it has been necessary to know about and…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

45.

ITS 1.5 Reference Manual
Eastlake, D. - Greenblatt, R. - Holloway, J. - Knight, T. - Nelson, S.

Formato:
Enlaces:	This reference manual consists of two parts. The first (sections 1 through 6) is intended for those who are either interested in the ITS 1.5 time sharing monitor for its own sake or who wish to write machine language programs…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

46.

Linear Separation and Learning
Minsky, Marvin - Papert, Seymour

Formato:
Enlaces:	This is a reprint of page proofs of Chapter 12 of Perceptrons, M. Minsky and S. Papert, MIT Press 1968, (we hope). It replaces A.I. Memo No. 156 dated March 1968. The perceptron and convergence theorems of Chapter 11 are…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

47.

Decomposition of a Visual Scene into Three-Dimensional Bodies
Guzman, Adolfo

Formato:
Enlaces:	The program described here takes as its input a collection of lines, vertices and surfaces describing a scene, and analyzes the scene into a composition of three-dimensional objects. The program does not need to know the form (model, or pattern)…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

48.

PROGRAMMER: A Language for Writing Grammars
Winograd, Terry

Formato:
Enlaces:	This memo describes PROGRAMMER, a parser for natural language. It consists of a language for writing grammars in the form of programs, and an interpreter which can use these grammars to parse sentence. PROGRAMMER is one part of an integrated…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

49.

Proposal to ARPA for Research on Intelligent Automata and Micro-Automation
Winston, P. - Horn, B.K.P. - Sussman, G.J.

Formato:
Enlaces:	The results of a decade of work in Artificial Intelligence have brought us to the threshold of a new phase of knowledge-based programming -- in which we can design computer systems that (1) react reasonably to significantly complicated situations and…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

50.

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

51.

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

52.

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

53.

Open Systems
Hewitt, Carl - Jong, Peter de

Formato:
Enlaces:	This paper describes some problems and opportunities associated with conceptual modeling for the kind of "open systems" we foresee must and will be increasingly recognized as a central line of computer system development. Computer applications will be based on communication…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

54.

Fingerprints Theorems for Zero-Crossings
Yuille, A.L. - Poggio, T.

Formato:
Enlaces:	We prove that the scale map of the zero-crossings of almost all signals filtered by the second derivative of a gaussian of variable size determines the signal uniquely, up to a constant scaling and a harmonic function. Our proof provides…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

55.

Surface Reconstruction Preserving Discontinuities
Marroquin, J.L.

Formato:
Enlaces:	Well-known methods for solving the shape-from-shading problem require knowledge of the reflectance map. Here we show how the shape-from-shading problem can be solved when the reflectance map is not available, but is known to have a given form with some…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

56.

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

57.

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

58.

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

59.

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

60.

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

61.

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

62.

Re-engineering knowledge networks for development
Raghavan, Amrith, 1976-

Formato:	Thesis
Enlaces:	This thesis examines the evolution of Internet based knowledge networks (e-knowledge networks) in the domain of sustainable development. The objective of this thesis is to use an engineering systems approach to understand knowledge networks, identify the barriers to their sustainability…
Fecha:	2005-06-02
Recurso:	MIT

Recurso libre

63.

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

64.

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

65.

Multiplexing, Scheduling, and Multicasting Strategies for Antenna Arrays in Wireless Networks
Lopez, Michael J.

Formato:	Technical Report
Enlaces:	A transmitter antenna array has the ability to direct data simultaneously to multiple receivers within a wireless network, creating potential for a more integrated view of algorithmic system components. In this thesis, such a perspective informs the design of two…
Fecha:	2004-06-15
Recurso:	MIT

Recurso libre

66.

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

67.

Mapping the R&D knowledge network, Mapping the research and development knowledge network
Liew, Kou-Yew, 1972-

Formato:	Thesis
Enlaces:	Knowledge networks have received a significant amount of attention in the past few decades as people look beyond corporate governance and resource-based approaches to uncover sources of competitive advantage. While this area of research is useful for organizations in general,…
Fecha:	2005-06-02
Recurso:	MIT

Recurso libre

68.

Learning commonsense categorical knowledge in a thread memory system
Stamatoiu, Oana L. (Oana Liana), 1981-

Formato:	Thesis
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:	2005-06-02
Recurso:	MIT

Recurso libre

69.

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

70.

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

71.

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

72.

Growth strategies of small nations : with special reference to Ireland, Finland and Singapore
Yeo, Lionel, 1972-

Formato:	Thesis
Enlaces:	This thesis is based on the premise that small nations face unique challenges in the quest for economic prosperity. They have a small domestic economy and are more dependent than larger economies on international trade. Smallness typically entails a lack…
Fecha:	2005-06-02
Recurso:	MIT

Recurso libre

73.

The role of consideration in the pursuit of market share : a study of the U.S. automobile industry
Knight, Kenneth Darnell, 1960-

Formato:	Thesis
Enlaces:	The state of business in the U.S. automobile industry is such that competition is fierce, and consumers have a perplexing number of alternatives from which to choose. The final purchase decision by the consumer is where most industry experts focus…
Fecha:	2005-06-02
Recurso:	MIT

Recurso libre

74.

Emerging technology intelligence : scanning and monitoring for strategic planning
Brockley, Ellen M. (Ellen Marie), 1961-

Formato:	Thesis
Enlaces:	In recent years we have seen a confluence of science and technology that portends great impact to business strategy and product development. Just as physicists, chemists and biologists have extended their knowledge to other fields in pursuit of their own…
Fecha:	2005-06-02
Recurso:	MIT

Recurso libre

75.

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

76.

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

77.

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

78.

System for the online assessment of distributed projects
Shiraishi, Fumiaki, 1977-

Formato:	Thesis
Enlaces:	The collaboration of researchers in different fields, institutions, and nations continues to be important as new ideas and solutions result from the combination of different knowledge and experiences. The Cambridge MIT Institute (CMI) Online Project Assessment System(OPAS) aims to collect…
Fecha:	2005-06-02
Recurso:	MIT

Recurso libre

79.

Learning together better : the structured design of learning teams
Timmers, Kendell M. (Kendell MacQueen), 1978-

Formato:	Thesis
Enlaces:	There is a great need among educators for a way to quickly assign teams in large or distance learning classrooms in a manner superior to random assignment or student self-selection. Forming teams based on knowledge of students' characteristics is too…
Fecha:	2005-06-02
Recurso:	MIT

Recurso libre

80.

Telematics industry dynamics and strategies for converging technologies
Luis, Rodrigo, 1973-

Formato:	Thesis
Enlaces:	The Telematics Industry faces tremendous challenges for growth. Regardless of the efforts and investment from vehicle manufacturers and suppliers, telematics has not been that profitable industry that many analyst forecasted five years ago; a 40 billion industry by 2003. This…
Fecha:	2005-06-02
Recurso:	MIT

Recurso libre

81.

Banking channel management : global trends and strategies
Catalan, Renato Teixeira

Formato:	Thesis
Enlaces:	Banking channel management has become a crucial component in the drive for improved efficiency. Since the channel is the interlocutor between customers and products, banks are leveraging their knowledge of channels to efficiently address perfect product portfolio through the most…
Fecha:	2005-06-02
Recurso:	MIT

Recurso libre

82.

The potential business impacts of Semantic Web for system integration
Saita, Akio, 1972-

Formato:	Thesis
Enlaces:	This thesis presents research about the potential business impacts of the Semantic Web. The concept of the Semantic Web is an expansion of the Web for computers, enabling them to comprehend the meaning of information. In addition, Semantic Web Services…
Fecha:	2005-06-02
Recurso:	MIT

Recurso libre

83.

Characterization and modeling of polysilicon MEMS chemical-mechanical polishing
Tang, Brian D. (Brian David), 1980-

Formato:	Thesis
Enlaces:	Heavily used in the manufacture of integrated circuits, chemical-mechanical polishing (CMP) is becoming an enabling technology for microelectromechanical systems (MEMS). To reliably use CMP in the manufacturing process, designers must be able to accurately predict the CMP process and control…
Fecha:	2005-06-02
Recurso:	MIT

Recurso libre

84.

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

85.

Environmental and health management in small and medium size enterprises
Arredondo, Juan C. (Juan Carlos Arredondo Brun), 1974-

Formato:	Thesis
Enlaces:	Workers and employees are increasingly exposed in the workplace to chemical compounds and substances that are potentially toxic; for most of these compounds, no information exist regarding effects on human health. As one of the main employment generation sources, Small…
Fecha:	2005-06-02
Recurso:	MIT

Recurso libre

86.

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

87.

Trust policy management for the financial industry using semantic web rules
Neogy, Chitravanu

Formato:	Thesis
Enlaces:	Trust Management is a growing problem in large corporations today. In industries like financial services, firms need to comply with constantly changing regulations, security requirements and business policies. Information technology is often the backbone of the processes that are regulated…
Fecha:	2005-06-02
Recurso:	MIT

Recurso libre

88.

The key elements of advocacy marketing
Yamaoka, Takashi, 1968-

Formato:	Thesis
Enlaces:	Customer power is growing, and customers now have tools that inform them of the true state of affairs. This power enables them to avoid the pushy messages of marketers, make their own decisions, and determine what to buy. A company…
Fecha:	2005-06-02
Recurso:	MIT

Recurso libre

89.

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

90.

Spaces of innovation : 21st century technopoles
Seitinger, Susanne, 1978-

Formato:	Thesis
Enlaces:	Public authorities and private developers around the world are attempting to create and sustain hubs within the innovation-based economy by fostering successful urban environments. These large-scale developments succeed an earlier generation of post-industrial "technopoles" named after the French word popularized…
Fecha:	2005-06-02
Recurso:	MIT

Recurso libre

91.

The design and structural characterization of oligomeric beta beta alpha mini-proteins
Ali, Mayssam H. (Mayssam Hani), 1976-

Formato:	Thesis
Enlaces:	Oligomeric mini-proteins, short peptides with protein-like features, constitute valuable minimal models for the study of oligomeric proteins. Oligomerization is a common feature of cellular proteins that may confer structural and functional advantages. Oligomerization is proposed to have arisen by several…
Fecha:	2005-06-02
Recurso:	MIT

Recurso libre

92.

Adaptive modeling of GPS receiver clock for integrity monitoring during precision approaches, Adaptive modeling of Global Positioning System receiver clock for integrity monitoring during precision approaches
Bednarz, Sean G. (Sean Garrett), 1980-

Formato:	Thesis
Enlaces:	The FAA is developing the Local Area Augmentation System (LAAS) to replace ground-based navigation aids as the primary means of aircraft precision approaches. Stringent requirements on the integrity of the system have caused significant delays and raised questions about the…
Fecha:	2005-06-02
Recurso:	MIT

Recurso libre

93.

Distributed coordination of autonomous agents by communicating on a need-to-know basis
Chen, Judy Y. (Judy Yann-Yun), 1980-

Formato:	Thesis
Enlaces:	Intelligent autonomous agents working cooperatively accomplish tasks more efficiently than single agents, as well as tasks that were infeasible for the single agent. For example, a single agent transporting a ton of blocks will need to take multiple trips, possibly…
Fecha:	2005-06-02
Recurso:	MIT

Recurso libre

94.

Self-organizing event maps
Tardiff, Seth Ronald, 1981-

Formato:	Thesis
Enlaces:	To take further steps along the path toward true artificial intelligence, systems must be built that are capable of learning about the world around them through observation and explanation. These systems should be flexible and robust in the style of…
Fecha:	2005-06-02
Recurso:	MIT

Recurso libre

95.

Obligations abroad : towards a just foreign policy
Rothkin, Karen, 1966-

Formato:	Thesis
Enlaces:	This dissertation considers three implications of collective self-government for just foreign policies in an imperfect world. Individuals are the appropriate moral unit of analysis, constrained to govern themselves justly, together with compatriots. First I derive limits to state autonomy that…
Fecha:	2005-06-02
Recurso:	MIT

Recurso libre

96.

Expert Systems: Where Are We? And Where Do We Go from Here?
Davis - Randall

Formato:
Enlaces:	Work on Expert Systems has received extensive attention recently, prompting growing interest in a range of environments. Much has been made of the basic concept and the rule-based system approach typically used to construct the programs. Perhaps this is a…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

97.

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

98.

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

99.

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

100.

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