11739 search results - page 12 / 2348 » Slideshow: functional presentations |
CORR
2011
Springer
13 years 4 months ago
2011
Springer
Abstract. We present a deep embedding of Bellantoni and Cook’s syntactic characterization of polytime functions. We prove formally that it is correct and complete with respect to...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
In this paper, we present a novel non-data aided method for phase recovery in both square and cross quadrature amplitude modulation (QAM) communication systems, based on character...
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
The purpose of this contribution is twofold: 1) to present for the first time a Lyapunov function that proves exponential ergodicity of a process studied by the authors in [1], whe...
TCOM
2010
13 years 4 months ago
2010
Consider independent and identically distributed exponential random variables (r.vs) 1, 2, . . . , and positive scalars 1, 2, . . . , . In this letter, we present the probability...
LPAR
2012
Springer
12 years 5 months ago
2012
Springer
Abstract. We present a novel counterexample generator for the interactive theorem prover Isabelle based on a compiler that synthesizes test data generators for functional programmi...