345 search results - page 35 / 69 » Computer-Assisted Simulation Proofs |
152
click to vote
ICASSP
2009
IEEE
16 years 19 days 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...
128
click to vote
MFCS
2009
Springer
16 years 13 days 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...
178
click to vote
CDC
2008
IEEE
16 years 11 days 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...
172
click to vote
ICCCN
2008
IEEE
16 years 10 days 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...
164
click to vote
INFOCOM
2008
IEEE
16 years 9 days 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...