Sciweavers

79 search results - page 8 / 16
» rules 1993
Sort
View
IJCAI
1993
13 years 11 months ago
A Parameterised Module System for Constructing Typed Logic Programs
The paper is concerned with the design of a module system for logic programming so as to satisfy many of the requirements of software en­ gineering. The design is based on the la...
Patricia M. Hill
HOA
1993
14 years 1 months ago
Strong Normalization of Typeable Rewrite Systems
This paper studies termination properties of rewrite systems that are typeable using intersection types. It introduces a notion of partial type assignment on Curryfied Term Rewri...
Steffen van Bakel, Maribel Fernández
OGAI
1993
14 years 1 months ago
Combining Neural Networks and Fuzzy Controllers
Fuzzy controllers are designed to work with knowledge in the form of linguistic control rules. But the translation of these linguistic rules into the framework of fuzzy set theory ...
Detlef Nauck, Frank Klawonn, Rudolf Kruse
EACL
1993
ACL Anthology
13 years 11 months ago
Head-driven Parsing for Lexicalist Grammars: Experimental Results
We present evidence that head-driven parsing strategies lead to efficiency gains over standard parsing strategies, for lexicalist, concatenative and unification-based grammars. A ...
Gosse Bouma, Gertjan van Noord
EACL
1993
ACL Anthology
13 years 11 months ago
Two-level Description of Turkish Morphology
: This paper describes a full two-level morphological description 5,9 of Turkish word structures. The description has been implemented using the PC-KIMMO environment 2 and is based...
Kemal Oflazer