Sciweavers

4838 search results - page 344 / 968
» Sampling of information goods
Sort
View
ICC
2007
IEEE
16 years 1 months ago
Optical Wireless MIMO (OMIMO) with Backward Spatial Filter (BSF) in Diffuse Channels
Abstract— In this paper, we propose optical wireless multipleinput multiple-output (OMIMO) with backward spatial filter (BSF) in diffuse channels. In the proposed system BSF is ...
Daisuke Takase, Tomoaki Ohtsuki
TAP
2007
Springer
92views Hardware» more  TAP 2007»
16 years 27 days ago
Generating Unit Tests from Formal Proofs
We present a new automatic test generation method for JAVA CARD based on attempts at formal verification of the implementation under test (IUT). Self-contained unit tests in JUnit...
Christian Engel, Reiner Hähnle
ISCAS
2006
IEEE
65views Hardware» more  ISCAS 2006»
16 years 24 days ago
Precoded V-BLAST for ISI MIMO channels
Abstract— The V-BLAST (vertical Bell labs layered spacetime) system is one of the MIMO systems designed to achieve a good multiplexing gain. In the recent literature, a V-BLAST p...
Chun-Yang Chen, P. P. Vaidyanathan
P2P
2006
IEEE
118views Communications» more  P2P 2006»
16 years 24 days ago
Conjunction Dysfunction: The Weakness of Conjunctive Queries in Peer-to-Peer File-sharing Systems
Peers in peer-to-peer file-sharing systems use conjunctive queries as a way of controlling query cost in the absence of information about the behavior of other peers. Conjunctive ...
Wai Gen Yee, Linh Thai Nguyen, Ophir Frieder
CEC
2005
IEEE
16 years 12 days ago
Evolving controllers for simulated car racing
AbstractThis paper describes the evolution of controllers for racing a simulated radio-controlled car around a track, modelled on a real physical track. Five different controller a...
Julius Togelius, Simon M. Lucas