Sciweavers

5606 search results - page 605 / 1122
» Randomization Techniques for Graphs.
Sort
View
168
Voted
ESM
2000
15 years 8 months ago
Wide area network module - for FDT based simulation of multicast communication protocols
The framework of this paper is the design of complex communication protocols by simulation, based on formal description techniques (FDT). We propose a general-purpose scalable mod...
Eugen Borcoci, Stanislaw Budkowski
222
Voted
GLOBECOM
2007
IEEE
15 years 7 months ago
A Gray-Code Type Bit Assignment Algorithm for Unitary Space-Time Constellations
Abstract— Many techniques for constructing unitary spacetime constellations have been proposed. To minimize bit-error rate (BER) in a wireless communication system, constellation...
Adam Panagos, Kurt L. Kosbar
CCR
2002
105views more  CCR 2002»
15 years 6 months ago
Adaptive packet sampling for flow volume measurement
Traffic measurement and monitoring are an important component of network management and traffic engineering. With high-speed Internet backbone links, efficient and effective packe...
Baek-Young Choi, Jaesung Park, Zhi-Li Zhang
PAMI
1998
124views more  PAMI 1998»
15 years 6 months ago
Robust Adaptive Segmentation of Range Images
—We propose a novel image segmentation technique using the robust, adaptive least kth order squares (ALKS) estimator which minimizes the kth order statistics of the squared of re...
Kil-Moo Lee, Peter Meer, Rae-Hong Park
PTS
2010
175views Hardware» more  PTS 2010»
15 years 5 months ago
Test Data Generation for Programs with Quantified First-Order Logic Specifications
We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...
Christoph Gladisch