Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
440
Flex Your Symbol: A Case for Adapting Symbol Duration in Communication Systems
"... Abstract—In wireless networks, different links often have different signal power to noise power ratios (SNRs). SNR affects the reliability and throughput of a link. Current wireless systems adapt transmission power, modulation or coding to improve reliability and throughput, based on link SNR. Howev ..."
Abstract
- Add to MetaCart
. However, all these systems transmit a modulated symbol for a fixed duration across all links. Theory and systems research, alike, ignore symbol duration as a variable to optimize for reliability and throughput. This paper shows that by adapting symbol duration, wireless links can realize significant
Sea-trial results for cyclic-prefix OFDM with long symbol duration
- in Proc. of MTS/IEEE OCEANS Conference
, 2011
"... Abstract—In this paper we report results from the Calibration ..."
Abstract
-
Cited by 3 (0 self)
- Add to MetaCart
Abstract—In this paper we report results from the Calibration
Automatic Symbolic Verification of Embedded Systems
, 1996
"... We present a model-checking procedure and its implementation for the automatic verification of embedded systems. The system components are described as Hybrid Automata -- communicating machines with finite control and real-valued variables that represent continuous environment parameters such as tim ..."
Abstract
-
Cited by 330 (24 self)
- Add to MetaCart
such as time, pressure, and temperature. The system requirements are specified in a temporal logic with stop watches, and verified by symbolic fixpoint computation. The verification procedure -- implemented in the Cornell Hybrid Technology Tool, HyTech -- applies to hybrid automata whose continuous dynamics
Duration of
"... ABSTRACT: Small spacecraft that are powered by solar energy have limitations because of the size of their solar panels. With the limitations on the solar panel size, it is generally hard to comply with the demands from all the satellite subsystems, payloads and batteries at the same time. To overcom ..."
Abstract
- Add to MetaCart
utilization and thereby the charge of the batteries is at its optimum. We have developed a genetic algorithm based schedule optimizer and propose an FPGA based fitness evaluation function for it. Symbol T i N i
From Discrete Duration Calculus to Symbolic Automata
, 2004
"... The goal of this paper is to translate (fragments of) the quantified discrete duration calculus QDDC, proposed by P. Pandya, into symbolic acceptors with counters. Acceptors are written in the synchronous programming language Lustre, in order to allow available symbolic verification tools (model-che ..."
Abstract
-
Cited by 4 (0 self)
- Add to MetaCart
The goal of this paper is to translate (fragments of) the quantified discrete duration calculus QDDC, proposed by P. Pandya, into symbolic acceptors with counters. Acceptors are written in the synchronous programming language Lustre, in order to allow available symbolic verification tools (model
The Effect of Using Pitch and Duration for Symbolic Music Retrieval
, 2008
"... Quite reasonable retrieval effectiveness is achieved for retrieving polyphonic (multiple notes at once) music that is symbolically encoded via melody queries, using relatively simple pattern matching techniques based on pitch sequences. Earlier work showed that adding duration information was not p ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
Quite reasonable retrieval effectiveness is achieved for retrieving polyphonic (multiple notes at once) music that is symbolically encoded via melody queries, using relatively simple pattern matching techniques based on pitch sequences. Earlier work showed that adding duration information
ACRONYMS AND SYMBOLS
"... Lightning strike incidents to commercial and military aircraft and helicopters have produced damage unlike what is usually inflicted by laboratory tests conducted in accordance with the aircraft lightning environment defined in present aircraft lightning environment standards including SAE ARP5412 a ..."
Abstract
- Add to MetaCart
and EUROCAE ED 81 and US Military Standard 464A (and predecessor standards dating back to 1970). These standards define a first stroke current of 200 kA peak amplitude and overall time duration of 500 µs followed by intermediate and continuing currents whose amplitudes do not exceed 4 k
The Role of Duration Models and Symbolic Representation for Timing in Synthetic Speech
"... Abstract. In order to determine priorities for the improvement of timing in synthetic speech this study looks at the role of segmental duration prediction and the role of phonological symbolic representation in the perceptual quality of a text-to-speech system. In perception experiments using German ..."
Abstract
-
Cited by 3 (0 self)
- Add to MetaCart
Abstract. In order to determine priorities for the improvement of timing in synthetic speech this study looks at the role of segmental duration prediction and the role of phonological symbolic representation in the perceptual quality of a text-to-speech system. In perception experiments using
On the Role of Duration Prediction and Symbolic Representation for the Evaluation of Synthetic Speech
- In “Proceedings of the 4th ISCA Tutorial and Research Workshop on Speech Synthesis
, 2001
"... In order to determine priorities for the improvement of timing in synthetic speech this study looks at the role of segmental duration prediction and the role of phonological symbolic representation in listeners ' preferences. In perception experi-ments using German speech synthesis, two standar ..."
Abstract
-
Cited by 2 (0 self)
- Add to MetaCart
In order to determine priorities for the improvement of timing in synthetic speech this study looks at the role of segmental duration prediction and the role of phonological symbolic representation in listeners ' preferences. In perception experi-ments using German speech synthesis, two
Results 1 - 10
of
440
