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…

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…

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…

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…

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…

La presente propuesta explica cómo el estudio de la historia local de un pueblo,
San José de Bolívar en el estado Táchira, puede servir de estrategia didáctica
no solo para afianzar la identidad cultural del estudiante de educación
primaria en…

El Proyecto Avión No Tripulado - Galápagos UAV comprende el desarrollo de diferentes
prototipos consecutivos de aviones no tripulados desarrollados a partir del conocimiento de
estudiantes de diferentes facultades del colegio Politécnico, conjunto con el conocimiento
profesional de profesores pertenecientes…

En este artículo se hace una revisión documental de las políticas de
lectura en el país. Se tratará lo referente al ámbito normativo de las acciones
sociales, siguiendo, por un lado, a Eisner (1998) quien lo denomina dimensión
teleológica o…

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…

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…