Sciweavers

18429 search results - page 253 / 3686
» Typing dynamic typing
Sort
View
IJCAI
1993
15 years 8 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
COLING
1992
15 years 7 months ago
The Nondirectional Representation Of Systemic Functional Grammars And Semantics As Typed Feature Structures
A small fragment of the Systemic Functional Grammar of the PENMANsystem is reformulated in the Typed Feature Structure language. Through this reformulation wc gain full reversibil...
John A. Bateman, Martin C. Emele, Stefan Momma
COLING
1992
15 years 7 months ago
Data Types In Computational Phonology
This paper exanfines certain aspects of phonological structure from the viewpoint of ahstract data types, Our imnlediate goal is to find a format for l)honological representation ...
Ewan Klein
COLING
1990
15 years 7 months ago
Generation for Dialogue Translation Using Typed Feature Structure Unification
This article introduces a bidirectional grammar generation system called feature structure-directed generation, developed for a dialogue translation system. The system utilizes ty...
Yoshihiro Ueda, Kiyoshi Kogure
EJC
2008
15 years 6 months ago
A classification of finite partial linear spaces with a primitive rank 3 automorphism group of grid type
A partial linear space is a non-empty set of points, provided with a collection of subsets called lines such that any pair of points is contained in at most one line and every lin...
Alice Devillers