9359 search results - page 1478 / 1872 » Generalization Algorithms for Second-Order Terms |
186
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Developers perform small-scale reuse tasks to save time and to increase the quality of their code, but due to their small scale, the costs of such tasks can quickly outweigh their...
228
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
188
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
Social media sharing web sites like Flickr allow users to annotate images with free tags, which significantly facilitate Web image search and organization. However, the tags assoc...
203
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
Community Question Answering (CQA) has emerged as a popular forum for users to pose questions for other users to answer. Over the last few years, CQA portals such as Naver and Yah...
187
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
Automatic folksonomy construction from tags has attracted much attention recently. However, inferring hierarchical relations between concepts from tags has a drawback in that it i...