3082 search results - page 428 / 617 » its 2004 |
160
click to vote
NLDB
2004
Springer
16 years 7 days ago
2004
Springer
We propose a method of synonymous paraphrasing of a text based on WordNet synonymy data and Internet statistics of stable word combinations (collocations). Given a text, we look fo...
200
click to vote
NMR
2004
Springer
16 years 7 days ago
2004
Springer
We define the class of head-cycle free nested logic programs, and its proper subclass of acyclic nested programs, generalising similar classes originally defined for disjunctive...
214
click to vote
NMR
2004
Springer
16 years 7 days ago
2004
Springer
The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance bo...
152
click to vote
OOPSLA
2004
Springer
16 years 7 days ago
2004
Springer
These notes have the status of letters written to ourselves: we wrote them down because, without doing so, we found ourselves making rguments over and over again. So began the abs...
195
click to vote
OOPSLA
2004
Springer
16 years 7 days ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...