2722 search results - page 299 / 545 » Automating Language Evolution |
173
click to vote
MCMASTER
1993
15 years 8 months ago
1993
Abstract. This survey of the theory and applications of rewriting with equations discusses the existence and uniqueness of normal forms, the Knuth-Bendix completion procedure and i...
250
click to vote
LACL
2011
Springer
14 years 7 months ago
2011
Springer
The problem of generating referring expressions (GRE) is an important task in natural language generation. In this paper, we advocate for the use of logical languages in the output...
132
click to vote
PLDI
2012
ACM
13 years 6 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 ...
136
click to vote
ISMIS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. A multi-relational clustering method is presented which can be applied to complex knowledge bases storing resources expressed in the standard Semantic Web languages. It a...
132
click to vote
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
— As new versions of software are developed bugs inevitably arise either due to regression or new functionality. Challenges arise in discovering, managing, and testing the impact...