4231 search results - page 772 / 847 » Using Language More Responsibly |
127
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Logic Programming languages and combinational circuit synthesis tools share a common "combinatorial search over logic formulae" background. This paper attempts ...
180
click to vote
JODS
2008
15 years 3 months ago
2008
Information integration and retrieval are useful tasks in many information systems. In these systems, it is far from an easy task to directly integrate information from natural lan...
135
click to vote
ENTCS
2007
15 years 3 months ago
2007
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...
138
click to vote
IAJIT
2007
15 years 3 months ago
2007
: Word prediction is an important NLP problem in which we want to predict the correct word in a given context. Word completion utilities, predictive text entry systems, writing aid...
147
click to vote
SCP
2008
15 years 3 months ago
2008
Google's MapReduce programming model serves for processing large data sets in a massively parallel manner. We deliver the first rigorous description of the model including it...