Nominal terms use a characteristic combination of features: Two levels of variable: atoms a and unknowns X. Freshness conditions a#X and permutations π. An abstraction [a]r with a distinctive α-equivalence based on freshness and permutation. The first statement above is rendered in nominal terms as the equality judgement b#X ` [a]X =α [b](b a) ·X. a and b denote atoms, which represent the ‘x’ a...

Nominal matching and unification underly the dynamics of nominal rewriting. Urban, Pitts and Gabbay gave a nominal unification algorithm which finds the most general solution to a nominal matching or unification problem, if one exists. Later the algorithm was extended by Fernández and Gabbay to deal with name generation and locality. In this paper we describe first a direct implementation of th...

The problem of "classification" is a general problem of life. That classification abilities are necessary for the survival of every organism is an important insight of biology. Human beings classify consciously, unconsciously, and even subconsciously in all situations. When we confront a scientific problem, we try to solve it by first classifying the various parts of the problem. Therefore, the...

This paper presents two approaches to Portuguese anaphor resolution, one based on a morpho-syntactic information and other on semantic features. We present a corpus based evaluation, focusing especially on anaphoric definite descriptions, which includes direct, indirect and associative anaphors.

Positional errors of a multi-probe roundness measurement frame will result in the probe angles deviating from nominal angles. The actual can be accurately determined after placing using cross correlation or other methods. However, since methods suffer harmonic suppression, determining is not enough for accurate reconstruction profile, if are situated an area with poor characteristics. To find s...