The problem of automatic face recognition is to visually identify a person in an input image. This task is performed by matching the input face against the faces of known people in a database of faces. Most existing work in…

Little has been written about the component provision problem (programming plans and domain concepts) for the repositories of knowledge in program understanding systems and reports that specifically address this issue are unknown. Model-driven and plan-driven approaches use repositories where construction…

Instruction may be seen as the intentional creation of conditions around learning so as to facilitate the achievement of determined goals. Normally, instruction is based upon certain educational strategies. It is well accepted in the field of educational technology that…

Determining an optimal schedule to minimize the completion time of the last job abandoning the system (makespan) becomes a very difficult problem when there are more than two machines in the flow shop. Due both to its economical impact and…

Modeling is one of the most important activities throughout any software development life cycle. Within object-oriented modeling, class generalization is a powerful, yet simple concept for abstracting commonalities between classes. Although, as classes evolved in the model, their semantics may…

The methodology “b-learning” is a new teaching scenario and it requires the creation, adaptation and application of new learning tools searching the assimilation of new collaborative competences. In this context, it is well known the knowledge spirals, the situational leadership…

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.…

This manual is intended to be a guide to the philosophy and use of the programming language CONNIVER, which is "complete," and running at the AI Lab now. It assumes good knowledge of LISP, but no knowledge of Micro-Planner, in…

In the last few years, several studies have emphasized the use of ontologies as an alternative to organization of the information.
The notion of ontology has become popular in fields such as intelligent information integration, information retrieval on the Internet,…

The task objective is the generalization and implementation of the full power of the problem solving formalism PLANNER in the next two years. We will show how problem solving knowledge can be effectively incorporated into the formalism. Several domains will…