4743 search results - page 731 / 949 » The PlusCal Algorithm Language |
SIGSOFT
2005
ACM
14 years 10 months ago
2005
ACM
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...
WWW
2009
ACM
14 years 9 months ago
2009
ACM
General image retrieval is often carried out by a text-based search engine, such as Google Image Search. In this case, natural language queries are used as input to the search eng...
WWW
2008
ACM
14 years 9 months ago
2008
ACM
We present a system for personalized tag suggestion for Flickr: While the user is entering/selecting new tags for a particular picture, the system is suggesting related tags to he...
WWW
2007
ACM
14 years 9 months ago
2007
ACM
Several approaches to collaborative filtering have been studied but seldom have studies been reported for large (several million users and items) and dynamic (the underlying item ...
ICLP
2009
Springer
14 years 9 months ago
2009
Springer
We extend to disjunctive logic programs our previous work on computing loop formulas of loops with at most one external support. We show that for these logic programs, loop formula...