2944 search results - page 235 / 589 » On Well Quasi-orders on Languages |
119
click to vote
EACL
1993
ACL Anthology
15 years 8 months ago
1993
ACL Anthology
In gb, the importance of phrase-structure rules has dwindled in favour of nearness conditions. Today, nearness conditions play a major role in defining the correct linguistic rep...
166
click to vote
ACL
1990
15 years 7 months ago
1990
In the literature, Tree Adjoining Grammars (TAGs) are propagated to be adequate for natural language description -- analysis as well as generation. In this paper we concentrate on...
179
click to vote
APLAS
2010
ACM
15 years 6 months ago
2010
ACM
Semantic preorders between processes are usually applied in practice to model approximation or implementation relationships. For interactive models these preorders depend crucially...
173
click to vote
APLAS
2010
ACM
15 years 6 months ago
2010
ACM
Abstract. By combining algorithmic learning, decision procedures, predicate abstraction, and simple templates, we present an automated technique for finding quantified loop invaria...
188
click to vote
DEBU
2008
15 years 6 months ago
2008
The Pathfinder project makes inventive use of relational database technology--originally developed to process data of strictly tabular shape--to construct efficient database-suppo...