Sciweavers

12015 search results - page 454 / 2403
» Interactive Algorithms 2005
Sort
View
IWANN
2005
Springer
15 years 10 months ago
Adaptive Power System Stabilizer Using ANFIS and Genetic Algorithms
— This paper presents an adaptive Power System Stabilizer (PSS) using an Adaptive Network Based Fuzzy Inference System (ANFIS) and Genetic Algorithms (GAs). Firstly, genetic algo...
Jesús Fraile-Ardanuy, Pedro J. Zufiria
LPAR
2005
Springer
15 years 10 months ago
Functional Correctness Proofs of Encryption Algorithms
Abstract. We discuss a collection of mechanized formal proofs of symmetric key block encryption algorithms (AES, MARS, Twofish, RC6, Serpent, IDEA, and TEA), performed in an imple...
Jianjun Duan, Joe Hurd, Guodong Li, Scott Owens, K...
NPC
2005
Springer
15 years 10 months ago
A Greedy Algorithm for Capacity-Constrained Surrogate Placement in CDNs
One major factor that heavily affects the performance of a content distribution network (CDN) is placement of the surrogates. Previous works take a network-centric approach and con...
Yifeng Chen, Yanxiang He, Jiannong Cao, Jie Wu
150
Voted
PAKDD
2005
ACM
128views Data Mining» more  PAKDD 2005»
15 years 10 months ago
A Two-Phase Algorithm for Fast Discovery of High Utility Itemsets
Traditional association rules mining cannot meet the demands arising from some real applications. By considering the different values of individual items as utilities, utility mini...
Ying Liu, Wei-keng Liao, Alok N. Choudhary
PDCAT
2005
Springer
15 years 10 months ago
Performance Study of Nonrigid Registration Algorithm for Investigating Lung Disease on Clusters
This paper presents a performance study of a nonrigid registration algorithm for investigating lung disease on clusters. Our algorithm combines two conventional acceleration techn...
Fumihiko Ino, Yuya Tanaka, Kenichi Hagihara, Hirok...