4693 search results - page 490 / 939 » Verifying Hybrid Systems |
189
click to vote
TWC
2008
15 years 7 months ago
2008
We develop a reduced-complexity hybrid frequency/time-domain orthogonal frequency division multiplexing (OFDM) channel estimation algorithm for high-mobility scenarios where the ch...
196
click to vote
COMCOM
2002
15 years 6 months ago
2002
Many security approaches are currently used in organisations. In spite of the widespread use of these security techniques, network intrusion remains a problem. This paper discusse...
183
click to vote
COLING
2010
15 years 2 months ago
2010
Antelogue is a pronoun resolution prototype designed to be released as off-the-shelf software to be used autonomously or integrated with larger anaphora resolution or other NLP sy...
146
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
The paper presents a voice conversion framework that can be used in real-time applications. The conversion technique is based on hybrid (deterministic/stochastic) parametric speec...
209
click to vote
APSEC
2006
IEEE
16 years 1 months ago
2006
IEEE
Software systems, component-based systems (CBS) in particular, have a lot of vulnerabilities that may be exploited by intruders. Companies spend much time and money to “patch”...