Sciweavers

263 search results - page 6 / 53
» Discrete Symbol Calculus
Sort
View
KDD
2005
ACM
160views Data Mining» more  KDD 2005»
14 years 8 months ago
Optimizing time series discretization for knowledge discovery
Knowledge Discovery in time series usually requires symbolic time series. Many discretization methods that convert numeric time series to symbolic time series ignore the temporal ...
Alfred Ultsch, Fabian Mörchen

Lecture Notes
746views
15 years 6 months ago
Martingales, Diffusions and Financial Mathematics
The notes cover several topics such as Measure Theory, Discrete Time Martingales, Discrete Time Option Pricing, Continuous Time, Martingales, Stochastic Integrals, Stochastic Calcu...
A.W. van der Vaart
CAV
2003
Springer
166views Hardware» more  CAV 2003»
14 years 26 days ago
Bridging the Gap between Fair Simulation and Trace Inclusion
The paper considers the problem of checking abstraction between two finite-state fair discrete systems (FDS). In automata-theoretic terms this is trace inclusion between two nond...
Yonit Kesten, Nir Piterman, Amir Pnueli
ASIACRYPT
2003
Springer
14 years 26 days ago
Index Calculus Attack for Hyperelliptic Curves of Small Genus
We present a variation of the index calculus attack by Gaudry which can be used to solve the discrete logarithm problem in the Jacobian of hyperelliptic curves. The new algorithm h...
Nicolas Thériault