5482 search results - page 194 / 1097 » Logic Programming and Databases |
159
click to vote
JELIA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The growing size of electronically available text corpora like companies’ intranets or the WWW has made information access a hot topic within computational linguistics....
252
click to vote
JUCS
2006
15 years 6 months ago
2006
: Several techniques for implementing Prolog in a efficient manner have been devised since the original interpreter, many of them aimed at achieving more speed. There are two main ...
164
click to vote
ICLP
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
