Search results for "CHC"

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.	GECCO	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.	ECSQARU	2007	DBLP DOI BibTeX RDF
61	Lourdes Araujo, Gabriel Luque, Enrique Alba 0001	Metaheuristics for Natural Language Tagging.	GECCO (1)	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.	DCAI	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.	EvoWorkshops	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.	EUROCAST	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.	CSB	2004	DBLP DOI BibTeX RDF
46	Oscar Cordón, Sergio Damas, José Santamaría	A CHC Evolutionary Algorithm for 3D Image Registration.	IFSA	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.	iiWAS	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.	AVI	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.	GECCO	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.	IWANN (2)	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.	Computer	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.	ESOP (2)	2024	DBLP DOI BibTeX RDF
26	Yu Gu 0022, Takeshi Tsukada, Hiroshi Unno 0001	Optimal CHC Solving via Termination Proofs.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
26	Shachar Itzhaky, Sharon Shoham, Yakir Vizel	Hyperproperty Verification as CHC Satisfiability.	CoRR	2023	DBLP DOI BibTeX RDF
26	Ziyan Luo, Xujie Si	Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning.	CoRR	2023	DBLP DOI BibTeX RDF
26	Anzhela Sukhanova, Valentyn Sobol	HornFuzz: Fuzzing CHC solvers.	CoRR	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.	Appl. Soft Comput.	2023	DBLP DOI BibTeX RDF
26	Rodrigo Otoni, Martin Blicha, Patrick Eugster, Natasha Sharygina	CHC Model Validation with Proof Guarantees.	iFM	2023	DBLP DOI BibTeX RDF
26	Anzhela Sukhanova, Valentyn Sobol	HornFuzz: Fuzzing CHC solvers.	EASE	2023	DBLP DOI BibTeX RDF
26	Emanuele De Angelis, Hari Govind V. K.	CHC-COMP 2022: Competition Report.	HCVS/VPT@ETAPS	2022	DBLP DOI BibTeX RDF
26	Grigory Fedyukovich, Philipp Rümmer	Competition Report: CHC-COMP-21.	HCVS@ETAPS	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.	CoRR	2021	DBLP BibTeX RDF
26	Yusuke Matsushita 0002, Takeshi Tsukada, Naoki Kobayashi 0001	RustHorn: CHC-based Verification for Rust Programs.	ACM Trans. Program. Lang. Syst.	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.	SAS	2021	DBLP DOI BibTeX RDF
26	Philipp Rümmer	Competition Report: CHC-COMP-20.	VPT/HCVS@ETAPS	2020	DBLP DOI BibTeX RDF
26	Yusuke Matsushita 0002, Takeshi Tsukada, Naoki Kobayashi 0001	RustHorn: CHC-based Verification for Rust Programs (full version).	CoRR	2020	DBLP BibTeX RDF
26	Yusuke Matsushita 0002, Takeshi Tsukada, Naoki Kobayashi 0001	RustHorn: CHC-Based Verification for Rust Programs.	ESOP	2020	DBLP DOI BibTeX RDF
26	Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski	Ultimate TreeAutomizer (CHC-COMP Tool Description).	HCVS/PERR@ETAPS	2019	DBLP DOI BibTeX RDF
26	He Zhu 0001, Stephen Magill, Suresh Jagannathan	A data-driven CHC solver.	PLDI	2018	DBLP DOI BibTeX RDF
26	D. Tayachi, N. Zaddem	An Iterated Local Search ILS-CHC for the Maximum Vertex-Weighted Clique Problem.	CoDIT	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.	SMACD	2017	DBLP DOI BibTeX RDF
26	Ryutaro Ichise	An Analysis of the CHC Model for Comparing Cognitive Architectures.	BICA	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.	Comput. Graph. Forum	2015	DBLP DOI BibTeX RDF
26	Liping Zhang, Weiqin Tong, Shengpeng Lu	Task scheduling of cloud computing based on Improved CHC algorithm.	ICAILP	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.	MICAI (1)	2014	DBLP DOI BibTeX RDF
26	Luis Adrian Urtubey, Alba Massolo	Applying CHC Models to Reasoning in Fictions.	IPMU (2)	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.	CAEPIA	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.	Prog. Artif. Intell.	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.	Soft Comput.	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.	Microelectron. Reliab.	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.	Comput. Intell.	2012	DBLP DOI BibTeX RDF
26	Javier Matos, Enrique Alba 0001	Benchmarking CHC on a New Application: The Software Project Scheduling Problem.	PPSN (2)	2012	DBLP DOI BibTeX RDF
26	Patryk Filipiak, Piotr Lipinski	Parallel CHC Algorithm for Solving Dynamic Traveling Salesman Problem Using Many-Core GPU.	AIMSA	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.	Evol. Comput.	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.	J. Networks	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.	Appl. Soft Comput.	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.	3PGCIC	2011	DBLP DOI BibTeX RDF
26	Anabela Simões, Ernesto Costa	CHC-Based Algorithms for the Dynamic Traveling Salesman Problem.	EvoApplications (1)	2011	DBLP DOI BibTeX RDF
26	Anabela Simões, Ernesto Costa	Memory-based CHC algorithms for the dynamic traveling salesman problem.	GECCO	2011	DBLP DOI BibTeX RDF
26	Akimoto Kamiya, Kazuya Abiko, Shigenobu Kobayashi	Discussions of worker ants' rule-based CHC dealing with changing environments.	Appl. Soft Comput.	2010	DBLP DOI BibTeX RDF
26	Martin Bilbao, Enrique Alba 0001	CHC and SA applied to wind energy optimization using real data.	IEEE Congress on Evolutionary Computation	2010	DBLP DOI BibTeX RDF
26	Siwoo Byun, Moonhaeng Huh	An index management using CHC-cluster for flash memory databases.	J. Syst. Softw.	2009	DBLP DOI BibTeX RDF
26	Oliver Mattausch, Jirí Bittner, Michael Wimmer 0001	CHC++: Coherent Hierarchical Culling Revisited.	Comput. Graph. Forum	2008	DBLP DOI BibTeX RDF
26	Daowen Qiu	A note on Trillas' CHC models.	Artif. Intell.	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.	Image Vis. Comput.	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.	PPSN	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.	International Conference on Computational Science	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.	FOGA	1990	DBLP DOI BibTeX RDF
20	Nicolás García-Pedrajas, Colin Fyfe	Evolving Output Codes for Multiclass Problems.	IEEE Trans. Evol. Comput.	2008	DBLP DOI BibTeX RDF
20	Carlos M. Fernandes 0001, Agostinho C. Rosa	Self-adjusting the intensity of assortative mating in genetic algorithms.	Soft Comput.	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.	GECCO (Companion)	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.	ICES	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.	CALCO	2007	DBLP DOI BibTeX RDF
20	Carlos M. Fernandes 0001, Agostinho C. Rosa	Self-regulated Population Size in Evolutionary Algorithms.	PPSN	2006	DBLP DOI BibTeX RDF
20	Hanli Zhao, Xiaogang Jin 0001, Jianbing Shen	Simple and Fast Terrain Rendering Using Graphics Hardware.	ICAT	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.	Numerical Methods and Applications	2006	DBLP DOI BibTeX RDF
20	Monte Lunacek, L. Darrell Whitley, James N. Knight	Measuring mobility and the performance of global search algorithms.	GECCO	2005	DBLP DOI BibTeX RDF	mobility, evolutionary algorithms, global search