12438 search results - page 204 / 2488 » The Magic of a Number System |
159
click to vote
HYBRID
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
123
click to vote
ERCIMDL
2000
Springer
15 years 8 months ago
2000
Springer
The ASU Libraries' staff had considerable experience creating digital library systems to satisfy the needs of a major university library. These systems were designed to be hig...
107
click to vote
CCS
2003
ACM
15 years 9 months ago
2003
ACM
Web-based vulnerabilities represent a substantial portion of the security exposures of computer networks. In order to detect known web-based attacks, misuse detection systems are ...
143
click to vote
ICC
2008
IEEE
15 years 10 months ago
2008
IEEE
— A multiple transmit antenna, single receive antenna (per receiver) downlink channel with limited channel feedback is considered. Given a constraint on the total system-wide cha...
147
click to vote
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— We consider a MIMO line of sight (LOS) broadcast channel where each user has perfect knowledge of its own channel and feeds back ‘quantized’ channel information to the tran...