2293 search results - page 105 / 459 » Temporal Logic in Information Systems |
AML
2010
14 years 10 months ago
2010
Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'. We ext...
AML
2006
14 years 10 months ago
2006
Abstract Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'...
ICONIP
2008
14 years 11 months ago
2008
Several applications would emerge from the development of efficient and robust sound classification systems able to identify the nature of non-speech sound sources. This paper prop...
GLOBECOM
2006
IEEE
15 years 4 months ago
2006
IEEE
— A novel method based on Markov chain theory is proposed for analyzing the effect of feedback delay on a transmit beamforming system with limited feedback. Using this method, th...
GLOBECOM
2006
IEEE
15 years 4 months ago
2006
IEEE
— A novel method is proposed for reducing the feedback rate of a transmit beamforming system with feedback of quantized channel state information. Specifically, the channel is m...