2062 search results - page 173 / 413 » Derivatives of Logical Formulas |
140
click to vote
FSEN
2007
Springer
15 years 8 months ago
2007
Springer
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulae. Test cases are modeled as ground formulae and any spe...
164
click to vote
RIAO
2000
15 years 5 months ago
2000
Informationretrieval systems typically weight the importance of search terms according to document and collection statistics (such as by using tf idf scores, where less commonterm...
117
click to vote
TKDE
1998
15 years 4 months ago
1998
E cient storage and retrieval of multi-attribute datasets have become one of the essential requirements for many data-intensive applications. The Cartesian product le has been kno...
105
click to vote
TMI
2002
15 years 4 months ago
2002
Abstract--We present an explicit formula for B-spline convolution kernels; these are defined as the convolution of several B-splines of variable widths and degrees . We apply our r...
120
click to vote
MOC
2010
14 years 11 months ago
2010
In this paper, we propose an original optimization approach for reconstructing interface changes of a conductivity inclusion from measurements of eigenvalues and eigenvectors asso...