Kiyoshi Akama

According to our database1, Kiyoshi Akama authored at least 108 papers between 1979 and 2018.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Side-Change Transformation.
Proceedings of the 10th International Joint Conference on Knowledge Discovery, 2018

Computation Control by Prioritized ET Rules.
Proceedings of the 10th International Joint Conference on Knowledge Discovery, 2018

Solving Query-Answering Problems with Constraints for Function Variables.
Proceedings of the Intelligent Information and Database Systems - 10th Asian Conference, 2018

2016
Unfolding Existentially Quantified Sets of Extended Clauses.
Proceedings of the 8th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2016) - Volume 2: KEOD, Porto - Portugal, November 9, 2016

Model-Intersection Problems with Existentially Quantified Function Variables: Formalization and a Solution Schema.
Proceedings of the 8th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2016) - Volume 2: KEOD, Porto - Portugal, November 9, 2016

2015
Model-Intersection Problems and Their Solution Schema Based on Equivalent Transformation.
Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2015

Function-variable Elimination and Its Limitations.
Proceedings of the KEOD 2015, 2015

A General Schema for Solving Model-Intersection Problems on a Specialization System by Equivalent Transformation.
Proceedings of the KEOD 2015, 2015

2014
Solving Query-answering Problems with If-and-Only-If Formulas.
Proceedings of the KEOD 2014, 2014

Equivalent Transformation in an Extended Space for Solving Query-Answering Problems.
Proceedings of the Intelligent Information and Database Systems - 6th Asian Conference, 2014

2013
arGA: Adaptive Resolution Micro-genetic Algorithm with Tabu Search to Solve MINLP Problems Using GPU.
Proceedings of the Massively Parallel Evolutionary Computation on GPGPUs, 2013

An adaptive parameter binary-real coded genetic algorithm for constraint optimization problems: Performance analysis and estimation of optimal control parameters.
Inf. Sci., 2013

An ET-Based Low-Level Solution for Query-Answering Problems.
Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2013

Embedding Proof Problems into Query-answering Problems and Problem Solving by Equivalent Transformation.
Proceedings of the KEOD 2013, 2013

Correctness of Solving Query-Answering Problems Using Satisfiability Solvers.
Proceedings of the Intelligent Information and Database Systems - 5th Asian Conference, 2013

2012
Toward a Genetic Algorithm Based Flexible Approach for the Management of Virtualized Application Environments in Cloud Platforms.
Proceedings of the 21st International Conference on Computer Communications and Networks, 2012

A Delayed Splitting Bottom-Up Procedure for Model Generation.
Proceedings of the AI 2012: Advances in Artificial Intelligence, 2012

2011
A Framework for Cloud Embedded Web Services Utilized by Cloud Applications.
Proceedings of the World Congress on Services, 2011

An improved binary-real coded genetic algorithm for real parameter optimization.
Proceedings of the Third World Congress on Nature & Biologically Inspired Computing, 2011

Solving Extremely Difficult MINLP Problems Using Adaptive Resolution Micro-GA with Tabu Search.
Proceedings of the Learning and Intelligent Optimization - 5th International Conference, 2011

Deterministic-Rule Programs on Specialization Systems: Clause-Model Semantics.
Proceedings of the Software Engineering and Computer Systems, 2011

Meaning-preserving Skolemization.
Proceedings of the KEOD 2011, 2011

Optimization of parallel Genetic Algorithms for nVidia GPUs.
Proceedings of the IEEE Congress on Evolutionary Computation, 2011

Advanced genetic algorithm to solve MINLP problems over GPU.
Proceedings of the IEEE Congress on Evolutionary Computation, 2011

Multi-Level Autonomic Architecture for the Management of Virtualized Application Environments in Cloud Platforms.
Proceedings of the IEEE International Conference on Cloud Computing, 2011

2010
The design, usage, and performance of GridUFO: A Grid based Unified Framework for Optimization.
Future Generation Comp. Syst., 2010

A Light Framework for the Unified Representation and Execution of Variant Tasks in a Grid Based Environment.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2010

A Bayesian Optimization Algorithm for De Novo ligand design based docking running over GPU.
Proceedings of the IEEE Congress on Evolutionary Computation, 2010

2009
Hybrid of genetic algorithm and local search to solve MAX-SAT problem using nVidia CUDA framework.
Genetic Programming and Evolvable Machines, 2009

Theoretical and Empirical Analysis of a GPU Based Parallel Bayesian Optimization Algorithm.
Proceedings of the 2009 International Conference on Parallel and Distributed Computing, 2009

2008
A Network Design Problem by a GA with Linkage Identification and Recombination for Overlapping Building Blocks.
Proceedings of the Linkage in Evolutionary Computation, 2008

Parallel GEAs with Linkage Analysis over Grid.
Proceedings of the Linkage in Evolutionary Computation, 2008

Introducing assignment functions to Bayesian optimization algorithms.
Inf. Sci., 2008

Extension of logical structures by safe extension of specialisation systems.
IJAAC, 2008

Conceptual Modelling and Program Generation for Dynamic Interactive Systems.
Proceedings of the Ninth International Conference on Parallel and Distributed Computing, 2008

A Survey: Genetic Algorithms and the Fast Evolving World of Parallel Computing.
Proceedings of the 10th IEEE International Conference on High Performance Computing and Communications, 2008

Solving Large Instances of Capacitated Vehicle Routing Problem over Cell BE.
Proceedings of the 10th IEEE International Conference on High Performance Computing and Communications, 2008

SOAG: Service Oriented Architectured Grids and adoption of application specific QoS attributes.
Proceedings of the 9th IEEE/ACM International Conference on Grid Computing (Grid 2008), Tsukuba, Japan, September 29, 2008

Model for dynamic grain sizing through compound parallelization for an optimization problem solving grid application.
Proceedings of the 9th IEEE/ACM International Conference on Grid Computing (Grid 2008), Tsukuba, Japan, September 29, 2008

Empirical investigations on parallel competent genetic algorithms.
Proceedings of the Genetic and Evolutionary Computation Conference, 2008

A General Service-Oriented Grid Computing Framework for Global Optimization Problem Solving.
Proceedings of the 2008 IEEE International Conference on Services Computing (SCC 2008), 2008

2007
Genetic Algorithm to Optimize Fitness Function with Sampling Error and its Application to Financial Optimization Problem.
Proceedings of the Evolutionary Computation in Dynamic and Uncertain Environments, 2007

Expanding Transformation: A Basis for Correctness Verification of Rewriting Rules.
JACIII, 2007

Constraint Solving Specializations for Equality on an Interval-Variable Domain.
JACIII, 2007

Infinite Computation in the Equivalent Transformation Model.
JACIII, 2007

State-Transition Computation Models and Program Correctness Thereon.
JACIII, 2007

Toward a software development model for automatic marking software.
Proceedings of the 35th Annual ACM SIGUCCS Conference on User Services 2007, 2007

MHGrid: Towards an Ideal Optimization Environment for Global Optimization Problems Using Grid Computing.
Proceedings of the Eighth International Conference on Parallel and Distributed Computing, 2007

An Intelligent Scatter with Estimation of Distribution for Tabu Search.
Proceedings of the Computer Aided Systems Theory, 2007

A Framework of GRID Problem-Solving Environment Employing Robust Evolutionary Search.
Proceedings of the Computer Aided Systems Theory, 2007

A network design problem by a GA with linkage identification and recombination for overlapping building blocks.
Proceedings of the IEEE Congress on Evolutionary Computation, 2007

Optimization problem solving framework employing GAs with linkage identification over a grid environment.
Proceedings of the IEEE Congress on Evolutionary Computation, 2007

2006
Design of Nondeterministic Program Termination Based on the Equivalent Transformation Computation Model.
JACIII, 2006

Converting Constraint Handling Rules to Equivalent Transformation Rules.
JACIII, 2006

Dynamic Interaction of Syntactic and Semantic Analyses Based on the Equivalent Transformation Computation Model.
JACIII, 2006

Semantic Query Optimization: Correctness and Control.
JACIII, 2006

Formalization of the Equivalent Transformation Computation Model.
JACIII, 2006

Linkage Identification by Fitness Difference Clustering.
Evolutionary Computation, 2006

Theoretical and Empirical Investigations on Difficulty in Structure Learning by Estimation of Distribution Algorithms.
Proceedings of the IEEE International Conference on Systems, 2006

Enhancing Model-building Efficiency in Extended Compact Genetic Algorithms.
Proceedings of the IEEE International Conference on Systems, 2006

Using an automatic marking system for programming courses.
Proceedings of the 34th Annual ACM SIGUCCS Conference on User Services 2006, 2006

Equivalent Transformation Rules as Components of Programs.
Proceedings of the First International Conference on Innovative Computing, Information and Control (ICICIC 2006), 30 August, 2006

A crossover for complex building blocks overlapping.
Proceedings of the Genetic and Evolutionary Computation Conference, 2006

Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method.
Proceedings of the Perspectives of Systems Informatics, 2006

Genetic Algorithm to Optimize Fitness Function with Sampling Error and its Application to Financial Optimization Problem.
Proceedings of the IEEE International Conference on Evolutionary Computation, 2006

2005
XML Declarative Description with First-Order Logical Constraints.
Computational Intelligence, 2005

Problem solving by equivalent transformation of negative constraints.
Proceedings of the IEEE International Conference on Systems, 2005

Developing an e-learning System which enhances students' academic motivation.
Proceedings of the 33rd Annual ACM SIGUCCS Conference on User Services 2005, 2005

Correctness Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain.
Proceedings of the 2005 International Conference on Artificial Intelligence, 2005

Population Sizing of Dependency Detection by Fitness Difference Classification.
Proceedings of the Foundations of Genetic Algorithms, 8th International Workshop, 2005

Linkage identification for real-valued loci by fitness difference classification.
Proceedings of the IEEE Congress on Evolutionary Computation, 2005

Empirical studies on parallel network construction of Bayesian optimization algorithms.
Proceedings of the IEEE Congress on Evolutionary Computation, 2005

2004
Designing a distributed algorithm for bandwidth allocation with a genetic algorithm.
Systems and Computers in Japan, 2004

Toward reasoning with unified modeling language diagrams based on extensible markup language declarative description theory.
Int. J. Intell. Syst., 2004

XET as a Rule Language for Consistency Maintenance in UML.
Proceedings of the Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, 2004

Empirical Investigations on Parallelized Linkage Identification.
Proceedings of the Parallel Problem Solving from Nature, 2004

On the Termination of Non-Deterministic Programs Based on the Equivalent Transformation Computation Model.
Proceedings of the International Conference on Modeling, 2004

A Comparison of Constraint Handling Rules with Equivalent Transformation Rules.
Proceedings of the International Conference on Modeling, 2004

Equivalent Transformation Rules for a Class of Constraint Satisfaction Problems.
Proceedings of the International Conference on Artificial Intelligence, 2004

Modeling Dependencies of Loci with String Classification According to Fitness Differences.
Proceedings of the Genetic and Evolutionary Computation, 2004

Linkage Identification by Nonlinearity Check for Real-Coded Genetic Algorithms.
Proceedings of the Genetic and Evolutionary Computation, 2004

2003
A Data Model for XML Databases.
J. Intell. Inf. Syst., 2003

Integration of Syntactic Analysis and Semantic Interpretation Based on Equivalent Transformation.
JACIII, 2003

How to Make Programs from Problem Descriptions in the Equivalent Transformation Paradigm.
JACIII, 2003

Metropolitan Area Network Design Using GA Based on Hierarchical Linkage Identification.
Proceedings of the Genetic and Evolutionary Computation, 2003

A Parallel Genetic Algorithm Based on Linkage Identification.
Proceedings of the Genetic and Evolutionary Computation, 2003

2002
Query Formulation and Evaluation of XML Databases.
Proceedings of the Internet Technologies, 2002

Program Synthesis Based on the Equivalent Transformation Computation Model.
Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

Framework for Synthesis by Unfolding of Declarative Programs.
Proceedings of the International Conference on Artificial Intelligence, 2002

Dynamic Interaction of Syntactic and Semantic Analysis by Equivalent Transformation.
Proceedings of the International Conference on Artificial Intelligence, 2002

A Basic Framework for Infinite Computation.
Proceedings of the International Conference on Artificial Intelligence, 2002

A Foundation for Algorithm Generation by Transforming Meta-Descriptions.
Proceedings of the FSDK'02, 2002

2001
A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation.
Electr. Notes Theor. Comput. Sci., 2001

RDF Declarative Description (RDD): A Language for Metadata.
J. Digit. Inf., 2001

XML Declarative Description: A Language for the Semantic Web.
IEEE Intelligent Systems, 2001

A Data Model for XML Databases.
Proceedings of the Web Intelligence: Research and Development, 2001

Semantic Web Modeling and Programming with XDD.
Proceedings of the Emerging Semantic Web, Selected papers from the first Semantic web working symposium, Stanford University, California, USA, July 30, 2001

Semantic Web Modeling and Programming with XDD.
Proceedings of SWWS'01, The first Semantic Web Working Symposium, Stanford University, California, USA, July 30, 2001

Equivalent Transformation by Safe Extension of Data Structures.
Proceedings of the Perspectives of System Informatics, 2001

A Theoretical Foundation of Program Synthesis by Equivalent Transformation.
Proceedings of the Perspectives of System Informatics, 2001

RDF Declarative Description (RDD): A Language for Metadata.
Proceedings of the International Conference on Dublin Core and Metadata Applications, 2001

2000
A theoretical foundation for solving "no-solution" problems by abstraction.
Systems and Computers in Japan, 2000

Towards a Foundation for XML Document Databases.
Proceedings of the Electronic Commerce and Web Technologies, 2000

Unreachability for a Class of Rewriting Systems using Two Homomorphisms.
Proceedings of the Artificial Intelligence and Soft Computing, July 24-26, 2000, Banff, 2000

Semantic Interpretation by Rule-based Equivalent Transformation.
Proceedings of the Artificial Intelligence and Soft Computing, July 24-26, 2000, Banff, 2000

Synthesis of Conversion Rules by Expanding Knowledge Representation.
Proceedings of the Artificial Intelligence and Soft Computing, July 24-26, 2000, Banff, 2000

1986
Inheritance Hierarchy Mechanism in Prolog.
Proceedings of the Logic Programming '86, 1986

1979
A Basic Model for Learning Systems.
Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979


  Loading...