6800 search results - page 1075 / 1360 » Testing with Functions as Specifications |
179
click to vote
SAC
2002
ACM
15 years 5 months ago
2002
ACM
The theoretical price of a financial option is given by the expectation of its discounted expiry time payoff. The computation of this expectation depends on the density of the val...
158
click to vote
TIP
2002
15 years 5 months ago
2002
Abstract--We propose an approach to accurately detecting twodimensional (2-D) shapes. The cross section of the shape boundary is modeled as a step function. We first derive a one-d...
179
click to vote
TKDE
2010
15 years 4 months ago
2010
—Recently, many new applications, such as sensor data monitoring and mobile device tracking, raise up the issue of uncertain data management. Compared to “certain” data, the ...
178
click to vote
ICDM
2009
IEEE
15 years 3 months ago
2009
IEEE
Temporal causal modeling can be used to recover the causal structure among a group of relevant time series variables. Several methods have been developed to explicitly construct te...
195
click to vote
ICTAC
2009
Springer
15 years 3 months ago
2009
Springer
Online trading invariably involves dealings between strangers, so it is important for one party to be able to judge objectively the trustworthiness of the other. In such a setting,...