8094 search results - page 158 / 1619 » Improvements in Formula Generalization |
CIKM
2011
Springer
12 years 9 months ago
2011
Springer
A key component of BM25 contributing to its success is its sub-linear term frequency (TF) normalization formula. The scale and shape of this TF normalization component is controll...
CDC
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract— In this paper, the concept of restricted real perturbation values of a complex matrix triplet is introduced, and a formula for computing lower bounds of these values is...
CSR
2008
Springer
13 years 9 months ago
2008
Springer
An (n, k)-ary quantifier is a generalized logical connective, binding k variables and connecting n formulas. Canonical systems with (n, k)-ary quantifiers form a natural class of G...
JCS
2007
13 years 9 months ago
2007
We present a general unwinding framework for the definition of information flow security properties of concurrent programs, described in a simple imperative language enriched wi...
ISCA
2008
IEEE
14 years 3 months ago
2008
IEEE
Flash is a widely used storage device that provides high density and low power, appealing properties for general purpose computing. Today, its usual application is in portable spe...