PPT Slide
Matchmaking Process: Simple Example (cont’d)
- Comparison of Profiles (TF-IDF) ?
- Type Inference Rules for Computing Type Subsumption:
Declarations in IntegerSort and GenericSort:
D11 = xs: ListOf Integer D21 = xs: ListOf Real|String
D12 = ys: ListOf Integer D22 = ys: ListOf Real|String
ListOf Integer ? ListOf Real|String
(signature(D21) › signature(D11)) & (signature(D22) › signature(D12))
- Full Signature Matching of Declarations ?
Look-up/compute word distance for ‘Sort’ and ‘Sorting’;
Value exceeds given threshold. Thus, proceed with
Profile similarity value of documents IntegerSort and GenericSort
exceeds given threshold. Thus, proceed with