6719 search results - page 237 / 1344 » A Generalization of Automatic Sequences |
98
Voted
ACL
1993
15 years 4 months ago
1993
This paper presents a new method for producing a dictionary of subcategorization frames from unlabelled text corpora. It is shown that statistical filtering of the results of a ...
129
Voted
SAC
2008
ACM
15 years 2 months ago
2008
ACM
The basic theory of supervisory control of discrete-event systems is extended with the notion of templates, which simplifies the modeling of controllers since one can work with co...
112
Voted
IMCSIT
2010
15 years 1 months ago
2010
Abstract--We present a tool that facilitates the efficient extension of morphological lexica. The tool exploits information from a morphological lexicon, a morphological grammar an...
175
Voted
SIGIR
2005
ACM
15 years 9 months ago
2005
ACM
Accurate topical categorization of user queries allows for increased effectiveness, efficiency, and revenue potential in general-purpose web search systems. Such categorization be...
224
click to vote
POPL
2006
ACM
16 years 3 months ago
2006
ACM
We describe a novel method for verifying programs that manipulate linked lists, based on two new predicates that characterize reachability of heap cells. These predicates allow re...