448 search results - page 87 / 90 » A Meta-Method for Formal Method Integration |
189
Voted
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
Entity matching (a.k.a. record linkage) plays a crucial role in integrating multiple data sources, and numerous matching solutions have been developed. However, the solutions have...
130
click to vote
VIS
2009
IEEE
16 years 25 days ago
2009
IEEE
In this paper we describe a novel method to integrate interactive visual analysis and machine learning to support the insight generation of the user. The suggested approach combine...
87
Voted
WWW
2007
ACM
16 years 9 days ago
2007
ACM
Scholarly entities, such as articles, journals, authors and institutions, are now mostly ranked according to expert opinion and citation data. The Andrew W. Mellon Foundation fund...
93
Voted
KDD
2007
ACM
16 years 1 days ago
2007
ACM
The collaborative filtering approach to recommender systems predicts user preferences for products or services by learning past useritem relationships. In this work, we propose no...
191
click to vote
POPL
2005
ACM
15 years 12 months ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...