— A novel statistical learning algorithm is proposed to accurately analyze volume diagnosis results. This algorithm effectively overcomes the inherent ambiguities in logic diagno...
Huaxing Tang, Manish Sharma, Janusz Rajski, Martin...
Retrieval in a multimedia database usually involves combining information from different modalities of data, such as text and images. However, all modalities of the data may not b...
Abraham Bagherjeiran, Nicole S. Love, Chandrika Ka...
— Range sensors are popular for localization since they directly measure the geometry of the local environment. Another distinct benefit is their typically high accuracy and spa...
Patrick Pfaff, Christian Plagemann, Wolfram Burgar...
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...
tic PHY Abstraction Technique for Link Adaptation and MIMO Switching . . . .Y.-S. Choi and S. M. Alamouti 960 A Novel Approach to MIMO Transmission Using a Single RF Front End . .A...