Sciweavers

5639 search results - page 109 / 1128
» Timed Abstract Non-interference
Sort
View
ICC
2007
IEEE
114views Communications» more  ICC 2007»
15 years 8 months ago
Downlink MC-2D-CDMA over Time-Variant Frequency-Selective Rayleigh Fading Channels
Abstract— In this paper, the performance of a downlink synchronous MC-CDMA system with joint frequency-time domain spreading over time-variant frequency-selective Rayleigh fading...
Rui Fa, Bayan S. Sharif, Charalampos Tsimenidis
IPPS
2007
IEEE
15 years 8 months ago
Parallel Tabu Search and the Multiobjective Vehicle Routing Problem with Time Windows
Abstract—In this paper the author presents three approaches to parallel Tabu Search, applied to several instances of the Capacitated Vehicle Routing Problem with Time Windows (CV...
Andreas Beham
IROS
2007
IEEE
99views Robotics» more  IROS 2007»
15 years 8 months ago
Multi-robot routing with rewards and disjoint time windows
Abstract— Multiple robots are often faster and more faulttolerant than single robots for applications such as planetary exploration and search and rescue. We study applications w...
Justin Melvin, Pinar Keskinocak, Sven Koenig, Crai...
VTC
2007
IEEE
108views Communications» more  VTC 2007»
15 years 8 months ago
OFDM with Cyclic-Pilot Time Diversity
Abstract— We present a novel transceiver design for orthogonal frequency-division multiplexing (OFDM) wireless systems employing pilot symbol aided channel estimation (PSACE). Th...
Ali Yazdanpanah, Behrang Nosrat-Makouei, Rodney G....
CONCUR
2007
Springer
15 years 7 months ago
Linear Time Logics Around PSL: Complexity, Expressiveness, and a Little Bit of Succinctness
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...
Martin Lange