345 search results - page 35 / 69 » Computer-Assisted Simulation Proofs |
114
click to vote
ICASSP
2009
IEEE
15 years 9 months ago
2009
IEEE
For the first time, a proof of the sifting process (SP) and so the empirical mode decomposition (EMD), is given. For doing this, lower and upper envelopes are modeled in a more c...
83
Voted
MFCS
2009
Springer
15 years 9 months ago
2009
Springer
We define a framework called the prismoid of resources where each vertex refines the λ-calculus by using a different choice to make explicit or implicit (meta-level) the defin...
138
Voted
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
— This paper presents a new approximate policy iteration algorithm based on support vector regression (SVR). It provides an overview of commonly used cost approximation architect...
133
click to vote
ICCCN
2008
IEEE
15 years 9 months ago
2008
IEEE
—Observing that simplicity implies efficiency and scalability, this paper proposes a position-based deployment and routing strategy, and then gives a concrete approach under this...
124
click to vote
INFOCOM
2008
IEEE
15 years 9 months ago
2008
IEEE
In this report, we will provide the detailed theoretical analysis including some omitted proofs in our latest submission to Infocom 2008. For more details about the framework prot...