2203 search results - page 284 / 441 » Temporal Abstract Interpretation |
153
click to vote
GLOBECOM
2007
IEEE
16 years 22 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...
132
click to vote
HAPTICS
2007
IEEE
16 years 22 days 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 ...
159
click to vote
ICRA
2007
IEEE
16 years 21 days 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...
172
click to vote
ISCAS
2007
IEEE
16 years 20 days 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...
183
click to vote
CONCUR
2007
Springer
16 years 17 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...