2203 search results - page 284 / 441 » Temporal Abstract Interpretation |
118
click to vote
GLOBECOM
2007
IEEE
15 years 10 months 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...
92
Voted
HAPTICS
2007
IEEE
15 years 10 months ago
2007
IEEE
There is a growing interest into non-visual forms of data communication, not only driven by the need for accessible representations but also because researchers are realizing the ...
130
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— We study the problem of designing control strategies for nondeterministic transitions systems enforcing the satisfaction of Linear Temporal Logic (LTL) formulas over th...
128
Voted
ISCAS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— In this paper we present a feature-extracting image sensor targeted to wireless image sensor networks. The image sensor was designed and fabricated on a 3D integrated 0...
142
Voted
CONCUR
2007
Springer
15 years 10 months 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...