The matrix connection method (MCM) is an alternative procedure for theorem proving than the usual resolution technique. We already have used the MCM for finding models in a real-time knowledge-based system generator. In this paper, we adapt the MCM to…

Descripción completa.

If we are provided a face database with only one example view per person, is it possible to recognize new views of them under a variety of different poses, especially views rotated in depth from the original example view? We…

Compliant control is a standard method for performing fine manipulation tasks, like grasping and assembly, but it requires estimation of the state of contact between the robot arm and the objects involved. Here we present a method to learn a…

Challenges and new horizons for the strengthening of family farming; Embrapa?s studies benefit family farming and Brazilian traditional populations; Basic sanitation: a solution to improve quality of life in the fields; Technology for sustainable agricultural and livestock system; Adoption of…

This study investigates how Hildegard of Bingen (1098-1179), a medieval abbess used visions received during the prodromal stages of migraines to reconstruct herself symbolically. In her visions she believed that God, the "Living Light" instructed her "to write and say…

Human designers use previous designs extensively in solving new design problems and Case-Based Reasoning (CBR) provides a knowledge representation paradigm which attempts to model such process. In this thesis we present a case-based approach to solving design problems by retrieving…

This thesis presents a survey of the development of economic growth theory, including the latest developments in the relationship between international economic integration through international flows of goods and/or knowledge and endogenous economic growth. Based on the following literature review,…

Proyecto de Graduación (Licenciatura en Ingeniería en Construcción) Instituto Tecnológico de Costa Rica, Escuela en Ingeniería en Construcción, 2014, The present work, done in the form of Directed
Professional Practice, was set to qualify for the
degree of Bachelor of…

This thesis considers the dimensional analysis theory in engineering. A Knowledge-Aided Design Tool is presented which permits the solution of many aspects of Dimensional Analysis for electromagnetics. The KAD Tool was coded in the language Lisp with Allegro Common Lisp…