Sciweavers

8824 search results - page 6 / 1765
» On the Complexity of Real Functions
Sort
View
ECCC
2000
75views more  ECCC 2000»
13 years 8 months ago
Deterministic Turing Machines in the Range between Real-Time and Linear-Time
Deterministic k-tape and multitape Turing machines with one-way, two-way and without a separated input tape are considered. We investigate the classes of languages acceptable by s...
Andreas Klein, Martin Kutrib
ISCAS
2005
IEEE
157views Hardware» more  ISCAS 2005»
14 years 2 months ago
Analog complex wavelet filters
Abstract— This paper presents an analog implementation of the complex wavelet transform using both the complex first order system (CFOS) and the Pad´e approximation. The comple...
Sandro A. P. Haddad, J. M. H. Karel, Ralf L. M. Pe...
ICASSP
2011
IEEE
13 years 4 days ago
Reduced complexity blind deterministic frequency offset estimation in OFDM systems
— This paper proposes an efficient blind deterministic carrier frequency offset (CFO) estimation method for orthogonal frequency division multiplexing (OFDM) systems. In the pro...
Hyoung-Goo Jeon, Kyoung-Soo Kim, Erchin Serpedin
JOT
2010
96views more  JOT 2010»
13 years 6 months ago
UML Profiles for Modeling Real-Time Communication Protocols
Validation of non-functional and functional properties of these protocols during the early stages of design and development is important to reduce cost resulting from protocol ano...
Barath Kumar, Jürgen Jasperneite
AISC
2008
Springer
13 years 10 months ago
Automating Side Conditions in Formalized Partial Functions
Abstract. Assumptions about the domains of partial functions are necessary in state-of-the-art proof assistants. On the other hand when mathematicians write about partial functions...
Cezary Kaliszyk