Metabuscador

Filtrado por:

Temas

Año

2005 (6)
2004 (58)
2003 (2)
2002 (1)
2001 (3)
2000 (1)
Más...

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

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

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

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

A Structural Approach to Analogy
Mansour, Hormoz

Formato:
Enlaces:	There are multiple sorts of reasoning by analogy between two domains; the one with which we are concerned is a type of contextual analogy. The purpose of this paper is to see whether two domains that look analogous would be…
Fecha:	2004-10-01
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

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

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

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

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

The Connection Machine
Hillis, W. Daniel

Formato:
Enlaces:	This paper describes the connection memory, a machine for concurrently manipulating knowledge stored in semantic networks. We need the connection memory because conventional serial computers cannot move through such networks fast enough. The connection memory sidesteps the problem by providing…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

10.

Natural Learning
Miller, Laurence

Formato:
Enlaces:	This memo reports the results of a case study into how children learn in the absence of explicit teaching. The three subjects, an eight year old, a ten year old and a thirteen year old were observed in both of…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

11.

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

12.

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

13.

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

14.

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

15.

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

16.

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

17.

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

18.

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

19.

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

20.

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

21.

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

22.

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

23.

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

24.

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

25.

The FRL Primer
Roberts, R. Bruce - Goldstein, Ira P.

Formato:
Enlaces:	The Frame Representation Language (FRL) is an experimental language written to explore the use of frames as a knowledge representation technique. The term 'frame' as used in FRL was inspired by Minsky's [75] development of frame theory. FRL extends the…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

26.

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

27.

The Genetic Epistemology of Rule Systems
Goldstein, Ira P.

Formato:
Enlaces:	I shall describe a model of the evolution of the rule-structured knowledge that serves as a cornerstone of our development of computer-based coaches. The key idea is a graph structure whose nodes represent rules, and whose links represent various evolutionary…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

28.

Understanding Hand-Printed Algebra for Computer Tutoring
Purcell, Stephen C.

Formato:
Enlaces:	This thesis demonstrates how the use of a global context can improve the power of a local character recognizer. The global context considered is a computer tutor of high school algebra that observes a student working algebra problems on a…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

29.

Teaching of Procedures-Progress Report
Sussman, Gerald Jay

Formato:
Enlaces:	The idea of building a programmer is very seductive in that it holds the promise of massive bootstrapping and thus ties in with many ideas about learning and teaching. I will avoid going into those issues here. It is necessary,…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

30.

Proposal to ARPA for Research on Artificial Intelligence at M.I.T., 1971-1972
Minsky, Marvin - Papert, Seymour

Formato:
Enlaces:	The activities of the Artificial Intelligence laboratory can be viewed under three main aspects; (1) Artificial Intelligence- understanding the principles of making intelligent machines along the lines discusses in previous proposals, and elaborated below. (2) Natural Intelligence- As we understand…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

31.

Proposal to ARPA for Research on Artificial Intelligence at MIT, 1970-1971
Minsky, Marvin - Papert, Seymour

Formato:
Enlaces:	The MIT Artificial Intelligence Project has a variety of goals all bound together by search for principles of intelligent behavior. Among our immediate goals are to develop systems with practical applications for: Visually-controlled automatic manipulation and physical world problem-solving, machine…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

32.

Automated Design Data and Rationale Capture
Gupta, Amar - Seshasai, Satwik - Yeung, Jason - Sainath, Tara

Formato:
Enlaces:	This paper presents a knowledge-based approach for capturing data and rationale, so that the experience and insights gained while pursuing a major project or endeavor can be utilized when pursuing future endeavors of a similar nature. The proposed
Fecha:	2002-06-07
Recurso:	MIT

Recurso libre

33.

Conclusions from the Commodity Expert Project
Stansfield, James L.

Formato:
Enlaces:	The goal of the commodity expert project was to develop a prototype program that would act as an intelligent assistant to a commodity market analyst. Since expert analysis must deal with very large, yet incomplete, data bases of unreliable facts…
Fecha:	2004-10-01
Recurso:	MIT

Recurso libre

34.

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

35.

Semantic Interoperability in the Fixed Income Securities Industry: A Knowledge Representation Architecture for Dynamic Integration of Web-Based Information
Moulton, Allen - Madnick, Stuart - Siegel, Michael

Formato:	Working Paper
Enlaces:	We examine a knowledge representation architecture to support context interchange mediation. For autonomous receivers and sources sharing a common subject domain, the mediator's reasoning engine can devise query plans integrating multiple sources and resolving semantic heterogeneity. Receiver…
Fecha:	2003-02-10
Recurso:	MIT

Recurso libre

36.

Inventing organizations of the 21st century : producing knowledge through collaboration, Inventing organizations of the twenty-first century

Formato:
Enlaces:	by Nina Kruschwitz and George Roth., "March 1999.", Includes bibliographical references.
Fecha:	2003-04-29
Recurso:	MIT

Recurso libre

37.

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

38.

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

39.

Locality principles and the acquisition of syntactic knowledge
Berwick, Robert Cregar

Formato:	Thesis
Enlaces:	by Robert Cregar Berwick., Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1982., MICROFICHE COPY AVAILABLE IN ARCHIVES AND ENGINEERING., Bibliography: leaves 439-451.
Fecha:	2005-08-04
Recurso:	MIT

Recurso libre

40.

Computer aided design of circular tunnels using analysis and knowledge-based rules
Brito, Jaime Francisco

Formato:	Thesis
Enlaces:	by Jaime Francisco Brito., Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Civil and Environmental Engineering, 1994., Includes bibliographical references (leaf 348).
Fecha:	2005-08-16
Recurso:	MIT

Recurso libre

41.

Accounting for system level interaction in knowledge management initiatives
Bartkowski, Glenn D. (Glenn David), 1970-

Formato:	Thesis
Enlaces:	by Glenn D. Bartkowski., Thesis (S.M.)--Massachusetts Institute of Technology, System Design & Management Program, 2001., Includes bibliographical references (leaves 68-69).
Fecha:	2005-09-27
Recurso:	MIT

Recurso libre

42.

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

43.

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

44.

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

45.

The transfer of knowledge through the organization of the neighborhood
Chapman, Elizabeth Alexa

Formato:	Thesis
Enlaces:	In the traditional small community, people learned how to maintain their own homes by watching activities in which the elements of their physical environment were made. This work was done out in the open, where everyone could see it as…
Fecha:	2005-08-04
Recurso:	MIT

Recurso libre

46.

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

47.

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

48.

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

49.

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

50.

Power plant degradation : a modular secondary plant and integral flow accelerated corrosion model
Van der Helm, Mark Johan, 1972-

Formato:	Thesis
Enlaces:	Flow Accelerated Corrosion (FAC) is the most prevalent material degradation mechanism for low carbon steel in steam-water flow systems. The band of uncertainty in predictions of wear rate due to FAC spans one to two orders of magnitude. Such a…
Fecha:	2005-08-23
Recurso:	MIT

Recurso libre

51.

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

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

Recurso libre

52.

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

53.

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

54.

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

55.

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

56.

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

57.

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

58.

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

59.

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

60.

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

61.

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

62.

Dependency Directed Reasoning for Complex Program Understanding
Shrobe, Howard Elliot

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

Recurso libre

63.

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

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

Recurso libre

64.

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

65.

Inspection Methods in Programming
Rich, Charles

Formato:
Enlaces:	The work reported here lies in the area of overlap between artificial intelligence software engineering. As research in artificial intelligence, it is a step towards a model of problem solving in the domain of programming. In particular, this work focuses…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

66.

Probabilistic Solution of Inverse Problems
Marroquin, Jose Luis

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