706 search results - page 13 / 142 » An Experimental Study on Computer Programming with Linguisti... |
ICALP
2004
Springer
15 years 3 months ago
2004
Springer
This paper studies the problem of matching sequences against regular expressions in order to produce structured values.
102
click to vote
DOCENG
2006
ACM
15 years 3 months ago
2006
ACM
XPath is the standard declarative language for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization, and XML type ...
IPPS
1998
IEEE
15 years 2 months ago
1998
IEEE
We study the automation of the verification of Unity programs with infinite or parameterized state space. This paper presents methods allowing the transformation of some second-ord...
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
Speakers in dialogue tend to adapt to each other by starting to use similar lexical items, syntactic structures, or gestures. This behaviour, called alignment, may serve important...
GECCO
2007
Springer
15 years 3 months ago
2007
Springer
This study investigates automatic regular expression generation using Grammatical Evolution. The software implementation is based on a subset of POSIX regular expression rules. Fo...