|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 40 occurrences of 35 keywords
|
|
|
Results
Found 69 publication records. Showing 69 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
74 | Antonio J. Nebro, Enrique Alba 0001, Guillermo Molina, Francisco Chicano, Francisco Luna 0001, Juan José Durillo |
Optimal antenna placement using a new multi-objective chc algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2007, Proceedings, London, England, UK, July 7-11, 2007, pp. 876-883, 2007, ACM, 978-1-59593-697-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
CHC, radio network design, multi-objective optimization |
61 | José A. Gámez 0001, Juan L. Mateo, José Miguel Puerta |
A Fast Hill-Climbing Algorithm for Bayesian Networks Structure Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings, pp. 585-597, 2007, Springer, 978-3-540-75255-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
61 | Lourdes Araujo, Gabriel Luque, Enrique Alba 0001 |
Metaheuristics for Natural Language Tagging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (1) ![In: Genetic and Evolutionary Computation - GECCO 2004, Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings, Part I, pp. 889-900, 2004, Springer, 3-540-22344-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
53 | Elisabet Parras-Gutierrez, María José del Jesus, Juan Julián Merelo Guervós, Víctor M. Rivas |
A Symbiotic CHC Co-evolutionary Algorithm for Automatic RBF Neural Networks Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCAI ![In: International Symposium on Distributed Computing and Artificial Intelligence, DCAI 2008, University of Salamanca, Spain, 22th-24th October 2008, pp. 663-671, 2008, Springer, 978-3-540-85862-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
CHC algorithm, neural networks, evolutionary algorithms, parameter estimation, co-evolution |
48 | Miguel A. Vega-Rodríguez, Juan Antonio Gómez Pulido, Enrique Alba 0001, David Vega-Pérez, Silvio Priem-Mendes, Guillermo Molina |
Evaluation of Different Metaheuristics Solving the RND Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EvoWorkshops ![In: Applications of Evolutinary Computing, EvoWorkshops 2007: EvoCoMnet, EvoFIN, EvoIASP,EvoINTERACTION, EvoMUSART, EvoSTOC and EvoTransLog, Valencia, Spain, April11-13, 2007, Proceedings., pp. 101-110, 2007, Springer, 978-3-540-71804-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
RND, PBIL, CHC, SA, Metaheuristics, Evolutionary Techniques, DE |
48 | Miguel A. Vega-Rodríguez, Juan Antonio Gómez Pulido, Enrique Alba 0001, David Vega-Pérez, Silvio Priem-Mendes, Guillermo Molina |
Using Omnidirectional BTS and Different Evolutionary Approaches to Solve the RND Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST 2007, 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers, pp. 853-860, 2007, Springer, 978-3-540-75866-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Omnidirectional BTS, RND, PBIL, CHC, SA, DE |
46 | Eugene Lin, Dennis Chen, Yuchi Hwang, Ashely Chang, Z. John Gu |
A Prediction Model for the Drug Efficacy of Interferon in CHC Patients Based on SNPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSB ![In: 3rd International IEEE Computer Society Computational Systems Bioinformatics Conference, CSB 2004, Stanford, CA, USA, August 16-19, 2004, pp. 658-659, 2004, IEEE Computer Society, 0-7695-2194-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
46 | Oscar Cordón, Sergio Damas, José Santamaría |
A CHC Evolutionary Algorithm for 3D Image Registration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA ![In: Fuzzy Sets and Systems - IFSA 2003, 10th International Fuzzy Systems Association World Congress, Istanbul, Turkey, June 30 - July 2, 2003, Proceedings, pp. 404-411, 2003, Springer, 3-540-40383-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
40 | Mera Kartika Delimayanti, Fajar Tri Waluyanti, Riandini |
Web-based application of Community Health Center (Puskesmas) for patient electronic medical records. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iiWAS ![In: iiWAS'2009 - The Eleventh International Conference on Information Integration and Web-based Applications and Services, 14-16 December 2009, Kuala Lumpur, Malaysia, pp. 567-571, 2009, ACM, 978-1-60558-660-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
community health center, web-based application, recording, reporting, medical record |
40 | Susan Wiedenbeck, Jim Waters, Leonardo Sobrado, Jean-Camille Birget |
Design and evaluation of a shoulder-surfing resistant graphical password scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVI ![In: Proceedings of the working conference on Advanced visual interfaces, AVI 2006, Venezia, Italy, May 23-26, 2006, pp. 177-184, 2006, ACM Press, 1-59593-353-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
convex hull click scheme, authentication, usable security, graphical passwords, shoulder-surfing, password security |
28 | Deon Garrett, Joseph Vannucci, Rodrigo Silva-Lugo, Dipankar Dasgupta, James Simien |
Genetic algorithms for the sailor assignment problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2005, Proceedings, Washington DC, USA, June 25-29, 2005, pp. 1921-1928, 2005, ACM, 1-59593-010-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
CHC, genetic algorithms, assignment problem |
27 | Elisabet Parras-Gutierrez, Víctor M. Rivas, María José del Jesus, Juan Julián Merelo Guervós |
Designing Radial Basis Function Neural Networks with Meta-Evolutionary Algorithms: The Effect of Chromosome Codification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (2) ![In: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living, 10th International Work-Conference on Artificial Neural Networks, IWANN 2009 Workshops, Salamanca, Spain, June 10-12, 2009. Proceedings, Part II, pp. 37-40, 2009, Springer, 978-3-642-02480-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
evolutionary meta-algorithms, CHC algorithm, chromosome codification, Radial Basis Function Neural Networks |
27 | Bob Ward |
Computer Society Magazines Set Coverage for 2006. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 38(11), pp. 81-86, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Eckert-Mauchly Award, CHC 60, Computer History Competition 60, IEEE Computer Society, IEEE Computer Society, Awards |
26 | Shachar Itzhaky, Sharon Shoham, Yakir Vizel |
Hyperproperty Verification as CHC Satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP (2) ![In: Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II, pp. 212-241, 2024, Springer, 978-3-031-57266-1. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
26 | Yu Gu 0022, Takeshi Tsukada, Hiroshi Unno 0001 |
Optimal CHC Solving via Termination Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(POPL), pp. 604-631, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Shachar Itzhaky, Sharon Shoham, Yakir Vizel |
Hyperproperty Verification as CHC Satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.12588, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Ziyan Luo, Xujie Si |
Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.01206, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Anzhela Sukhanova, Valentyn Sobol |
HornFuzz: Fuzzing CHC solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.04281, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Xuemei Wu, Jie He, Qionghao Huang, Changqin Huang, Jia Zhu 0003, Xiaodi Huang, Hamido Fujita |
FER-CHC: Facial expression recognition with cross-hierarchy contrast. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Soft Comput. ![In: Appl. Soft Comput. 145, pp. 110530, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Rodrigo Otoni, Martin Blicha, Patrick Eugster, Natasha Sharygina |
CHC Model Validation with Proof Guarantees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iFM ![In: iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings, pp. 62-81, 2023, Springer, 978-3-031-47704-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Anzhela Sukhanova, Valentyn Sobol |
HornFuzz: Fuzzing CHC solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EASE ![In: Proceedings of the 27th International Conference on Evaluation and Assessment in Software Engineering, EASE 2023, Oulu, Finland, June 14-16, 2023, pp. 83-92, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Emanuele De Angelis, Hari Govind V. K. |
CHC-COMP 2022: Competition Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCVS/VPT@ETAPS ![In: Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation, HCVS/VPT@ETAPS 2022, and 10th International Workshop on Verification and Program TransformationMunich, Germany, 3rd April 2022., pp. 44-62, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Grigory Fedyukovich, Philipp Rümmer |
Competition Report: CHC-COMP-21. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCVS@ETAPS ![In: Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2021, Virtual, 28th March 2021., pp. 91-108, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Takumi Shimoda, Naoki Kobayashi 0001, Ken Sakayori, Ryosuke Sato 0001 |
Symbolic Automatic Relations and Their Applications to SMT and CHC Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2108.07642, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
26 | Yusuke Matsushita 0002, Takeshi Tsukada, Naoki Kobayashi 0001 |
RustHorn: CHC-based Verification for Rust Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 43(4), pp. 15:1-15:54, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Takumi Shimoda, Naoki Kobayashi 0001, Ken Sakayori, Ryosuke Sato 0001 |
Symbolic Automatic Relations and Their Applications to SMT and CHC Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings, pp. 405-428, 2021, Springer, 978-3-030-88805-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Philipp Rümmer |
Competition Report: CHC-COMP-20. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VPT/HCVS@ETAPS ![In: Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis, VPT/HCVS@ETAPS 2020, Dublin, Ireland, 25-26th April 2020., pp. 197-219, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Yusuke Matsushita 0002, Takeshi Tsukada, Naoki Kobayashi 0001 |
RustHorn: CHC-based Verification for Rust Programs (full version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.09002, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
26 | Yusuke Matsushita 0002, Takeshi Tsukada, Naoki Kobayashi 0001 |
RustHorn: CHC-Based Verification for Rust Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, pp. 484-514, 2020, Springer, 978-3-030-44913-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski |
Ultimate TreeAutomizer (CHC-COMP Tool Description). ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCVS/PERR@ETAPS ![In: Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning, HCVS/PERR@ETAPS 2019, Prague, Czech Republic, 6-7th April 2019., pp. 42-47, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | He Zhu 0001, Stephen Magill, Suresh Jagannathan |
A data-driven CHC solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018, Philadelphia, PA, USA, June 18-22, 2018, pp. 707-721, 2018, ACM, 978-1-4503-5698-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | D. Tayachi, N. Zaddem |
An Iterated Local Search ILS-CHC for the Maximum Vertex-Weighted Clique Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoDIT ![In: 5th International Conference on Control, Decision and Information Technologies, CoDIT 2018, Thessaloniki, Greece, April 10-13, 2018, pp. 555-562, 2018, IEEE, 978-1-5386-5065-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Javier Diaz-Fortuny, Javier Martín-Martínez, Rosana Rodríguez, Montserrat Nafría, Rafael Castro-López, Elisenda Roca, Francisco V. Fernández 0001, Enrique Barajas, Xavier Aragonès, Diego Mateo |
A transistor array chip for the statistical characterization of process variability, RTN and BTI/CHC aging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMACD ![In: 14th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design, SMACD 2017, Giardini Naxos, Italy, June 12-15, 2017, pp. 1-4, 2017, IEEE, 978-1-5090-5052-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Ryutaro Ichise |
An Analysis of the CHC Model for Comparing Cognitive Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BICA ![In: 7th Annual International Conference on Biologically Inspired Cognitive Architectures, BICA 2016, July 16-19, 2016, New York City, NY, USA, pp. 239-244, 2016, Elsevier. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Oliver Mattausch, Jirí Bittner, Alberto Jaspe, Enrico Gobbetti, Michael Wimmer 0001, Renato Pajarola |
CHC+RT: Coherent Hierarchical Culling for Ray Tracing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Graph. Forum ![In: Comput. Graph. Forum 34(2), pp. 537-548, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Liping Zhang, Weiqin Tong, Shengpeng Lu |
Task scheduling of cloud computing based on Improved CHC algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAILP ![In: International Conference on Audio, Language and Image Processing, ICAILP 2014, Shanghai, China, July 7-9, 2014, pp. 574-577, 2014, IEEE, 978-1-4799-3902-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Martha Mendoza, Carlos Alberto Cobos Lozada, Elizabeth León-Guzmán, Manuel Lozano 0001, Francisco J. Rodríguez 0003, Enrique Herrera-Viedma |
A New Memetic Algorithm for Multi-document Summarization Based on CHC Algorithm and Greedy Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI (1) ![In: Human-Inspired Computing and Its Applications - 13th Mexican International Conference on Artificial Intelligence, MICAI 2014, Tuxtla Gutiérrez, Mexico, November 16-22, 2014. Proceedings, Part I, pp. 125-138, 2014, Springer, 978-3-319-13646-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Luis Adrian Urtubey, Alba Massolo |
Applying CHC Models to Reasoning in Fictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPMU (2) ![In: Information Processing and Management of Uncertainty in Knowledge-Based Systems - 15th International Conference, IPMU 2014, Montpellier, France, July 15-19, 2014, Proceedings, Part II, pp. 526-535, 2014, Springer, 978-3-319-08854-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Jacinto Arias, José A. Gámez 0001, José Miguel Puerta |
Learning more Accurate Bayesian Networks in the CHC Approach by Adjusting the Trade-Off between Efficiency and Accuracy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAEPIA ![In: Advances in Artificial Intelligence - 15th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2013, Madrid, Spain, September 17-20, 2013. Proceedings, pp. 310-320, 2013, Springer, 978-3-642-40642-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | José A. Gámez 0001, Juan L. Mateo, José Miguel Puerta |
One iteration CHC algorithm for learning Bayesian networks: an effective and efficient algorithm for high dimensional problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Prog. Artif. Intell. ![In: Prog. Artif. Intell. 1(4), pp. 329-346, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Jesús Marín, Daniel Molina, Francisco Herrera |
Modeling dynamics of a real-coded CHC algorithm in terms of dynamical probability distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 16(2), pp. 331-351, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Nuria Ayala, Javier Martín-Martínez, Rosana Rodríguez, M. B. González, Montserrat Nafría, Xavier Aymerich, Eddy Simoen |
Characterization and SPICE modeling of the CHC related time-dependent variability in strained and unstrained pMOSFETs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. Reliab. ![In: Microelectron. Reliab. 52(9-10), pp. 1924-1927, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Sergio Nesmachnow, Enrique Alba 0001, Héctor Cancela 0001 |
Scheduling in Heterogeneous Computing and Grid Environments Using a Parallel CHC Evolutionary Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Intell. ![In: Comput. Intell. 28(2), pp. 131-155, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Javier Matos, Enrique Alba 0001 |
Benchmarking CHC on a New Application: The Software Project Scheduling Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSN (2) ![In: Parallel Problem Solving from Nature - PPSN XII - 12th International Conference, Taormina, Italy, September 1-5, 2012, Proceedings, Part II, pp. 448-457, 2012, Springer, 978-3-642-32963-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Patryk Filipiak, Piotr Lipinski |
Parallel CHC Algorithm for Solving Dynamic Traveling Salesman Problem Using Many-Core GPU. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence: Methodology, Systems, and Applications - 15th International Conference, AIMSA 2012, Varna, Bulgaria, September 12-15, 2012. Proceedings, pp. 305-314, 2012, Springer, 978-3-642-33184-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Enrique Yeguas, Robert Joan-Arinyo, María Victoria Luzón |
Modeling the Performance of Evolutionary Algorithms on the Root Identification Problem: A Case Study with PBIL and CHC Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Evol. Comput. ![In: Evol. Comput. 19(1), pp. 107-135, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Wenjun Xiao, Qin Zhang 0013, Yanxia Liu, Lan Li, Weidong Chen 0009 |
CHC: A Robust P2P Overlay Network with Simple Routing and Small-World Features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Networks ![In: J. Networks 6(8), pp. 1179-1186, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Robert Joan-Arinyo, María Victoria Luzón, Enrique Yeguas |
Parameter tuning of PBIL and CHC evolutionary algorithms applied to solve the Root Identification Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Soft Comput. ![In: Appl. Soft Comput. 11(1), pp. 754-767, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Sergio Nesmachnow, Santiago Iturriaga |
Multiobjective Scheduling on Distributed Heterogeneous Computing and Grid Environments Using a Parallel Micro-CHC Evolutionary Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
3PGCIC ![In: 2011 International Conference on P2P, Parallel, Grid, Cloud and Internet Computing, 3PGCIC 2011, Barcelona, Catalonia, Spain, October 26-28, 2011, pp. 134-141, 2011, IEEE Computer Society, 978-1-4577-1448-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Anabela Simões, Ernesto Costa |
CHC-Based Algorithms for the Dynamic Traveling Salesman Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EvoApplications (1) ![In: Applications of Evolutionary Computation - EvoApplications 2011: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Torino, Italy, April 27-29, 2011, Proceedings, Part I, pp. 354-363, 2011, Springer, 978-3-642-20524-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Anabela Simões, Ernesto Costa |
Memory-based CHC algorithms for the dynamic traveling salesman problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: 13th Annual Genetic and Evolutionary Computation Conference, GECCO 2011, Proceedings, Dublin, Ireland, July 12-16, 2011, pp. 1037-1044, 2011, ACM, 978-1-4503-0557-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Akimoto Kamiya, Kazuya Abiko, Shigenobu Kobayashi |
Discussions of worker ants' rule-based CHC dealing with changing environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Soft Comput. ![In: Appl. Soft Comput. 10(1), pp. 245-250, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Martin Bilbao, Enrique Alba 0001 |
CHC and SA applied to wind energy optimization using real data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2010, Barcelona, Spain, 18-23 July 2010, pp. 1-8, 2010, IEEE, 978-1-4244-6909-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Siwoo Byun, Moonhaeng Huh |
An index management using CHC-cluster for flash memory databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 82(5), pp. 825-835, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Oliver Mattausch, Jirí Bittner, Michael Wimmer 0001 |
CHC++: Coherent Hierarchical Culling Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Graph. Forum ![In: Comput. Graph. Forum 27(2), pp. 221-230, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Daowen Qiu |
A note on Trillas' CHC models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 171(4), pp. 239-254, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Oscar Cordón, Sergio Damas, José Santamaría |
Feature-based image registration by means of the CHC evolutionary algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Image Vis. Comput. ![In: Image Vis. Comput. 24(5), pp. 525-533, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | L. Darrell Whitley, Monte Lunacek, Artem Sokolov |
Comparing the Niches of CMA-ES, CHC and Pattern Search Using Diverse Benchmarks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSN ![In: Parallel Problem Solving from Nature - PPSN IX, 9th International Conference, Reykjavik, Iceland, September 9-13, 2006, Procedings, pp. 988-997, 2006, Springer, 3-540-38990-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | María Victoria Luzón, Enrique Barreiro, Enrique Yeguas, Robert Joan-Arinyo |
GA and CHC. Two Evolutionary Algorithms to Solve the Root Identification Problem in Geometric Constraint Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science ![In: Computational Science - ICCS 2004, 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part IV, pp. 139-146, 2004, Springer, 3-540-22129-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Larry J. Eshelman |
The CHC Adaptive Search Algorithm: How to Have Safe Search When Engaging in Nontraditional Genetic Recombination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOGA ![In: Proceedings of the First Workshop on Foundations of Genetic Algorithms. Bloomington Campus, Indiana, USA, July 15-18 1990., pp. 265-283, 1990, Morgan Kaufmann, 978-1-55860-170-3. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
20 | Nicolás García-Pedrajas, Colin Fyfe |
Evolving Output Codes for Multiclass Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Evol. Comput. ![In: IEEE Trans. Evol. Comput. 12(1), pp. 93-106, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Carlos M. Fernandes 0001, Agostinho C. Rosa |
Self-adjusting the intensity of assortative mating in genetic algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 12(10), pp. 955-979, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Assortative mating, Dissortative mating, Genetic diversity, Genetic algorithms, Self-regulation |
20 | Heike Sichtig, J. David Schaffer, Craig B. Laramee |
SSNNS -: a suite of tools to explore spiking neural networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (Companion) ![In: Genetic and Evolutionary Computation Conference, GECCO 2008, Proceedings, Atlanta, GA, USA, July 12-16, 2008, Companion Material, pp. 1787-1790, 2008, ACM, 978-1-60558-131-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
temporal pattern recognition, genetic algorithms, machine learning, complexity, learning, spiking neural networks |
20 | Guoqing Zhou 0002, Taebo Shim |
Adaptive Transmission Technique in Underwater Acoustic Wireless Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICES ![In: Evolvable Systems: From Biology to Hardware, 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007, Proceedings, pp. 268-276, 2007, Springer, 978-3-540-74625-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Underwater Acoustic Channel Capacity, Adaptive Transmission Technique, Sloping Condition, Rayleigh Fading |
20 | Manuel Clavel, Francisco Durán 0001, Joe Hendrix, Salvador Lucas, José Meseguer 0001, Peter Csaba Ölveczky |
The Maude Formal Tool Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings, pp. 173-178, 2007, Springer, 978-3-540-73857-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Carlos M. Fernandes 0001, Agostinho C. Rosa |
Self-regulated Population Size in Evolutionary Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSN ![In: Parallel Problem Solving from Nature - PPSN IX, 9th International Conference, Reykjavik, Iceland, September 9-13, 2006, Procedings, pp. 920-929, 2006, Springer, 3-540-38990-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Hanli Zhao, Xiaogang Jin 0001, Jianbing Shen |
Simple and Fast Terrain Rendering Using Graphics Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAT ![In: Advances in Artificial Reality and Tele-Existence, 16th International Conference on Artificial Reality and Telexistence, ICAT 2006, Hangzhou, China, November 29 - December 1, 2006, Proceedings, pp. 715-723, 2006, Springer, 3-540-49776-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
GPU, level of detail, Real-time rendering, occlusion culling |
20 | Enrique Alba 0001, Guillermo Molina, J. Francisco Chicano |
Optimal Placement of Antennae Using Metaheuristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Methods and Applications ![In: Numerical Methods and Applications, 6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006. Revised Papers, pp. 214-222, 2006, Springer, 978-3-540-70940-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Monte Lunacek, L. Darrell Whitley, James N. Knight |
Measuring mobility and the performance of global search algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2005, Proceedings, Washington DC, USA, June 25-29, 2005, pp. 1209-1216, 2005, ACM, 1-59593-010-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
mobility, evolutionary algorithms, global search |
Displaying result #1 - #69 of 69 (100 per page; Change: )
|
|