Metabuscador

Filtrado por:

Temas

Idiomas

Recursos

Más...

Año

2013 (38)
2012 (34)
2011 (16)
2010 (28)
2009 (9)
2008 (17)
Más...

Aproximadamente 353 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

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

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

Assessment for learning in primary technology classrooms
Moreland, Judy; Centre for Science and Technology Education Research, University of Waikato - Cowie, Bronwen; Centre for Science and Technology Education Research, University of Waikato - Jones, Alister; Centre for Science and Technology Education Research, University of Waikato

Formato:	info:eu-repo/semantics/article, Research Articles, info:eu-repo/semantics/publishedVersion
Enlaces:	Emerging international research suggests that enhancing teacher-student assessment for learning (AfL) interactions is a key to enhancing student learning. Planning frameworks that make explicit the multiple dimensions of technology can be used to extend teacher knowledge and focus interaction. Effective…
Fecha:	2007-04-29
Recurso:	Design and Technology Education: an international journal

Recurso libre

Assessment of technological literacy in the United States
Pearson, Greg; U.S. National Academy of Engineering, Washington, D.C.

Formato:	info:eu-repo/semantics/article, Research Articles, info:eu-repo/semantics/publishedVersion
Enlaces:	Over the past decade, several prominent U.S. organizations have suggested Americans – particularly American students – should be more knowledgeable about technology to be successful, well-rounded citizens. However, these urgings have been made largely in the absence of data about…
Fecha:	2007-04-29
Recurso:	Design and Technology Education: an international journal

Recurso libre

The 2007 Professor John Eggleston Memorial Lecture. Learning to design : investigating the ‘inner activity’ of the pupil
Welch, Malcolm; Faculty of Education, Queen’s University, Ontario

Formato:	info:eu-repo/semantics/article, Research Articles, info:eu-repo/semantics/publishedVersion
Enlaces:	This paper will address five questions that emerge from the title of the Design and Technology Association Education and International Research Conference 2007: ‘Linking Learning’: (a) How can we think about learning so that it informs our work in design…
Fecha:	2007-04-29
Recurso:	Design and Technology Education: an international journal

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

Towards a comparison criteria for CDeLP
Cobo, María Laura - Simari, Guillermo Ricardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The development of systems with the ability to reason about change notion and actions has been of great importance for the artificial intelligence community. The definition and implementation of systems capable of managing defeasible, incomplete, unreliable, or uncertain information has…
Fecha:	2012-10-29
Recurso:	Unversidad Nacional de La Plata

Recurso libre

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

10.

The Role of Knowledge in Visual Shape Representation
Saund, Eric

Formato:
Enlaces:	This report shows how knowledge about the visual world can be built into a shape representation in the form of a descriptive vocabulary making explicit the important geometrical relationships comprising objects' shapes. Two computational tools are offered: (1) Shapestokens are…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

11.

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

12.

Using Analogy to Acquire Commonsense Knowledge from Human Contributors
Chklovski, Timothy

Formato:
Enlaces:	The goal of the work reported here is to capture the commonsense knowledge of non-expert human contributors. Achieving this goal will enable more intelligent human-computer interfaces and pave the way for computers to reason about our world. In the domain…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

13.

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

14.

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

15.

Roles of Knowledge in Motor Learning
Atkeson, Christopher Granger

Formato:
Enlaces:	The goal of this thesis is to apply the computational approach to motor learning, i.e., describe the constraints that enable performance improvement with experience and also the constraints that must be satisfied by a motor learning system, describe what is…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

16.

Representing Knowledge of Large-Scale Space
Kuipers, Benjamin J.

Formato:
Enlaces:	This dissertation presents a model of the knowledge a person has about the spatial structure of a large-scale environment: the "cognitive map". The functions of the cognitive map are to assimilate new information about the environment, to represent the current…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

17.

Test Generation Guided Design for Testability
Wu, Peng

Formato:
Enlaces:	This thesis presents a new approach to building a design for testability (DFT) system. The system takes a digital circuit description, finds out the problems in testing it, and suggests circuit modifications to correct those problems. The key contributions of…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

18.

An algorithm for anaphora resolution in Spanish texts
Palomar Sanz, Manuel - Ferrández Rodríguez, Antonio - Moreno Boronat, Lidia - Martínez Barco, Patricio - Peral Cortés, Jesús - Saiz Noeda, Maximiliano - Muñoz Guillena, Rafael

Formato:	info:eu-repo/semantics/article
Enlaces:	This paper presents an algorithm for identifying noun phrase antecedents of third person personal pronouns, demonstrative pronouns, reflexive pronouns, and omitted pronouns (zero pronouns) in unrestricted Spanish texts. We define a list of constraints and preferences for different types of…
Fecha:	2007-10-28
Recurso:	RUA Docencia

Recurso libre

19.

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

20.

Solving constrained optimization using a T-Cell artificial immune system
Aragón, Victoria S. - Esquivel, Susana Cecilia

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	In this paper, we present a novel model of an artificial immune system (AIS), based on the process that suffers the T-Cell. The proposed model is used for solving constrained (numerical) optimization problems. The model operates on three populations: Virgins,…
Fecha:	2012-10-26
Recurso:	Unversidad Nacional de La Plata

Recurso libre

21.

A knowledge based method for the medical question answering problem
Muñoz Terol, Rafael - Martínez Barco, Patricio - Palomar Sanz, Manuel

Formato:	info:eu-repo/semantics/article
Enlaces:	In this paper, a restricted domain question answering (QA) system is described. The design architecture of this QA system and the features that allow the adaptation of the QA system to the medical domain are also presented. The advantages of…
Fecha:	2008-03-06
Recurso:	RUA Docencia

Recurso libre

22.

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

23.

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

24.

Generating Circuit Tests by Exploiting Designed Behavior
Shirley, Mark Harper

Formato:
Enlaces:	This thesis describes two programs for generating tests for digital circuits that exploit several kinds of expert knowledge not used by previous approaches. First, many test generation problems can be solved efficiently using operation relations, a novel representation of circuit…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

25.

Toward A Model Of Children's Story Comprehension
Charniak, Eugene

Formato:
Enlaces:	How does a person answer questions about children's stories? For example, consider 'Janet wanted Jack's paints. She looked at the picture he was painting and said 'Those paints make your picture look funny.' The question to ask is 'Why did…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

26.

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

27.

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

28.

ONTIC: A Knowledge Representation System for Mathematics
McAllester, David Allen

Formato:
Enlaces:	Ontic is an interactive system for developing and verifying mathematics. Ontic's verification mechanism is capable of automatically finding and applying information from a library containing hundreds of mathematical facts. Starting with only the axioms of Zermelo-Fraenkel set theory, the Ontic…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

29.

Computational Structure of Human Language
Ristad, Eric Sven

Formato:
Enlaces:	The central thesis of this report is that human language is NP-complete. That is, the process of comprehending and producing utterances is bounded above by the class NP, and below by NP-hardness. This constructive complexity thesis has two empirical consequences.…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

30.

A System for Representing and Using Real-World Knowledge
Fahlman, Scott E.

Formato:
Enlaces:	This report describes a knowledge-base system in which the information is stored in a network of small parallel processing elements ??de and link units ??ich are controlled by an external serial computer. This network is similar to the semantic network…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

31.

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

32.

TYPICAL: A Knowledge Representation System for Automated Discovery and Inference
Haase, Kenneth W., Jr.

Formato:
Enlaces:	TYPICAL is a package for describing and making automatic inferences about a broad class of SCHEME predicate functions. These functions, called types following popular usage, delineate classes of primitive SCHEME objects, composite data structures, and abstract descriptions. TYPICAL types are…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

33.

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

34.

Hypothesis Formation and Evaluation in Medical Diagnosis
Rubin, Ann D.

Formato:
Enlaces:	This thesis describes some aspects of a computer system for doing medical diagnosis in the specialized field of kidney disease. Because such a system faces the spectre of combinatorial explosion, this discussion concentrates on heuristics which control the number of…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

35.

The Use of Equality in Deduction and Knowledge Representation
McAllester, David Allen

Formato:
Enlaces:	This report describes a system which maintains canonical expressions for designators under a set of equalities. Substitution is used to maintain all knowledge in terms of these canonical expressions. A partial order on designators, termed the better-name relation, is used…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

36.

Ubiquitous diagnosis: assurance through distribution and collaboration
Ruiz Fernández, Daniel - Soriano Payá, Antonio - Montejo Hernández, Carlos Alberto - Bueno Amorós, Anibal

Formato:	info:eu-repo/semantics/bookPart
Enlaces:	Diagnosis is an important process in patient care. A suitable diagnosis helps a physician determine a precise treatment. Physicians also have a tendency to seek collaboration from other colleagues and expert systems for better confidence in their decision. The sources…
Fecha:	2007-07-25
Recurso:	RUA Docencia

Recurso libre

37.

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

38.

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

39.

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

40.

Automatic Analysis and Synthesis of Controllers for Dynamical Systems Based On P
Zhao, Feng

Formato:
Enlaces:	I present a novel design methodology for the synthesis of automatic controllers, together with a computational environment---the Control Engineer's Workbench---integrating a suite of programs that automatically analyze and design controllers for high-performance, global control of nonlinear systems. This work demonstrates…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

41.

An Electronic Market-Maker
Chan, Nicholas Tung - Shelton, Christian

Formato:
Enlaces:	This paper presents an adaptive learning model for market-making under the reinforcement learning framework. Reinforcement learning is a learning technique in which agents aim to maximize the long-term accumulated rewards. No knowledge of the market environment, such as the order…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

42.

Learning by Failing to Explain
Hall, Robert Joseph

Formato:
Enlaces:	Explanation-based Generalization requires that the learner obtain an explanation of why a precedent exemplifies a concept. It is, therefore, useless if the system fails to find this explanation. However, it is not necessary to give up and resort to purely…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

43.

ARLO: Another Representation Language Offer
Haase, Kenneth W., Jr.

Formato:
Enlaces:	This paper describes ARLO, a representation language loosely modelled after Greiner and Lenant's RLL-1. ARLO is a structure-based representation language for describing structure-based representation languages, including itself. A given representation language is specified in ARLO by a collection of structures…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

44.

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

45.

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

46.

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

47.

KBEmacs: A Step Toward the Programmer's Apprentice
Waters, Richard C.

Formato:
Enlaces:	The Knowledge-Based Editor in Emacs (KBEmacs) is the current demonstration system implemented as part of the Programmer's Apprentice project. KBEmacs is capable of acting as a semi-expert assistant to a person who is writing a program ??king over some parts…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

48.

KAM: Automatic Planning and Interpretation of Numerical Experiments Using Geometrical Methods
Yip, Kenneth Man-Kam

Formato:
Enlaces:	KAM is a computer program that can automatically plan, monitor, and interpret numerical experiments with Hamiltonian systems with two degrees of freedom. The program has recently helped solve an open problem in hydrodynamics. Unlike other approaches to qualitative reasoning about…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

49.

Contact Sensing: A Sequential Decision Approach to Sensing Manipulation Contact
Eberman, Brian Scott

Formato:
Enlaces:	This paper describes a new statistical, model-based approach to building a contact state observer. The observer uses measurements of the contact force and position, and prior information about the task encoded in a graph, to determine the current location of…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

50.

Segmentation and Alignment of Speech and Sketching in a Design Environment
Adler, Aaron D.

Formato:
Enlaces:	Sketches are commonly used in the early stages of design. Our previous system allows users to sketch mechanical systems that the computer interprets. However, some parts of the mechanical system might be too hard or too complicated to express in…
Fecha:	2004-10-20
Recurso:	MIT