Sciweavers

5066 search results - page 275 / 1014
» Spectra of structures and relations
Sort
View
LACL
2001
Springer
15 years 11 months ago
Lambek Grammars Based on Pregroups
Lambek [13] introduces pregroups as a new framework for syntactic structure. In this paper we prove some new theorems on pregroups and study grammars based on the calculus of free...
Wojciech Buszkowski
MFCS
1998
Springer
15 years 10 months ago
Flow Logic for Imperative Objects
We develop a control flow analysis for the Imperative Object Calculus. We prove the correctness with respect to two Structural Operational Semantics that differ in minor technical ...
Flemming Nielson, Hanne Riis Nielson
ACL
2007
15 years 8 months ago
Computing Lexical Chains with Graph Clustering
This paper describes a new method for computing lexical chains. These are sequences of semantically related words that reflect a text’s cohesive structure. In contrast to previo...
Olena Medelyan
IRCDL
2008
15 years 8 months ago
Automatic Document Organization Exploiting FOL Similarity-based Techniques
The organization of a document collection into meaningful groups is a fundamental issue in document management systems. The grouping can be carried out by performing a comparison ...
Stefano Ferilli, Teresa Maria Altomare Basile, Mar...
ACL
2001
15 years 8 months ago
Word Order in German: A Formal Dependency Grammar Using a Topological Hierarchy
This paper proposes a description of German word order including phenomena considered as complex, such as scrambling, (partial) VP fronting and verbal pied piping. Our description...
Kim Gerdes, Sylvain Kahane