Metabuscador

Filtrado por:

Temas

No aplica (49)
Arquivologia; Biblioteconomia; História; Educação; Sociologia; Psicologia; Direito; Ciência da Informação (35)
Ciencias Informáticas (10)
Revistas (10)
Knowledge (7)
Más...

Idiomas

Inglés (176)
en (135)
Español (49)
pt_BR (49)
Portugués (47)
Más...

Recursos

Más...

Año

2015 (10)
2013 (89)
2012 (43)
2011 (73)
2010 (39)
2009 (11)
Más...

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

Multiscale approaches to analyse risks and vulnerabilities in the coastal zone (Brazil).
IWAMA, A. Y. - BATISTELLA, M. - FERREIRA, L. DA. C.

Formato:	Resumo em anais de congresso (ALICE)
Enlaces:	The objectives of this work were: (i) identified the risk areas of landslides, flooding and sea level rise and social vulnerabilities in different scales of analysis; (ii) analyse the risk perception of people living in this risk areas; (iii) found…
Fecha:	2014-12-29
Recurso:	Repositório Acesso Livre à Informação Científica da Embrapa (ALICE)

Recurso libre

Sistema de organização do conhecimento sobre intensificação agropecuária: agregando valor às redes de conhecimento da Embrapa.
PIEROZZI JUNIOR, I. - OLIVEIRA, L. H. M. de - ALENCAR, M. de C. F. - ALMEIDA, G. M. de B.

Formato:	Capítulo em livro técnico-científico (ALICE)
Enlaces:	O presente trabalho relata a experiência desenvolvimento e aplicação, no âmbito de um projeto de pesquisa, de um modelo de organização e representação do conhecimento sobre os processos de intensificação agropecuária, contextualizados por observações empíricas em regiões produtoras de commodities…
Fecha:	2014-01-29
Recurso:	Repositório Acesso Livre à Informação Científica da Embrapa (ALICE)

Recurso libre

Incidencia de la catepsina D con función de enzima digestiva en los Crustáceos Decápodos
DIANA MARTINEZ ALARCON

Formato:	info:eu-repo/semantics/masterThesis
Enlaces:	En los crustáceos decápodos, las proteasas digestivas más comúnmente descritas son de la clase serino, sin embargo, estudios recientes reportan la presencia de otras clases de enzimas como las cisteíno proteasas en especies de decápodos Carideos y más recientemente proteasas…
Fecha:	2014-08-29
Recurso:	CIBNOR

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

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

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

10.

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

11.

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

12.

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

13.

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

14.

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

15.

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

16.

Gestão da comunicação e gestão do conhecimento em C&T: a Embrapa Meio Ambiente.
LIMA, E. de S.

Formato:	Teses/dissertações (ALICE)
Enlaces:	Resumo: Esta pesquisa analisa o fluxo de informações da Embrapa Meio Ambiente, sob a ótica da gestão do conhecimento. Trata-se de um estudo de caso de natureza qualitativa. Tem por objetivo discutir o processo de comunicação interna e externa, na…
Fecha:	2014-09-17
Recurso:	Repositório Acesso Livre à Informação Científica da Embrapa (ALICE)

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.

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

19.

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

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.

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

22.

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

23.

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

24.

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

25.

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

26.

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

27.

Conocimientos tradicionales
Maldonado Ochoa, José Eduardo

Formato:	Tesis
Enlaces:	El desarrollo del presente trabajo de titulación se lo realizará mediante el análisis del Proyecto de Ley que el Instituto Ecuatoriano de la Propiedad Intelectual realizó, llamado de “Conservación y Protección de los Conocimientos Colectivos, los Saberes Ancestrales y las…
Fecha:	2013-06-20
Recurso:	Universidad de las Américas

Recurso libre

28.

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

29.

Metabolic responses of guava trees irrigated with different N and K levels in São Francisco valley.
DANTAS, B. F. - PEREIRA, M. S. - RIBEIRO, L.. de S. - MAIA, J. L. T. - SILVA, D. J. - DUENHAS, L. H. - LIMA, M. A. C. de - BASSOI, L. H.

Formato:	Artigo em periódico indexado (ALICE)
Enlaces:	The guava (Psidium guajava 1.) cv. Paluma has been cultivated in Sao Francisco Valley, Northeastern of Brazil, for in natura consumption and processing purposes. In spite of its importance, there are few scientific knowledge regarding guava physiology, nutrition, irrigation and…
Fecha:	2014-10-28
Recurso:	Repositório Acesso Livre à Informação Científica da Embrapa (ALICE)

Recurso libre

30.

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

31.

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

32.

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

33.

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

34.

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

35.

Sistema de monitoramento e alerta de inundações e secas no Pantanal.
PADOVANI, C. R. - CAMOLESI JÚNIOR, L. - BONAFE, P. - VETTORAZZI, C. A. - DIAS, R. A. P. - DIAS, C. T. dos S. - SHIMABUKURO, Y. E. - GIRARD, P.

Formato:	Artigo em anais de congresso (ALICE)
Enlaces:	The regime of floods and droughts in the Pantanal wetlands determines the distribution and abundance of the wildlife, vegetation and ecological processes. Cattle ranching and fisheries, the main economic activities in this floodplain, are extremely influenced by and depend on…
Fecha:	2014-07-12
Recurso:	Repositório Acesso Livre à Informação Científica da Embrapa (ALICE)

Recurso libre

36.

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

37.

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

38.

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

39.

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

40.

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

41.

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

42.

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

43.

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

44.

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

45.

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

46.

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

47.

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

48.

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

49.

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

Recurso libre

50.

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