3172 search results - page 475 / 635 » On the Random-Self-Reducibility of Complete Sets |
200
click to vote
CSDA
2010
15 years 6 months ago
2010
This paper deals with the analysis of temporal dependence in multivariate highfrequency time series data. The dependence structure between the marginal series is modelled through ...
164
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We describe an extension to the TLA+ specification language with constructs for writing proofs and a proof environment, called the Proof Manager (PM), to checks those proofs. The ...
145
click to vote
CSDA
2008
15 years 6 months ago
2008
Semi-continuous data arise in many applications where naturally-continuous data become contaminated by the data generating mechanism. The resulting data contain several values tha...
171
click to vote
ECRA
2008
15 years 6 months ago
2008
Mobile payments can be categorized according to their usage in each of the five payment scenarios presented here. The paper proposes the mobile payment modeling approach (MPMA) es...
148
click to vote
ENTCS
2008
15 years 6 months ago
2008
The satisfiability problems for CTL and CTL are known to be EXPTIME-complete, resp. 2EXPTIMEcomplete (Fischer and Ladner (1979), Vardi and Stockmeyer (1985)). For fragments that u...