2944 search results - page 125 / 589 » On Well Quasi-orders on Languages |
SIGADA
1998
Springer
15 years 5 months ago
1998
Springer
At the last workshop, the issue of being able to extend protected types in the same manner as tagged types was discussed. The conclusion was that further consideration was needed ...
84
Voted
APLAS
2007
ACM
15 years 4 months ago
2007
ACM
The integration of functional and logic programming is a well developed field of research. We discuss that the integration could be improved significantly in two separate aspects: ...
90
Voted
ICALP
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Noetherian spaces are a topological concept that generalizes well quasiorderings. We explore applications to infinite-state verification problems, and show how this stimu...
LREC
2008
15 years 2 months ago
2008
This paper presents a multipurpose system for wordnet (WN) development, named Hydra. Hydra is an application for data editing and validation, as well as for data retrieval and syn...
111
Voted
EACL
2006
ACL Anthology
15 years 2 months ago
2006
ACL Anthology
Current Named Entity Recognition systems suffer from the lack of hand-tagged data as well as degradation when moving to other domain. This paper explores two aspects: the automati...