4666 search results - page 529 / 934 » Equations on Timed Languages |
208
click to vote
EACL
2003
ACL Anthology
15 years 9 months ago
2003
ACL Anthology
We present a new grammar formalism for parsing with freer word-order languages, motivated by recent linguistic research in German and the Slavic languages. Unlike CFGs, these gram...
215
click to vote
PLDI
2012
ACM
13 years 10 months ago
2012
ACM
To report a compiler bug, one must often find a small test case that triggers the bug. The existing approach to automated test-case reduction, delta debugging, works by removing ...
274
click to vote
DAC
2005
ACM
16 years 8 months ago
2005
ACM
Pointer analysis, a classic problem in software program analysis, has emerged as an important problem to solve in design automation, at a time when complex designs, specified in t...
182
click to vote
ICML
2003
IEEE
16 years 8 months ago
2003
IEEE
Kernel methods have gained a great deal of popularity in the machine learning community as a method to learn indirectly in highdimensional feature spaces. Those interested in rela...
181
click to vote
WWW
2004
ACM
16 years 8 months ago
2004
ACM
XML has become one of the core technologies for contemporary business applications, especially web-based applications. To facilitate processing of diverse XML data, we propose an ...