Sciweavers

1362 search results - page 208 / 273
» Means, Correlations and Bounds
Sort
View
QSHINE
2005
IEEE
15 years 7 months ago
Enhancing the IEEE 802.11e in QoS Support: Analysis and Mechanisms
Despite its support of prioritized services, the IEEE 802.11e Enhanced Distributed Channel Access (EDCA) cannot guarantee strict QoS required by real-time services such as voice a...
Xiang Chen, Hongqiang Zhai, Yuguang Fang
TPHOL
2005
IEEE
15 years 7 months ago
Alpha-Structural Recursion and Induction
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
Andrew M. Pitts
GPCE
2005
Springer
15 years 7 months ago
Implicitly Heterogeneous Multi-stage Programming
Previous work on semantics-based multi-stage programming (MSP) language design focused on homogeneous designs, where the generating and the generated languages are the same. Homoge...
Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, K...
ISAAC
2005
Springer
111views Algorithms» more  ISAAC 2005»
15 years 7 months ago
Smoothed Analysis of Binary Search Trees
Binary search trees are one of the most fundamental data structures. While the height of such a tree may be linear in the worst case, the average height with respect to the uniform...
Bodo Manthey, Rüdiger Reischuk
ISRR
2005
Springer
111views Robotics» more  ISRR 2005»
15 years 6 months ago
Bias Reduction and Filter Convergence for Long Range Stereo
We are concerned here with improving long range stereo by filtering image sequences. Traditionally, measurement errors from stereo camera systems have been approximated as 3-D Gau...
Gabe Sibley, Larry Matthies, Gaurav S. Sukhatme