2790 search results - page 103 / 558 » A generative theory of relevance |
160
click to vote
ICDCSW
2000
IEEE
15 years 10 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
169
click to vote
DIS
2008
Springer
15 years 8 months ago
2008
Springer
Frequent closures (FCIs) and generators (FGs) as well as the precedence relation on FCIs are key components in the definition of a variety of association rule bases. Although their...
227
click to vote
PTS
2010
15 years 4 months ago
2010
We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...
153
click to vote
CIVR
2007
Springer
16 years 18 days ago
2007
Springer
In this project (VIRSI) we investigate the promising contentbased retrieval paradigm known as interactive search or relevance feedback, and aim to extend it through the use of syn...
183
click to vote
CHES
2009
Springer
16 years 7 months ago
2009
Springer
We have devised a frequency injection attack which is able to destroy the source of entropy in ring-oscillator-based true random number generators (TRNGs). A TRNG will lock to freq...