1227 search results - page 24 / 246 » Symbolic data analysis tools for recommendation systems |
LCPC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We have designed and implemented an interprocedural algorithm to analyze symbolic value ranges that can be assumed by variables at any given point in a program. Our algor...
FMCAD
1998
Springer
13 years 12 months ago
1998
Springer
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...
KDD
2009
ACM
14 years 8 months ago
2009
ACM
Tag recommendation is the task of predicting a personalized list of tags for a user given an item. This is important for many websites with tagging capabilities like last.fm or de...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
In this work we present topic diversification, a novel method designed to balance and diversify personalized recommendation lists in order to reflect the user's complete spec...
IFIP12
2009
13 years 5 months ago
2009
Social Tagging is the process by which many users add metadata in the form of keywords, to annotate and categorize items (songs, pictures, web links, products etc.). Social tagging...