1174 search results - page 65 / 235 » Derivation of Characteristic Formulae |
120
click to vote
SIAMIS
2008
15 years 4 months ago
2008
In this paper we consider the problem of locating a small three-dimensional elastic inclusion, using arrays of elastic source transmitters and receivers. This procedure yields the ...
131
click to vote
COMBINATORICS
2004
15 years 3 months ago
2004
Bisztriczky introduced the multiplex as a generalization of the simplex. A polytope is multiplicial if all its faces are multiplexes. In this paper it is proved that the flag vect...
107
click to vote
JCAM
2010
14 years 11 months ago
2010
Asian options, basket options and spread options have been extensively studied in literature. However, few papers deal with the problem of pricing general Asian basket spread opti...
126
click to vote
KDD
2002
ACM
16 years 4 months ago
2002
ACM
We present a framework for mining association rules from transactions consisting of categorical items where the data has been randomized to preserve privacy of individual transact...
167
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...