Metabuscador

Filtrado por:

Temas

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

Idiomas

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

Año

2005 (101)
2002 (7)
2001 (7)
1999 (7)
1988 (14)
1986 (7)
Más...

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

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

Consensus Knowledge Acquisition
Trice, Andrew - Davis, Randall

Formato:
Enlaces:	We have developed a method and prototype program for assisting two experts in their attempts to construct a single, consensus knowledge base. We show that consensus building can be effectively facilitated by a debugging approach that identifies, explains, and resolves…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

Taxonomic Syntax for First-Order Inference
McAllester, David - Givan, Robert

Formato:
Enlaces:	Most knowledge representation languages are based on classes and taxonomic relationships between classes. Taxonomic hierarchies without defaults or exceptions are semantically equivalent to a collection of formulas in first order predicate calculus. Although designers of knowledge representation languages often express…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

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

Causal/Temporal Connectives: Syntax and Lexicon
Brent, Michael R.

Formato:
Enlaces:	This report elucidates the linguistic representation of temporal relations among events. This involves examining sentences that contain two clauses connected by words like once, by the time, when, and before. Specifically, the effect of the tenses of the connected clauses…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

The Bifurcation Interpreter: A Step Towards the Automatic Analysis of Dynamical Systems
Abelson, Harold

Formato:
Enlaces:	The Bifurcation Interpreter is a computer program that autonomously explores the steady-state orbits of one-parameter families of periodically- driven oscillators. To report its findings, the Interpreter generates schematic diagrams and English text descriptions similar to those appearing in the science…
Fecha:	2004-10-04
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

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

Dynamically Stable Legged Locomotion (September 1985-Septembers1989)
Raibert, Marc H. - Brown, H. Benjamin, Jr. - Chepponis, Michael - Koechling, Jeff - Hodgins, Jessica K. - Dustman, Diane - Brennan, W. Kevin - Barrett, David S. - Thompson, Clay M. - Hebert, John Daniell - Lee, Woojin - Borvansky, Lance

Formato:
Enlaces:	This report documents our work in exploring active balance for dynamic legged systems for the period from September 1985 through September 1989. The purpose of this research is to build a foundation of knowledge that can lead both to the…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

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

10.

Residual Vibration Reduction in Computer Controlled Machines
Singer, Neil C.

Formato:
Enlaces:	Control of machines that exhibit flexibility becomes important when designers attempt to push the state of the art with faster, lighter machines. Three steps are necessary for the control of a flexible planet. First, a good model of the plant…
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.

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

13.

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

14.

Improving Data Quality Through Effective Use of Data Semantics
Madnick, Stuart E.

Formato:	Article
Enlaces:	Data quality issues have taken on increasing importance in recent years. In our research, we have discovered that many “data quality” problems are actually “data misinterpretation” problems – that is, problems with data semantics. In this paper, we first illustrate…
Fecha:	2003-12-13
Recurso:	MIT

Recurso libre

15.

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

16.

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

17.

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

18.

Extracting Qualitative Dynamics from Numerical Experiments
Yip, Kenneth Man-Kam

Formato:
Enlaces:	The Phase Space is a powerful tool for representing and reasoning about the qualitative behavior of nonlinear dynamical systems. Significant physical phenomena of the dynamical system---periodicity, recurrence, stability and the like---are reflected by outstanding geometric features of the trajectories in…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

19.

A Hybrid Intelligent System for Stamping Process Planning in Progressive Die Design
Zhang, W.Y. - Tor, Shu Beng - Britton, G.A.

Formato:	Article
Enlaces:	This paper presents an intelligent, hybrid system for stamping process planning in progressive die design. The system combines the flexibility of blackboard architecture with case-based reasoning. The hybrid system has the advantage that it can use past knowledge and experience…
Fecha:	2003-12-14
Recurso:	MIT

Recurso libre

20.

Qualitative Depth and Shape from Stereo, in Agreement with Psychophysical Evidendence
Weinshall, Daphna

Formato:
Enlaces:	Obtaining exact depth from binocular disparities is hard if camera calibration is needed. We will show that qualitative depth information can be obtained from stereo disparities with almost no computations and with no prior knowledge (or computation) of camera parameters.…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

21.

Issues in Model Based Troubleshooting
Hamscher, Walter - Davis, Randall

Formato:
Enlaces:	To determine why something has stopped working, it's helpful to know how it was supposed to work in the first place. This simple fact underlies recent work on a number of systems that do diagnosis from knowledge about the internal…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

22.

Formalizing Reusable Software Components in the Programmer's Apprentice
Rich, Charles - Waters, Richard C.

Formato:
Enlaces:	There has been a long-standing desire in computer science for a way of collecting and using libraries of standard software components. The limited success in actually doing this stems not from any resistance to the idea, nor from any lack…
Fecha:	2004-10-04
Recurso:	MIT

Recurso libre

23.

Hierarchical Object Recognition Using Libraries of Parameterized Model Sub-Parts
Ettinger, Gil J.

Formato:
Enlaces:	This thesis describes the development of a model-based vision system that exploits hierarchies of both object structure and object scale. The focus of the research is to use these hierarchies to achieve robust recognition based on effective organization and indexing…
Fecha:	2004-10-20
Recurso:	MIT

Recurso libre

24.

Leveraging Learning and Language Via Communication Bootstrapping
Beal, Jacob

Formato:
Enlaces:	In a Communication Bootstrapping system, peer components with different perceptual worlds invent symbols and syntax based on correlations between their percepts. I propose that Communication Bootstrapping can also be used to acquire functional definitions of words and causal reasoning knowledge.…
Fecha:	2004-10-08
Recurso:	MIT

Recurso libre

25.

commanimation: Creating and managing animations via speech
Kim, Hana - Kho, Nancy - Yan, Emily - Rudolph, Larry

Formato:	Article
Enlaces:	A speech controlled animation system is both a useful application program as well as a laboratory in which to investigate context aware applications as well as controlling errors. The user need not have prior knowledge or experience in animation and…
Fecha:	2003-12-13
Recurso:	MIT

Recurso libre

26.

Adaptive Cache-Oblivious All-to-All Operation
Chung, Shin Yee - Hsu, Wen Jing

Formato:	Article
Enlaces:	Modern processors rely on cache memories to reduce the latency of data accesses. Extensive cache misses would thus compromise the usefulness of the scheme. Cache-aware algorithms make use of the knowledge about the cache, such as the cache line size,…
Fecha:	2003-12-13
Recurso:	MIT

Recurso libre

27.

Automated Information Extraction to Support Biomedical Decision Model Construction: A Preliminary Design
Li, Xiaoli - Leong, Tze Yun

Formato:	Article
Enlaces:	We propose an information extraction framework to support automated construction of decision models in biomedicine. Our proposed technique classifies text-based documents from a large biomedical literature repository, e.g., MEDLINE, into predefined categories, and identifies important keywords for each category based…
Fecha:	2003-12-13
Recurso:	MIT

Recurso libre

28.

On Web Taxonomy Integration
Zhang, Dell - Lee, Wee Sun

Formato:	Article
Enlaces:	We address the problem of integrating objects from a source taxonomy into a master taxonomy. This problem is not only pervasive on the nowadays web, but also important to the emerging semantic web. A straightforward approach to automating this process…
Fecha:	2003-12-13
Recurso:	MIT

Recurso libre

29.

Building a Document Corpus for Manufacturing Knowledge Retrieval
Liu, Y. - Loh, Han Tong - Tor, Shu Beng

Formato:	Article
Enlaces:	When faced with challenging technical problems, R&D personnel would often turn to technical papers to seek inspiration for a solution. The building of a corpus of such papers and the easy retrieval of relevant papers by the user in his…
Fecha:	2003-12-14
Recurso:	MIT

Recurso libre

30.

A Study of Moment Recursion Models for Tactical Planning of a Job Shop: Literature Survey and Research Opportunities
Teo, Chee Chong

Formato:	Article
Enlaces:	The Moment Recursion (MR) models are a class of models for tactical planning of job shops or other processing networks. The MR model can be used to determine or approximate the first two moments of production quantities and queue lengths…
Fecha:	2003-12-15
Recurso:	MIT

Recurso libre

31.

A Study on the Boundary Conditions of 90° Paper Pop-up Structures
Tor, Shu Beng - Mak, K.W. - Lee, Y.T.

Formato:	Article
Enlaces:	The design of a pop-up book or card has hitherto been labour intensive with tasks of trials and errors. The constructions of collapsible pop-up structures can be demanding and inefficient without adequate knowledge of their geometric properties. This paper examines…
Fecha:	2003-12-15
Recurso:	MIT

Recurso libre

32.

Surviving the Information Explosion: How People Find Their Electronic Information
Alvarado, Christine - Teevan, Jaime - Ackerman, Mark S. - Karger, David

Formato:
Enlaces:	We report on a study of how people look for information within email, files, and the Web. When locating a document or searching for a specific answer, people relied on their contextual knowledge of their information target to help them…
Fecha:	2004-10-08
Recurso:	MIT

Recurso libre

33.

The Essential Dynamics Algorithm: Essential Results
Martin, Martin C.

Formato:
Enlaces:	This paper presents a novel algorithm for learning in a class of stochastic Markov decision processes (MDPs) with continuous state and action spaces that trades speed for accuracy. A transform of the stochastic MDP into a deterministic one is presented…
Fecha:	2004-10-08
Recurso:	MIT

Recurso libre

34.

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

35.

Efficient on the fly maintenance of series-parallel relationships
Fineman, Jeremy T.

Formato:	Article
Enlaces:	A series-parallel directed acyclic graph, or SP-dag, contains nodes that are either in series or logically in parallel. We present a data structure and algorithm to efficiently determine, in a single serial walk of the dag, whether two nodes are…
Fecha:	2003-12-13
Recurso:	MIT

Recurso libre

36.

A Lab Scale Polymer Micro-Embossing Machine for Process Control Research
Ganesan, Bala - Hardt, David E.

Formato:	Article
Enlaces:	Micro embossing is the process of fabricating micron-sized features by plastic deformation of a work piece by means of a shaped tool or die. In our work we are concerned with hot embossing of PMMA to produce features in the…
Fecha:	2003-12-14
Recurso:	MIT

Recurso libre

37.

Spatiotemporal brain imaging and modeling
Lin, Fa-Hsuan, 1972-

Formato:	Thesis
Enlaces:	This thesis integrates hardware development, data analysis, and mathematical modeling to facilitate our understanding of brain cognition. Exploration of these brain mechanisms requires both structural and functional knowledge to (i) reconstruct the spatial distribution of the activity, (ii) to estimate…
Fecha:	2005-06-02
Recurso:	MIT

Recurso libre

38.

Vibration and crack detection in gas turbine engine compressor blades using Eddy current sensors
Lackner, Matthew, 1980-

Formato:	Thesis
Enlaces:	(cont.) in the ECS signal, no definitive method for sensing blade vibration using an ECS has yet been developed., High cycle fatigue (HCF) cracks generated by compressor blade vibrations are a common source of failure in gas turbine engines. Current…
Fecha:	2005-09-27
Recurso:	MIT

Recurso libre

39.

Dynamic power allocation and routing for satellite and wireless networks with time varying channels
Neely, Michael J. (Michael James), 1975-

Formato:	Thesis
Enlaces:	Satellite and wireless networks operate over time varying channels that depend on attenuation conditions, power allocation decisions, and inter-channel interference. In order to reliably integrate these systems into a high speed data network and meet the increasing demand for high…
Fecha:	2005-05-17
Recurso:	MIT

Recurso libre

40.

A Framework for Corporate Householding
Madnick, Stuart - Wang, Richard - Zhang, Wei

Formato:	Working Paper
Enlaces:	Previous research on corporate household and corporate householding has presented examples, literature review, and working definitions. In this paper, we first improve our understanding of the area by developing a typology of corporate householding tasks and knowledge…
Fecha:	2003-03-21
Recurso:	MIT

Recurso libre

41.

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

42.

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

43.

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

44.

Transferring, Translating and Transforming: An Integrative Framework
Carlile, Paul

Formato:	Working Paper
Enlaces:	Organizations must establish processes for managing knowledge across boundaries because of the specialized and task-dependent forms of knowledge required to deliver products and services. To address this challenge an integrative framework is developed that identifies and integrates the value of…
Fecha:	2003-12-10
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.

The architectural design studio as a method of inquiry : a pedagogical model for the development of architectural knowledge
Silberberg, Ross Allen

Formato:	Thesis
Enlaces:	This thesis is concerned with the systematic investigation and application of knowledge within the architectural design studio. The thesis takes, as a point of departure in the development of architectural epistemology, a model of knowledge developed by Yehuda Elkana, in…
Fecha:	2005-08-10
Recurso:	MIT

Recurso libre

48.

Inquiring into architectural texts : towards an interpretation of architectural knowledge
Purwono, Eko

Formato:	Thesis
Enlaces:	An investigation was carried out on the contents of the architectural texts in order to illuminate written architectural knowledge. The thesis takes as its case study the required reading list for Introduction to Architecture course at Yale College, Yale University,…
Fecha:	2005-08-09
Recurso:	MIT

Recurso libre

49.

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

50.

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