In our demonstration, we will present a new type of lexical resource, built from grammatically analysed corpus data. Co-occurrence strength between mother-daughter dependency pairs is used to automatically produce dictionary entries of typical complementation patterns and collocations, in the fashion of an instant monolingual Advanced Learner's dictionary. Entries are supplied to the user in a ...

Goals and challenges in higher education have been changing in recent years. There are more interests in employment-oriented majors such as computer science and bio-technology. More employers want their employees to go back to school to refresh their knowledge in fast changing fields. With these changes, our students are becoming more aware of the importance of developing specific skills and kn...

Suppose that Wis a countable K0-categorical structure. We investigate the question as to whether every finite cover of W splits, that is, has an expansion which is a trivial finite cover of W. We show that for most primitive structures W which are homogeneous for a single binary relation (homogeneous graphs, partial orderings, the Henson digraphs,...) any finite cover splits. However, in contra...

S OF PAPERS 457 is only provable if one of the alternatives is provable, and so, by G6del's construction of formally undecidable formulae (x)A(x) with primitive recursive A, each of the systems considered contains A for which -n(x)A(x) -+ (Ex)-nA(x) is not provable. Corollary. Consider Heyting's predicate calculus (HPC) and define strong completeness as follows; for all formulae 9f of HPC, if P...

The social Web is going mobile and needs support for friendship management in a distributed manner, while privacy concerns mandate con guring the public visibility of one's friends. In this paper we leverage existing Web standards to describe a simple P2P protocol for establishing, enforcing, and revoking hidden friendship relations and report on an implementation for a mobile platform. We exam...

Cluster analysis of complex data is an essential task in statistics and machine learning. One of the most popular approaches in cluster analysis is the one based on mixture models. It includes mixture-model based clustering to partition individuals or possibly variables into groups, block mixture-model based clustering to simultaneously associate individuals and variables to clusters, that is c...

S OF PAPERS SUBMITTED FOR PRESENTATION TO THE SOCIETY The following papers have been submitted to the Secretary and the Associate Secretaries of the Society for presentation at meetings of the Society. They are numbered serially throughout this volume. Cross-references to them in the reports of the meetings will give the number of this volume, the number of this issue, and the serial number of ...