Sciweavers

17049 search results - page 340 / 3410
» cans 2007
Sort
View
ICC
2007
IEEE
105views Communications» more  ICC 2007»
16 years 1 months ago
VoIP Capacity over Multiple IEEE 802.11 WLANs
– It is well known that IEEE 802.11 WLAN is highly inefficient for transporting voice data. For example, if one simply takes the data rate of 802.11b, 11Mbps, and divide it by tw...
An Chan, Soung Chang Liew
ICC
2007
IEEE
121views Communications» more  ICC 2007»
16 years 1 months ago
On the Expected Complexity Analysis of a Generalized Sphere Decoding Algorithm for Underdetermined Linear Communication Systems
This paper presents an analytical approach to evaluate the expected complexity of a generalized sphere decoding (GSD) algorithm, GSDλ − , for underdetermined integer leastsquare...
Ping Wang, Tho Le-Ngoc
GI
2007
Springer
16 years 28 days ago
An Integrated Rule Modeling Framework
Abstract: This paper introduces an Integrated Rule Modeling Framework, which consists of the UML-based rule modeling tool Strelka, rule interchange format R2ML and a number of serv...
Sergey Lukichev, Adrian Giurca, Gerd Wagner
ICML
2007
IEEE
16 years 7 months ago
Sample compression bounds for decision trees
We propose a formulation of the Decision Tree learning algorithm in the Compression settings and derive tight generalization error bounds. In particular, we propose Sample Compres...
Mohak Shah
CADE
2007
Springer
16 years 7 months ago
System for Automated Deduction (SAD): A Tool for Proof Verification
In this paper, a proof assistant, called SAD, is presented. SAD deals with mathematical texts that are formalized in the ForTheL language (brief description of which is also given)...
Konstantin Verchinine, Alexander V. Lyaletski, And...