Kiyoshi Akama - RankMe

115 papers A* 1A 6B 14C 19Misc 12Journal 25Unranked 34

Year	Rank	Type	Title / Venue / Authors
2019	C	`conf`	Inventing ET Rules to Improve an MI Solver on KR-logic. KEOD Tadayuki Yoshida, Ekawit Nantajeewarawat, Masaharu Munetomo, Kiyoshi Akama
2019	C	`conf`	Logical Approach to Theorem Proving with Term Rewriting on KR-logic. KEOD Tadayuki Yoshida, Ekawit Nantajeewarawat, Masaharu Munetomo, Kiyoshi Akama
2019	—	`conf`	Logical Problem Solving Framework. ACIIDS (1) Kiyoshi Akama, Ekawit Nantajeewarawat, Taketo Akama
2019	—	`conf`	Term Rewriting that Preserves Models in KR-Logic. ACIIDS (1) Kiyoshi Akama, Ekawit Nantajeewarawat, Taketo Akama
2018	C	`conf`	Computation Control by Prioritized ET Rules. KEOD Kiyoshi Akama, Ekawit Nantajeewarawat, Taketo Akama
2018	C	`conf`	Side-Change Transformation. KEOD Kiyoshi Akama, Ekawit Nantajeewarawat, Taketo Akama
2018	—	`conf`	Solving Query-Answering Problems with Constraints for Function Variables. ACIIDS (1) Kiyoshi Akama, Ekawit Nantajeewarawat
2016	C	`conf`	Model-Intersection Problems with Existentially Quantified Function Variables: Formalization and a Solution Schema. KEOD Kiyoshi Akama, Ekawit Nantajeewarawat
2016	C	`conf`	Unfolding Existentially Quantified Sets of Extended Clauses. KEOD Kiyoshi Akama, Ekawit Nantajeewarawat
2015	C	`conf`	A General Schema for Solving Model-Intersection Problems on a Specialization System by Equivalent Transformation. KEOD Kiyoshi Akama, Ekawit Nantajeewarawat
2015	C	`conf`	Function-variable Elimination and Its Limitations. KEOD Kiyoshi Akama, Ekawit Nantajeewarawat
2015	C	`conf`	Model-Intersection Problems and Their Solution Schema Based on Equivalent Transformation. IC3K Kiyoshi Akama, Ekawit Nantajeewarawat
2014	—	`conf`	Equivalent Transformation in an Extended Space for Solving Query-Answering Problems. ACIIDS (1) Kiyoshi Akama, Ekawit Nantajeewarawat
2014	C	`conf`	Solving Query-answering Problems with If-and-Only-If Formulas. KEOD Kiyoshi Akama, Ekawit Nantajeewarawat
2013	—	`conf`	An ET-Based Low-Level Solution for Query-Answering Problems. MIWAI Kiyoshi Akama, Ekawit Nantajeewarawat
2013	J	`jnl`	An adaptive parameter binary-real coded genetic algorithm for constraint optimization problems: Performance analysis and estimation of optimal control parameters. Inf. Sci. Omar Arif Abdul-Rahman, Masaharu Munetomo, Kiyoshi Akama
2013	—	`conf`	Correctness of Solving Query-Answering Problems Using Satisfiability Solvers. ACIIDS (1) Kiyoshi Akama, Ekawit Nantajeewarawat
2013	C	`conf`	Embedding Proof Problems into Query-answering Problems and Problem Solving by Equivalent Transformation. KEOD Kiyoshi Akama, Ekawit Nantajeewarawat
2013	C	`conf`	Integration of and a Solution for Proof Problems and Query-Answering Problems. IC3K Kiyoshi Akama, Ekawit Nantajeewarawat
2013	—	`ch.`	arGA: Adaptive Resolution Micro-genetic Algorithm with Tabu Search to Solve MINLP Problems Using GPU. Massively Parallel Evolutionary Computation on GPGPUs Asim Munawar, Mohamed Wahib, Masaharu Munetomo, Kiyoshi Akama
2012	—	`conf`	A Delayed Splitting Bottom-Up Procedure for Model Generation. Australasian Conference on Artificial Intelligence Kiyoshi Akama, Ekawit Nantajeewarawat
2012	B	`conf`	Toward a Genetic Algorithm Based Flexible Approach for the Management of Virtualized Application Environments in Cloud Platforms. ICCCN Omar Abdul-Rahman, Masaharu Munetomo, Kiyoshi Akama
2011	B	`conf`	A Framework for Cloud Embedded Web Services Utilized by Cloud Applications. SERVICES Mohamed Wahib, Asim Munawar, Masaharu Munetomo, Kiyoshi Akama
2011	B	`conf`	Advanced genetic algorithm to solve MINLP problems over GPU. IEEE Congress on Evolutionary Computation Asim Munawar, Mohamed Wahib, Masaharu Munetomo, Kiyoshi Akama
2011	J	`jnl`	An adaptive resolution hybrid binary-real coded genetic algorithm. Artif. Life Robotics Omar Arif Abdul-Rahman, Masaharu Munetomo, Kiyoshi Akama
2011	—	`conf`	An improved binary-real coded genetic algorithm for real parameter optimization. NaBIC Omar Abdul-Rahman, Masaharu Munetomo, Kiyoshi Akama
2011	—	`conf`	Deterministic-Rule Programs on Specialization Systems: Clause-Model Semantics. ICSECS (3) Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike
2011	C	`conf`	Meaning-preserving Skolemization. KEOD Kiyoshi Akama, Ekawit Nantajeewarawat
2011	—	`conf`	Multi-Level Autonomic Architecture for the Management of Virtualized Application Environments in Cloud Platforms. IEEE CLOUD Omar Abdul-Rahman, Masaharu Munetomo, Kiyoshi Akama
2011	B	`conf`	Optimization of parallel Genetic Algorithms for nVidia GPUs. IEEE Congress on Evolutionary Computation Mohamed Wahib, Asim Munawar, Masaharu Munetomo, Kiyoshi Akama
2011	—	`conf`	Solving Extremely Difficult MINLP Problems Using Adaptive Resolution Micro-GA with Tabu Search. LION Asim Munawar, Mohamed Wahib, Masaharu Munetomo, Kiyoshi Akama
2010	B	`conf`	A Bayesian Optimization Algorithm for De Novo ligand design based docking running over GPU. IEEE Congress on Evolutionary Computation Mohamed Wahib, Asim Munawar, Masaharu Munetomo, Kiyoshi Akama
2010	Misc	`conf`	A Light Framework for the Unified Representation and Execution of Variant Tasks in a Grid Based Environment. PDPTA Mohamed Wahib, Asim Munawar, Masaharu Munetomo, Kiyoshi Akama
2010	J	`jnl`	The design, usage, and performance of GridUFO: A Grid based Unified Framework for Optimization. Future Gener. Comput. Syst. Asim Munawar, Mohamed Wahib, Masaharu Munetomo, Kiyoshi Akama
2009	J	`jnl`	Hybrid of genetic algorithm and local search to solve MAX-SAT problem using nVidia CUDA framework. Genet. Program. Evolvable Mach. Asim Munawar, Mohamed Wahib, Masaharu Munetomo, Kiyoshi Akama
2009	C	`conf`	Theoretical and Empirical Analysis of a GPU Based Parallel Bayesian Optimization Algorithm. PDCAT Asim Munawar, Mohamed Wahib, Masaharu Munetomo, Kiyoshi Akama
2008	—	`conf`	A General Service-Oriented Grid Computing Framework for Global Optimization Problem Solving. IEEE SCC (2) Mohamed Wahib, Asim Munawar, Masaharu Munetomo, Kiyoshi Akama
2008	—	`ch.`	A Network Design Problem by a GA with Linkage Identification and Recombination for Overlapping Building Blocks. Linkage in Evolutionary Computation Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama
2008	C	`conf`	A Survey: Genetic Algorithms and the Fast Evolving World of Parallel Computing. HPCC Asim Munawar, Mohamed Wahib, Masaharu Munetomo, Kiyoshi Akama
2008	C	`conf`	Conceptual Modelling and Program Generation for Dynamic Interactive Systems. PDCAT Courtney Powell, Kiyoshi Akama, Toshihiro Wakatsuki
2008	A	`conf`	Empirical investigations on parallel competent genetic algorithms. GECCO Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama
2008	J	`jnl`	Extension of logical structures by safe extension of specialisation systems. Int. J. Autom. Control. Kiyoshi Akama, Ekawit Nantajeewarawat
2008	J	`jnl`	Introducing assignment functions to Bayesian optimization algorithms. Inf. Sci. Masaharu Munetomo, Naoya Murao, Kiyoshi Akama
2008	—	`conf`	Model for dynamic grain sizing through compound parallelization for an optimization problem solving grid application. GRID Mohamed Wahib, Asim Munawar, Masaharu Munetomo, Kiyoshi Akama
2008	—	`ch.`	Parallel GEAs with Linkage Analysis over Grid. Linkage in Evolutionary Computation Asim Munawar, Mohamed Wahib, Masaharu Munetomo, Kiyoshi Akama
2008	—	`conf`	SOAG: Service Oriented Architectured Grids and adoption of application specific QoS attributes. GRID Mohamed Wahib, Asim Munawar, Masaharu Munetomo, Kiyoshi Akama
2008	C	`conf`	Solving Large Instances of Capacitated Vehicle Routing Problem over Cell BE. HPCC Asim Munawar, Mohamed Wahib, Masaharu Munetomo, Kiyoshi Akama
2007	—	`conf`	A Framework of GRID Problem-Solving Environment Employing Robust Evolutionary Search. EUROCAST Masaharu Munetomo, Asim Munawar, Kiyoshi Akama
2007	B	`conf`	A network design problem by a GA with linkage identification and recombination for overlapping building blocks. IEEE Congress on Evolutionary Computation Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama
2007	—	`conf`	An Intelligent Scatter with Estimation of Distribution for Tabu Search. EUROCAST Masaharu Munetomo, Yuta Satake, Kiyoshi Akama
2007	J	`jnl`	Constraint Solving Specializations for Equality on an Interval-Variable Domain. J. Adv. Comput. Intell. Intell. Informatics Hiroshi Mabuchi, Kiyoshi Akama, Katsunori Miura, Takahiko Ishikawa
2007	J	`jnl`	Expanding Transformation: A Basis for Correctness Verification of Rewriting Rules. J. Adv. Comput. Intell. Intell. Informatics Ekawit Nantajeewarawat, Kiyoshi Akama, Hidekatsu Koike
2007	—	`ch.`	Genetic Algorithm to Optimize Fitness Function with Sampling Error and its Application to Financial Optimization Problem. Evolutionary Computation in Dynamic and Uncertain Environments Masaru Tezuka, Masaharu Munetomo, Kiyoshi Akama
2007	J	`jnl`	Infinite Computation in the Equivalent Transformation Model. J. Adv. Comput. Intell. Intell. Informatics Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Katsunori Miura
2007	C	`conf`	MHGrid: Towards an Ideal Optimization Environment for Global Optimization Problems Using Grid Computing. PDCAT Mohamed Wahib, Asim Munawar, Masaharu Munetomo, Kiyoshi Akama
2007	B	`conf`	Optimization problem solving framework employing GAs with linkage identification over a grid environment. IEEE Congress on Evolutionary Computation Asim Munawar, Masaharu Munetomo, Kiyoshi Akama
2007	J	`jnl`	State-Transition Computation Models and Program Correctness Thereon. J. Adv. Comput. Intell. Intell. Informatics Kiyoshi Akama, Ekawit Nantajeewarawat
2007	Misc	`conf`	Toward a software development model for automatic marking software. SIGUCCS Hidekatsu Koike, Kiyoshi Akama, Chiharu Ishikawa, Nagatomo Nakamura, Shinya Watanabe
2006	A	`conf`	A crossover for complex building blocks overlapping. GECCO Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama
2006	J	`jnl`	Converting Constraint Handling Rules to Equivalent Transformation Rules. J. Adv. Comput. Intell. Intell. Informatics Yoshinori Shigeta, Kiyoshi Akama, Hiroshi Mabuchi, Hidekatsu Koike
2006	J	`jnl`	Design of Nondeterministic Program Termination Based on the Equivalent Transformation Computation Model. J. Adv. Comput. Intell. Intell. Informatics Itaru Takarajima, Kiyoshi Akama, Ikumi Imani, Hiroshi Mabuchi
2006	J	`jnl`	Dynamic Interaction of Syntactic and Semantic Analyses Based on the Equivalent Transformation Computation Model. J. Adv. Comput. Intell. Intell. Informatics Hidekatsu Koike, Kiyoshi Akama, Hiroshi Mabuchi
2006	B	`conf`	Enhancing Model-building Efficiency in Extended Compact Genetic Algorithms. SMC Masaharu Munetomo, Yuta Satake, Kiyoshi Akama
2006	—	`conf`	Equivalent Transformation Rules as Components of Programs. ICICIC (2) Hiroshi Mabuchi, Kiyoshi Akama, Toshihiro Wakatsuki
2006	J	`jnl`	Formalization of the Equivalent Transformation Computation Model. J. Adv. Comput. Intell. Intell. Informatics Kiyoshi Akama, Ekawit Nantajeewarawat
2006	B	`conf`	Genetic Algorithm to Optimize Fitness Function with Sampling Error and its Application to Financial Optimization Problem. IEEE Congress on Evolutionary Computation Masaru Tezuka, Masaharu Munetomo, Kiyoshi Akama, Masahiro Hiji
2006	J	`jnl`	Linkage Identification by Fitness Difference Clustering. Evol. Comput. Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama
2006	—	`conf`	Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method. Ershov Memorial Conference Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike
2006	J	`jnl`	Semantic Query Optimization: Correctness and Control. J. Adv. Comput. Intell. Intell. Informatics Pongtawat Chippimolchai, Kiyoshi Akama, Vilas Wuwongse
2006	B	`conf`	Theoretical and Empirical Investigations on Difficulty in Structure Learning by Estimation of Distribution Algorithms. SMC Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama
2006	Misc	`conf`	Using an automatic marking system for programming courses. SIGUCCS Hidekatsu Koike, Kiyoshi Akama, Hiko Morita, Katsunori Miura
2005	Misc	`conf`	Correctness Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain. IC-AI Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Takahiko Ishikawa
2005	Misc	`conf`	Developing an e-learning System which enhances students' academic motivation. SIGUCCS Hidekatsu Koike, Takahiko Ishikawa, Kiyoshi Akama, Masaki Chiba, Katsunori Miura
2005	B	`conf`	Empirical studies on parallel network construction of Bayesian optimization algorithms. Congress on Evolutionary Computation Masaharu Munetomo, Naoya Murao, Kiyoshi Akama
2005	B	`conf`	Linkage identification for real-valued loci by fitness difference classification. Congress on Evolutionary Computation Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama
2005	A	`conf`	Population Sizing of Dependency Detection by Fitness Difference Classification. FOGA Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama
2005	B	`conf`	Problem solving by equivalent transformation of negative constraints. SMC Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Takahiko Ishikawa
2005	J	`jnl`	XML Declarative Description with First-Order Logical Constraints. Comput. Intell. Chutiporn Anutariya, Vilas Wuwongse, Kiyoshi Akama
2004	—	`conf`	A Comparison of Constraint Handling Rules with Equivalent Transformation Rules. MSV/AMCS Yoshinori Shigeta, Kiyoshi Akama, Pongtawat Chippimolchai, Takahiko Ishikawa
2004	J	`jnl`	Designing a distributed algorithm for bandwidth allocation with a genetic algorithm. Syst. Comput. Jpn. Hidehiro Kobayashi, Masaharu Munetomo, Kiyoshi Akama, Yoshiharu Sato
2004	A	`conf`	Empirical Investigations on Parallelized Linkage Identification. PPSN Masaharu Munetomo, Naoya Murao, Kiyoshi Akama
2004	Misc	`conf`	Equivalent Transformation Rules for a Class of Constraint Satisfaction Problems. IC-AI Hidemi Ogasawara, Kiyoshi Akama, Yoshinori Shigeta
2004	—	`conf`	Linkage Identification by Nonlinearity Check for Real-Coded Genetic Algorithms. GECCO (2) Masaru Tezuka, Masaharu Munetomo, Kiyoshi Akama
2004	—	`conf`	Modeling Dependencies of Loci with String Classification According to Fitness Differences. GECCO (2) Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama
2004	—	`conf`	On the Termination of Non-Deterministic Programs Based on the Equivalent Transformation Computation Model. MSV/AMCS Itaru Takarajima, Kiyoshi Akama, Yoshinori Shigeta, Ikumi Imani
2004	J	`jnl`	Toward reasoning with unified modeling language diagrams based on extensible markup language declarative description theory. Int. J. Intell. Syst. Ekawit Nantajeewarawat, Vilas Wuwongse, Chutiporn Anutariya, Kiyoshi Akama, Surapa Thiemjarus
2004	—	`conf`	XET as a Rule Language for Consistency Maintenance in UML. RuleML Nimit Pattanasri, Vilas Wuwongse, Kiyoshi Akama
2003	J	`jnl`	A Data Model for XML Databases. J. Intell. Inf. Syst. Vilas Wuwongse, Kiyoshi Akama, Chutiporn Anutariya, Ekawit Nantajeewarawat
2003	A	`conf`	A Parallel Genetic Algorithm Based on Linkage Identification. GECCO Masaharu Munetomo, Naoya Murao, Kiyoshi Akama
2003	J	`jnl`	How to Make Programs from Problem Descriptions in the Equivalent Transformation Paradigm. J. Adv. Comput. Intell. Intell. Informatics Takahiko Ishikawa, Kiyoshi Akama, Hiroshi Mabuchi
2003	J	`jnl`	Integration of Syntactic Analysis and Semantic Interpretation Based on Equivalent Transformation. J. Adv. Comput. Intell. Intell. Informatics Hiroshi Mabuchi, Kiyoshi Akama, Takahiko Ishikawa, Hidekatsu Koike
2003	A	`conf`	Metropolitan Area Network Design Using GA Based on Hierarchical Linkage Identification. GECCO Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama
2002	Misc	`conf`	A Basic Framework for Infinite Computation. IC-AI Kiyoshi Akama, Hiroshi Mabuchi, Takahiko Ishikawa, E. Boyd
2002	—	`conf`	A Foundation for Algorithm Generation by Transforming Meta-Descriptions. FSKD Yuichi Yamamoto, Kiyoshi Akama, Masaharu Munetomo, Takahiko Ishikawa
2002	Misc	`conf`	Dynamic Interaction of Syntactic and Semantic Analysis by Equivalent Transformation. IC-AI E. Boyd, Kiyoshi Akama, Takahiko Ishikawa, Hidekatsu Koike
2002	Misc	`conf`	Framework for Synthesis by Unfolding of Declarative Programs. IC-AI Hiroshi Mabuchi, Kiyoshi Akama, Takahiko Ishikawa, Y. Yamamoto
2002	C	`conf`	Program Synthesis Based on the Equivalent Transformation Computation Model. LOPSTR Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike
2002	—	`conf`	Query Formulation and Evaluation of XML Databases. WITASI Kiyoshi Akama, Chutiporn Anutariya, Vilas Wuwongse, Ekawit Nantajeewarawat
2001	—	`conf`	A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation. RULE@PLI Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike
2001	—	`conf`	A Data Model for XML Databases. Web Intelligence Vilas Wuwongse, Kiyoshi Akama, Chutiporn Anutariya, Ekawit Nantajeewarawat
2001	—	`conf`	A Theoretical Foundation of Program Synthesis by Equivalent Transformation. Ershov Memorial Conference Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi
2001	B	`conf`	Empirical investigations on the genetic adaptive routing algorithm in the Internet. CEC Masaharu Munetomo, Naohiko Yamaguchi, Kiyoshi Akama, Yoshiharu Sato
2001	—	`conf`	Equivalent Transformation by Safe Extension of Data Structures. Ershov Memorial Conference Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi
2001	—	`conf`	RDF Declarative Description (RDD): A Language for Metadata. Dublin Core Conference Chutiporn Anutariya, Vilas Wuwongse, Kiyoshi Akama, Ekawit Nantajeewarawat
2001	J	`jnl`	RDF Declarative Description (RDD): A Language for Metadata. J. Digit. Inf. Chutiporn Anutariya, Vilas Wuwongse, Kiyoshi Akama, Ekawit Nantajeewarawat
2001	—	`conf`	Semantic Web Modeling and Programming with XDD. SWWS Chutiporn Anutariya, Vilas Wuwongse, Kiyoshi Akama, Vichit Wattanapailin
2001	—	`conf`	Semantic Web Modeling and Programming with XDD. The Emerging Semantic Web Chutiporn Anutariya, Vilas Wuwongse, Kiyoshi Akama, Vichit Wattanapailin
2001	J	`jnl`	XML Declarative Description: A Language for the Semantic Web. IEEE Intell. Syst. Vilas Wuwongse, Chutiporn Anutariya, Kiyoshi Akama, Ekawit Nantajeewarawat
2000	J	`jnl`	A theoretical foundation for solving "no-solution" problems by abstraction. Syst. Comput. Jpn. Kiyoshi Akama, Hiroshi Mabuchi, Eiichi Miyamoto
2000	Misc	`conf`	Semantic Interpretation by Rule-based Equivalent Transformation. Artificial Intelligence and Soft Computing Hiroshi Mabuchi, Kiyoshi Akama, Yoshinori Shigeta, Hidekatsu Koike
2000	Misc	`conf`	Synthesis of Conversion Rules by Expanding Knowledge Representation. Artificial Intelligence and Soft Computing Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Yoshinori Shigeta
2000	—	`conf`	Towards a Foundation for XML Document Databases. EC-Web Chutiporn Anutariya, Vilas Wuwongse, Ekawit Nantajeewarawat, Kiyoshi Akama
2000	Misc	`conf`	Unreachability for a Class of Rewriting Systems using Two Homomorphisms. Artificial Intelligence and Soft Computing Yoshinori Shigeta, Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi
1986	—	`conf`	Inheritance Hierarchy Mechanism in Prolog. LP Kiyoshi Akama
1979	A*	`conf`	A Basic Model for Learning Systems. IJCAI Kiyoshi Akama, Atsunobu Ichikawa