6740 search results - page 463 / 1348 » Using Classification as a Programming Language |
149
click to vote
ECIR
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. This paper describes usage of MT metrics in choosing the best candidates for MT-based query translation resources. Our main metrics is METEOR, but we also use NIST and BL...
235
click to vote
ASP
2003
Springer
16 years 25 days ago
2003
Springer
Disjunctive Logic Programming (DLP) is an advanced formalism for Knowledge Representation and Reasoning (KRR). DLP is very expressive in a precise mathematical sense: it allows to ...
196
click to vote
JFP
2006
15 years 7 months ago
2006
A huge discrepancy between theory and practice exists in one popular application area of functional programming--spreadsheets. Although spreadsheets are the most frequently used (...
252
click to vote
ECOOP
2010
Springer
15 years 11 months ago
2010
Springer
Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifica...
177
click to vote
PEPM
2009
ACM
16 years 4 months ago
2009
ACM
Computation performed in many typical aspects involve side effects. In a purely functional setting, adding such aspects using techniques such as monadification will generally lea...