It is often reported in the technique literature that the success of the self-organizing feature map (SOM) formation is critically dependent on the initial weights and the selectio...
: An arithmetic approach, such as the Level-Finding method described in this paper for evaluating linear recursive queries in deductive database systems provides great potential fo...
This work introduces a procedure for automatic 3D modeling and discusses its performance in the context of a medical application, namely the 3D modeling of palate's casts. Th...
Marco Andreetto, Nicola Brusco, Guido Maria Cortel...
Abstract. In this paper, we first briefly survey automated termination proof methods for higher-order calculi. We then concentrate on the higher-order recursive path ordering, for ...
As it serves as a basis for POS tagging, category induction, and human category acquisition, we investigate the information needed to disambiguate a word in a local context, when ...