Kiyoshi Akama

Publication Activity (10 Years)

Years Active: 1979-2019
Publications (10 Years): 12

Top Venues

KEOD

ACIIDS (1)

IC3K

ICCCN

Publications

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

Kiyoshi Akama.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Kiyoshi Akama