Metabuscador

Filtrado por:

Temas

Electrical Engineering and Computer Science. (21)
AI (14)
Management of Technology Program. (10)
knowledge representation (10)
Civil and Environmental Engineering. (7)
Más...

Idiomas

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

Año

2003 (28)
2002 (9)
2001 (9)
1999 (5)
1992 (5)
1991 (5)
Más...

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

Mostrar 10 | 50 | 100 resultados por página

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

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

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

Recurso libre

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

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

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

Procedures as a Representation for Data in a Computer Program for Understanding Natural Language
Winograd, Terry

Formato:
Enlaces:	This paper describes a system for the computer understanding of English. The system answers questions, executes commands, and accepts information in normal English dialog. It uses semantic information and context to understand discourse and to disambiguate sentences. It combines a…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

Learning Commonsense Categorical Knowledge in a Thread Memory System
Stamatoiu, Oana L.

Formato:
Enlaces:	If we are to understand how we can build machines capable of broad purpose learning and reasoning, we must first aim to build systems that can represent, acquire, and reason about the kinds of commonsense knowledge that we humans have…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

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

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

10.

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

11.

Intelligence by Design: Principles of Modularity and Coordination for Engineerin
Bryson, Joanna J.

Formato:
Enlaces:	All intelligence relies on search --- for example, the search for an intelligent agent's next action. Search is only likely to succeed in resource-bounded agents if they have already been biased towards finding the right answer. In artificial agents, the…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

12.

A Computational Model of Skill Acquisition
Sussman, Gerald J.

Formato:
Enlaces:	This thesis confronts the nature of the process of learning an intellectual skill, the ability to solve problems efficiently in a particular domain of discourse. The investigation is synthetic; a computational performance model, HACKER, is displayed. Hacker is a computer…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

13.

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

14.

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

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

Recurso libre

15.

New Progress in Artificial Intelligence
Winston, Patrick H.

Formato:
Enlaces:	This report concentrates on progress during the last two years at the M.I.T. Artificial Intelligence Laboratory. Topics covered include the representation of knowledge, understanding English, learning and debugging, understanding vision and productivity technology. It is stressed that these various areas…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

16.

Managing revisions of rules and guidelines used in clinical information systems : exploring a hierarchical knowledge representation model
Scott-Wright, Alicia, 1949-

Formato:	Thesis
Enlaces:	One important purpose for creating clinical practice guidelines is to improve quality of care by reducing variations in practice. In the current healthcare environment, guidelines are being advocated as a means to disseminate research findings, standardize care, improve quality of…
Fecha:	2005-09-27
Recurso:	MIT

Recurso libre

17.

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

18.

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

19.

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

20.

Toward a Theory of Representation Design
Baalen, Jeffrey Van

Formato:
Enlaces:	This research is concerned with designing representations for analytical reasoning problems (of the sort found on the GRE and LSAT). These problems test the ability to draw logical conclusions. A computer program was developed that takes as input a straightforward…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

21.

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

22.

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

23.

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

24.

A Framework for Low-Complexity Iterative Interference Cancellation in Communication Systems
Chan, Albert M.

Formato:	Technical Report
Enlaces:	Communication over interference channels poses challenges not present for the more traditional additive white Gaussian noise (AWGN) channels. In order to approach the information limits of an interference channel, interference mitigation techniques need to be integrated with channel coding and…
Fecha:	2004-09-20
Recurso:	MIT

Recurso libre

25.

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

26.

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

27.

Border-crossing knowledge networking among multinational firms : the case of R&D facilities
Shirvani-Mahdavi, Ali (Ali Agha), 1965-

Formato:	Thesis
Enlaces:	(cont.) which is expected, given their additional knowledge resources. The respondents' urgency in looking for the relevant knowledge is the primary explanation for this difference between the two networks. This difference in knowledge networking among the different groups did not…
Fecha:	2005-09-27
Recurso:	MIT

Recurso libre

28.

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

29.

The Use of Grouping in Visual Object Recognition.
Jacobs, David W.

Formato:
Enlaces:	The report describes a recognition system called GROPER, which performs grouping by using distance and relative orientation constraints that estimate the likelihood of different edges in an image coming from the same object. The thesis presents both a theoretical analysis…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

30.

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

31.

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

32.

Sensing and modeling human networks
Choudhury, Tanzeem Khalid, 1975-

Formato:	Thesis
Enlaces:	Knowledge of how groups of people interact is important in many disciplines, e.g. organizational behavior, social network analysis, knowledge management and ubiquitous computing. Existing studies of social network interactions have either been restricted to online communities, where unambiguous measurements about…
Fecha:	2005-05-17
Recurso:	MIT

Recurso libre

33.

Organizational design : the integration of pharmaceutical discovery and development
Smith, Peter J. A. (Peter John Anthony), 1959-

Formato:	Thesis
Enlaces:	The decline in Pharmaceutical R&D productivity has been attributed to high clinical failure rates suggesting that targets, leads and clinical candidates may be of lower quality in recent years. Senior R&D management generally believes that a greater integration of drug…
Fecha:	2005-09-27
Recurso:	MIT

Recurso libre

34.

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

35.

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

36.

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

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

Recurso libre

37.

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

38.

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

39.

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

40.

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

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

Recurso libre

41.

Efficient Computation of Probabilities of Events Described by Order Statistics and Applications to Queue Inference
Jones, Lee K. - Larson, Richard C., 1943-

Formato:	Working Paper
Enlaces:	This paper derives recursive algorithms for efficiently computing event probabilities related to order statistics and applies the results in a queue inferencing setting. Consider a set of N i.i.d. random variables in [0, 1]. When the experimental values of the…
Fecha:	2004-05-28
Recurso:	MIT

Recurso libre

42.

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

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

Recurso libre

43.

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

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

Recurso libre

44.

Model-Based Troubleshooting of Digital Systems
Hamscher, Walter Charles

Formato:
Enlaces:	This thesis describes a methodology, a representation, and an implemented program for troubleshooting digital circuit boards at roughly the level of expertise one might expect in a human novice. Existing methods for model-based troubleshooting have not scaled up to deal…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

45.

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

46.

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

47.

Predicting the triple beta-spiral fold from primary sequence data
Scanlon, Eben Louis, 1974-

Formato:	Thesis
Enlaces:	The Triple β-Spiral is a novel protein structure that plays a role in viral attachment and pathogenesis. At present, there are two Triple β-Spiral structures with solved crystallographic coordinates - one from Adenovirus and the other from Reovirus. There is…
Fecha:	2005-05-17
Recurso:	MIT

Recurso libre

48.

Natural language processing for unmanned aerial vehicle guidance interfaces, Natural language processing for UAV guidance interfaces
Craparo, Emily M. (Emily Marie), 1980-

Formato:	Thesis
Enlaces:	In this thesis, the opportunities and challenges involved in applying natural language processing techniques to the control of unmanned aerial vehicles (UAVs) are addressed. The problem of controlling an unmanned aircraft via natural language inputs is formulated as a feedback…
Fecha:	2005-05-17
Recurso:	MIT

Recurso libre

49.

Evolution of the university business model and infrastructure planning due to technological innovations
Go, Veronica, 1976-

Formato:	Thesis
Enlaces:	The quality of higher education has been a growing concern in the United States and United Kingdom. There have been no notable improvements in the education system until the last few years. Considerable transformation in the higher education arena has…
Fecha:	2005-05-17
Recurso:	MIT

Recurso libre

50.

Wafer bonding : mechanics-based models and experiments
Turner, Kevin Thomas, 1977-

Formato:	Thesis
Enlaces:	Direct wafer bonding has emerged as an important technology in the manufacture of silicon-on-insulator substrates (SOI), microelectromechanical systems (MEMS), and three-dimensional integrated circuits (3D IC's). While the process is currently employed in applications such as these, a lack of knowledge…
Fecha:	2005-05-17
Recurso:	MIT