2409 search results - page 250 / 482 » On Extended Regular Expressions |
173
click to vote
TACAS
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
210
click to vote
CICLING
2003
Springer
15 years 12 months ago
2003
Springer
The theory of realizational morphology presented by Stump in his influential book Inflectional Morphology (2001) describes the derivation of inflected surface forms from underly...
152
click to vote
FPL
2003
Springer
15 years 12 months ago
2003
Springer
An extensible firewall has been implemented that performs packet filtering, content scanning, and per-flow queuing of Internet packets at Gigabit/second rates. The firewall use...
175
click to vote
ICMCS
1999
IEEE
15 years 11 months ago
1999
IEEE
The START system responds to natural language queries with answers in text, pictures, and other media. START's sentence-level natural language parsing relies on a number of m...
188
click to vote
DBPL
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Based on the recursion mechanism of the XML transformation language XSL, the document transformation language DTL is defined. First the instantiation DTLreg is considere...