Sciweavers

278 search results - page 2 / 56
» Enumerating Regular Expressions and Their Languages
Sort
View
WIA
1999
Springer
15 years 1 months ago
An Extendible Regular Expression Compiler for Finite-State Approaches in Natural Language Processing
Finite-state techniques are widely used in various areas of Natural Language Processing (NLP). As Kaplan and Kay [12] have argular expressions are the appropriate level of abstract...
Gertjan van Noord, Dale Gerdemann
ATVA
2009
Springer
146views Hardware» more  ATVA 2009»
15 years 1 months ago
Specification Languages for Stutter-Invariant Regular Properties
We present specification languages that naturally capture exactly the regular and -regular properties that are stutter invariant. Our specification languages are variants of the cl...
Christian Dax, Felix Klaedtke, Stefan Leue
PLILP
1997
Springer
15 years 1 months ago
Narrowing the Narrowing Space
We introduce a framework for managing as a whole the space of a narrowing computation. The aim of our framework is to find a finite representation of an infinite narrowing space...
Sergio Antoy, Zena M. Ariola
POPL
2001
ACM
15 years 9 months ago
Regular expression pattern matching for XML
Haruo Hosoya, Benjamin C. Pierce
JUCS
2002
106views more  JUCS 2002»
14 years 9 months ago
Additive Distances and Quasi-Distances Between Words
: We study additive distances and quasi-distances between words. We show that every additive distance is finite. We then prove that every additive quasi-distance is regularity-pres...
Cristian Calude, Kai Salomaa, Sheng Yu