11716 search results - page 196 / 2344 » Computable symbolic dynamics |
139
click to vote
WCNC
2008
IEEE
16 years 27 days ago
2008
IEEE
— We consider a cognitive wireless relay system that operates on secondary spectrum sharing basis using spectrum pooling. A spectrum pool comprises of a set of available narrowba...
184
click to vote
ICC
2007
IEEE
16 years 25 days ago
2007
IEEE
— 1 In this paper, pilot-assisted transmission over Gauss-Markov Rayleigh fading channels is considered. A simple scenario, where a single pilot signal is transmitted every T sym...
157
click to vote
SCAM
2007
IEEE
16 years 24 days ago
2007
IEEE
We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked target expressions. Reach has a range of applications ...
151
click to vote
IEAAIE
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Human-Artifact interaction in real world situations is currently an active area of research due to the importance foreseen of the social capabilities of near future robot...
161
click to vote
CAV
2005
Springer
16 years 2 days ago
2005
Springer
We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) fix-point construc...