12438 search results - page 204 / 2488 » The Magic of a Number System |
214
click to vote
HYBRID
2003
Springer
16 years 9 days 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...
179
Voted
ERCIMDL
2000
Springer
15 years 10 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...
157
click to vote
CCS
2003
ACM
16 years 10 days 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 ...
206
click to vote
ICC
2008
IEEE
16 years 1 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...
197
Voted
GLOBECOM
2007
IEEE
16 years 1 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...