780 search results - page 69 / 156 » Reasoning about sets using redescription mining |
105
Voted
NFM
2011
14 years 7 months ago
2011
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...
97
Voted
CORR
2008
Springer
15 years 25 days ago
2008
Springer
Multi-relational networks are used extensively to structure knowledge. Perhaps the most popular instance, due to the widespread adoption of the Semantic Web, is the Resource Descr...
89
Voted
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
Repetitive and ambiguous visual structures in general pose a severe problem in many computer vision applications. Identification of incorrect geometric relations between images s...
105
Voted
KDD
2006
ACM
16 years 1 months ago
2006
ACM
Recent research has identified significant vulnerabilities in recommender systems. Shilling attacks, in which attackers introduce biased ratings in order to influence future recom...
96
Voted
PST
2008
15 years 2 months ago
2008
Knowledge discovery systems extract knowledge from data that can be used for making prediction about incomplete data items. Utility is a measure of the usefulness of the discovere...