Sciweavers

550 search results - page 46 / 110
» pairing 2009
Sort
View
RSFDGRC
2009
Springer
119views Data Mining» more  RSFDGRC 2009»
15 years 10 months ago
Interval Set Cluster Analysis: A Re-formulation
A new clustering strategy is proposed based on interval sets, which is an alternative formulation different from the ones used in the existing studies. Instead of using a single s...
Yiyu Yao, Pawan Lingras, Ruizhi Wang, Duoqian Miao
128
Voted
RTA
2009
Springer
15 years 10 months ago
VMTL-A Modular Termination Laboratory
Abstract. The automated analysis of termination of term rewriting systems (TRSs) has drawn a lot of attention in the scientific community during the last decades and many differe...
Felix Schernhammer, Bernhard Gramlich
SARA
2009
Springer
15 years 10 months ago
Modelling Equidistant Frequency Permutation Arrays in Constraints
Equidistant Frequency Permutation Arrays are combinatorial objects of interest in coding theory. A frequency permutation array is a type of constant composition code in which each...
Ian P. Gent, Paul McKay, Ian Miguel, Peter Nightin...
149
Voted
SIGCOMM
2009
ACM
15 years 10 months ago
Interference alignment and cancellation
The throughput of existing MIMO LANs is limited by the number of antennas on the AP. This paper shows how to overcome this limitation. It presents interference alignment and cance...
Shyamnath Gollakota, Samuel David Perli, Dina Kata...
ASPDAC
2009
ACM
144views Hardware» more  ASPDAC 2009»
15 years 8 months ago
Complete-k-distinguishability for retiming and resynthesis equivalence checking without restricting synthesis
Iterative retiming and resynthesis is a powerful way to optimize sequential circuits but its massive adoption has been hampered by the hardness of verification. This paper tackle...
Nikolaos D. Liveris, Hai Zhou, Prithviraj Banerjee