Sciweavers

4961 search results - page 360 / 993
» Homomorphism-Homogeneous Relational Structures
Sort
View
IRCDL
2008
15 years 6 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 6 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
ACL
1993
15 years 6 months ago
Guiding an HPSG Parser using Semantic and Pragmatic Expectations
1 Efficient natural language generation has been successfully demonstrated using highly compiled knowledge about speech acts and their related social actions. A design and prototyp...
Jim Skon
TCS
2008
15 years 4 months ago
Constructibility and decidability versus domain independence and absoluteness
We develop a unified framework for dealing with constructibility and absoluteness in set theory, decidability of relations in effective structures (like the natural numbers), and ...
Arnon Avron
CAV
1993
Springer
127views Hardware» more  CAV 1993»
15 years 9 months ago
Symbolic Equivalence Checking
Abstract. We describe the implementation, within ALDEBARAN of an algorithmic method allowing the generation of a minimal labeled transition rom an abstract model ; this minimality ...
Jean-Claude Fernandez, Alain Kerbrat, Laurent Moun...