83 articles for “Hybrid Algorithms”

Research ArticleOpen accessAll words, across the recordUsing Hyper Clustering Algorithms in Mobile Network PlanningLamiaa Fattouh Ibrahim, Hesham A. SalmanProblem statement: As a large amount of data stored in spatial databases, people may like to find groups of data which share similar features. Thus cluster analysis becomes an important area of research in data mining. Applications of clustering analysis have been utilized in many fields, such as when we search to construct a cluster served by base station in … …American Journal of Applied Sciences, Vol. 8, Issue 10 · 30 Aug 2011 · 7,504 accessesView PDF Cite

Research ArticleOpen accessAll words, across the recordOn The Integration of Decision Diagrams in High Order Logic Based Theorem Provers: a SurveySa'ed Abed, Otmane Ait Mohamed, Ghiath Al SammaneThis survey discuss approaches that integrate Decision Diagrams inside High Order Logic based Theorem provers. The approaches can be divided in two kinds, one is based on building a translation between model checker and theorem prover, the second is based on embedding the model checker algorithms inside the theorem prover. A comparison between both is discussed in detail. The paper … …Journal of Computer Science, Vol. 3, Issue 10 · 31 Oct 2007 · 6,980 accessesView PDF Cite

Research ArticleOpen accessAll words, across the recordExploring Strategies for Parallel Computing of RS Data Assimilation with SWAP-GAShamim Akhter, Kiyoshi Honda, Yann Chemin, Putchong UthayopasAn agro-hydrological simulation model is useful for agriculture monitoring. One issue in running such model is parameter identification, especially when the target area is large such as provincial or country level. Remote Sensing (RS) provides us with useful information over large area. RS cannot observe input parameters of agro-hydrological models directly. However, a method to estimate input parameters of such … …Journal of Computer Science, Vol. 3, Issue 1 · 31 Jan 2007 · 7,209 accessesView PDF Cite