462 search results - page 63 / 93 » Symbolic Bounded Synthesis |
213
click to vote
VLDB
2007
ACM
16 years 2 months ago
2007
ACM
The modeling of high level semantic events from low level sensor signals is important in order to understand distributed phenomena. For such content-modeling purposes, transformat...
108
click to vote
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
— We examine the Shannon limits of communication systems when the precision of the analog-to-digital conversion (ADC) at the receiver is constrained. ADC is costly and powerhungr...
111
Voted
VTC
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— In this paper we consider serially concatenated and iteratively decoded Irregular Variable Length Coding (IrVLC) combined with precoded Differential Space-Time Spreadin...
178
click to vote
WCNC
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—In this paper, we propose an output-threshold multiple relay selection scheme for dual-hop multi-branch cooperative wireless networks. The proposed scheme selects the ï¬...
88
Voted
TIT
2010
14 years 8 months ago
2010
Several physical effects that limit the reliability and performance of multilevel flash memories induce errors that have low magnitudes and are dominantly asymmetric. This paper st...