Sciweavers

2392 search results - page 213 / 479
» informs 2000
Sort
View
FOCS
2000
IEEE
15 years 9 months ago
On Clusterings - Good, Bad and Spectral
We motivate and develop a natural bicriteria measure for assessing the quality of a clustering that avoids the drawbacks of existing measures. A simple recursive heuristic is shown...
Ravi Kannan, Santosh Vempala, Adrian Vetta
161
Voted
GLVLSI
2000
IEEE
87views VLSI» more  GLVLSI 2000»
15 years 9 months ago
Speeding up symbolic model checking by accelerating dynamic variable reordering
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
Christoph Meinel, Christian Stangier
ICC
2000
IEEE
157views Communications» more  ICC 2000»
15 years 9 months ago
Adaptive Reliable Multicast
We present a new reliable multicast protocol, called ARM for Adaptive Reliable Multicast. Our protocol integrates ARQ and FEC techniques. The objectives of ARM are (1) reduce the ...
Jaehee Yoon, Azer Bestavros, Ibrahim Matta
146
Voted
ICPR
2000
IEEE
15 years 9 months ago
Geometrically Guided Fuzzy C-Means Clustering for Multivariate Image Segmentation
Fuzzy C-means (FCM) clustering is an unsupervised clustering technique and is often used for the unsupervised segmentation of multivariate images. The segmentation of the image in...
J. C. Noordam, W. H. A. M. Van den Broek, Lutgarde...
132
Voted
ICRA
2000
IEEE
144views Robotics» more  ICRA 2000»
15 years 9 months ago
Automatic Identification of Local Geometric Properties During Teleoperation
During teleoperation, a human operator often receives only 2-D visual feedback from the remote environment. While a variety of kinematic sensors exist on the remote manipulator fo...
Thomas Debus, Pierre E. Dupont, Robert D. Howe