海量图书期刊资源,随时随地畅享阅读乐趣
[Lecture Notes in Computer Science] Constraints in Computational Logics Volume 845 || An efficient algorithm of logic programming with constraint hierarchyJouannaud, Jean-Pierre · 1994
[Lecture Notes in Computer Science] Constraints in Computational Logics Volume 845 || Buchberger's algorithm: A constraint-based completion procedureJouannaud, Jean-Pierre · 1994
[Communications in Computer and Information Science] Data Mining Volume 845 || An Incremental Anytime Algorithm for Mining T-Patterns from Event StreamsBoo, Yee Ling; Stirling, David; Chi, Lianhua; Liu, Lin; Ong, Kok-Leong; Williams, Graham · 2018
[Advances in Intelligent Systems and Computing] Proceedings of the International Conference on Advanced Intelligent Systems and Informatics 2018 Volume 845 || Chaotic Bird Swarm Optimization AlgorithmHassanien, Aboul Ella; Tolba, Mohamed F.; Shaalan, Khaled; Azar, Ahmad Taher · 2019
Stochastic approximation algorithm with function smoothing vs. simulated annealing: M.A.Styblinski and T. - S.Tang Department of Electrical Engineering, Texas A&M University, College Station, TX 77843, (409) 845 75741988
[Advances in Intelligent Systems and Computing] Proceedings of the International Conference on Advanced Intelligent Systems and Informatics 2018 Volume 845 || A Novel Rough Sets Positive Region Based Parallel Multi-reduction AlgorithmHassanien, Aboul Ella; Tolba, Mohamed F.; Shaalan, Khaled; Azar, Ahmad Taher · 2019
MPFRFousse, Laurent; Hanrot, Guillaume; Lefèvre, Vincent; Pélissier, Patrick; Zimmermann, Paul · ACM Transactions on Mathematical Software · 2007
Algorithm 888Drake, John B.; Worley, Pat; D’Azevedo, Eduardo · ACM Transactions on Mathematical Software · 2008
Algorithm 911Smith, David M. · ACM Transactions on Mathematical Software · 2011
Algorithm 910Kormanyos, Christopher · ACM Transactions on Mathematical Software · 2011
Algorithm 925Yamashita, Makoto; Fujisawa, Katsuki; Fukuda, Mituhiro; Nakata, Kazuhide; Nakata, Maho · ACM Transactions on Mathematical Software · 2012
Algorithm 895Backeljauw, Franky; Cuyt, Annie · ACM Transactions on Mathematical Software · 2009
ScaLAPACK's MRRR algorithmVömel, Christof · ACM Transactions on Mathematical Software · 2010
Algorithm 843Driscoll, Tobin A. · ACM Transactions on Mathematical Software · 2005