888 search results - page 114 / 178 » The Power of Temporal Proofs |
161
click to vote
VTC
2008
IEEE
16 years 15 days ago
2008
IEEE
Abstract— In this paper, we investigate Turbo-coded transmission over a temporally correlated flat Rayleigh fading channel. Conventionally, channel estimation is performed prior...
149
click to vote
GLOBECOM
2007
IEEE
16 years 14 days ago
2007
IEEE
Abstract— We derive a lower bound on the diversitymultiplexing tradeoff for multiple antenna multiple access channels using temporal power control (PC). We quantify the substanti...
177
Voted
CONCUR
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. We consider linear time temporal logic enriched with semiextended regular expressions through various operators that have been proposed in the literature, in particular i...
161
click to vote
RULEML
2007
Springer
16 years 7 days ago
2007
Springer
The SWRLTab is a development environment for working with SWRL rules in Protégé-OWL. It supports the editing and execution of SWRL rules. It also provides mechanisms to allow int...
149
click to vote
AHS
2006
IEEE
16 years 6 days ago
2006
IEEE
This paper presents a unique SEU (single Event Upset) mitigation technique based upon Temporal Data Sampling for synchronous circuits and configuration bit storage for programmabl...