Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 5 of 5 for “"Winnow"”.
-
Learning inductive invariants using Winnow algorithm
… We present a new concrete learning algorithm, Winnow-ICE, to synthesize inductive invariants for proving that a program is correct by validating its assertions. Winnow is an online learning algorithm that can be used to learn Boolean formulae from positive, negative and implication …
-
New Algorithms for Attribute-Efficient on -Line Linear Learning
… view 2Pes as a particular generalization of the Winnow algorithm, and IDBD as a further generalization of 2Pes. Understanding these relationships furthers the potential of attribute-efficient algorithms for real-world applications.
-
Computational approaches to predicting drug induced toxicity
… Some of these models were generated using Winnow, in conjunction with a novel proposal for encoding molecular structures as required by this algorithm. The Winnow models were found to perform comparably to models generated using the Support Vector Machine and Random Forest algorithms. These …
-
Metric Representations Of Networks
… state additional desirable properties to further winnow the admissibility landscape. Algorithms for the clustering methods developed are also derived and implemented. We then shift focus to projections onto generalized q-metric spaces, a parametric family containing among others the (regular) …
-
The contribution of émigré art historians to the British art world after 1933
… that émigré art historians took extreme care to winnow out any ideological inflection from their work by undertaking systematic research. However, a case study of the adaptation of the two most prominent emigre art historians emphasises the diversity in this "ideological withdrawal" and …