1716 search results - page 212 / 344 » Proving Conditional Termination |
134
Voted
ADC
2008
Springer
15 years 7 months ago
2008
Springer
Existing graph mining algorithms typically assume that the dataset can fit into main memory. As many large graph datasets cannot satisfy this condition, truly scalable graph minin...
117
Voted
FOCI
2007
IEEE
15 years 7 months ago
2007
IEEE
Immune Algorithms have been used widely and successfully in many computational intelligence areas including optimization. Given the large number of variants of each operator of thi...
90
Voted
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
— In orthogonal frequency-division multiplex access (OFDMA) systems, including uplink and downlink, the carrierfrequency offset (CFO) between the multiple transceivers introduces...
95
Voted
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
— In this paper, we extend the optimal worst-case QoS routing algorithm and metric definition given in [1]. We prove that in addition to the q-ary symmetric and q-ary erasure ch...
124
Voted
SMC
2007
IEEE
15 years 7 months ago
2007
IEEE
: With the development of enterprise-wide and cross-enterprise application integration and interoperation towards web service, web service providers try to not only fulfill the fun...