Kiyoshi Akama

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.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2015

Function-variable Elimination and Its Limitations.

[BibT_eX]

[DOI]

Proceedings of the KEOD 2015, 2015

A General Schema for Solving Model-Intersection Problems on a Specialization System by Equivalent Transformation.

[BibT_eX]

[DOI]

Proceedings of the KEOD 2015, 2015

2014

Solving Query-answering Problems with If-and-Only-If Formulas.

[BibT_eX]

[DOI]

Proceedings of the KEOD 2014, 2014

Equivalent Transformation in an Extended Space for Solving Query-Answering Problems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Omar Arif Abdul-Rahman

Inf. Sci., 2013

An ET-Based Low-Level Solution for Query-Answering Problems.

[BibT_eX]

[DOI]

Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2013

Integration of and a Solution for Proof Problems and Query-Answering Problems.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2013

Embedding Proof Problems into Query-answering Problems and Problem Solving by Equivalent Transformation.

[BibT_eX]

[DOI]

Proceedings of the KEOD 2013, 2013

Correctness of Solving Query-Answering Problems Using Satisfiability Solvers.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Omar Abdul-Rahman

Proceedings of the 21st International Conference on Computer Communications and Networks, 2012

A Delayed Splitting Bottom-Up Procedure for Model Generation.

[BibT_eX]

[DOI]

Proceedings of the AI 2012: Advances in Artificial Intelligence, 2012

2011

An adaptive resolution hybrid binary-real coded genetic algorithm.

[BibT_eX]

[DOI]

Omar Arif Abdul-Rahman

Artif. Life Robotics, 2011

A Framework for Cloud Embedded Web Services Utilized by Cloud Applications.

[BibT_eX]

[DOI]

Proceedings of the World Congress on Services, 2011

An improved binary-real coded genetic algorithm for real parameter optimization.

[BibT_eX]

[DOI]

Omar Abdul-Rahman

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.

[BibT_eX]

[DOI]

Proceedings of the Learning and Intelligent Optimization - 5th International Conference, 2011

Deterministic-Rule Programs on Specialization Systems: Clause-Model Semantics.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Computer Systems, 2011

Meaning-preserving Skolemization.

[BibT_eX]

Proceedings of the KEOD 2011, 2011

Optimization of parallel Genetic Algorithms for nVidia GPUs.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2011

Advanced genetic algorithm to solve MINLP problems over GPU.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2011

Multi-Level Autonomic Architecture for the Management of Virtualized Application Environments in Cloud Platforms.

[BibT_eX]

[DOI]

Omar Abdul-Rahman

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.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2010

A Light Framework for the Unified Representation and Execution of Variant Tasks in a Grid Based Environment.

[BibT_eX]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Genet. Program. Evolvable Mach., 2009

Theoretical and Empirical Analysis of a GPU Based Parallel Bayesian Optimization Algorithm.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Linkage in Evolutionary Computation, 2008

Parallel GEAs with Linkage Analysis over Grid.

[BibT_eX]

[DOI]

Proceedings of the Linkage in Evolutionary Computation, 2008

Introducing assignment functions to Bayesian optimization algorithms.

[BibT_eX]

[DOI]

Inf. Sci., 2008

Extension of logical structures by safe extension of specialisation systems.

[BibT_eX]

[DOI]

Int. J. Autom. Control., 2008

Conceptual Modelling and Program Generation for Dynamic Interactive Systems.

[BibT_eX]

[DOI]

Courtney Powell

Toshihiro Wakatsuki

Proceedings of the Ninth International Conference on Parallel and Distributed Computing, 2008

A Survey: Genetic Algorithms and the Fast Evolving World of Parallel Computing.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2008

A General Service-Oriented Grid Computing Framework for Global Optimization Problem Solving.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Masaru Tezuka

Proceedings of the Evolutionary Computation in Dynamic and Uncertain Environments, 2007

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

[BibT_eX]

[DOI]

J. Adv. Comput. Intell. Intell. Informatics, 2007

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

[BibT_eX]

[DOI]

J. Adv. Comput. Intell. Intell. Informatics, 2007

Infinite Computation in the Equivalent Transformation Model.

[BibT_eX]

[DOI]

J. Adv. Comput. Intell. Intell. Informatics, 2007

State-Transition Computation Models and Program Correctness Thereon.

[BibT_eX]

[DOI]

J. Adv. Comput. Intell. Intell. Informatics, 2007

Toward a software development model for automatic marking software.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Parallel and Distributed Computing, 2007

An Intelligent Scatter with Estimation of Distribution for Tabu Search.

[BibT_eX]

[DOI]

Yuta Satake

Proceedings of the Computer Aided Systems Theory, 2007

A Framework of GRID Problem-Solving Environment Employing Robust Evolutionary Search.

[BibT_eX]

[DOI]

Asim Munawar

Proceedings of the Computer Aided Systems Theory, 2007

A network design problem by a GA with linkage identification and recombination for overlapping building blocks.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2007

Optimization problem solving framework employing GAs with linkage identification over a grid environment.

[BibT_eX]

[DOI]

Asim Munawar

Proceedings of the IEEE Congress on Evolutionary Computation, 2007

2006

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

[BibT_eX]

[DOI]

J. Adv. Comput. Intell. Intell. Informatics, 2006

Converting Constraint Handling Rules to Equivalent Transformation Rules.

[BibT_eX]

[DOI]

J. Adv. Comput. Intell. Intell. Informatics, 2006

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

[BibT_eX]

[DOI]

J. Adv. Comput. Intell. Intell. Informatics, 2006

Semantic Query Optimization: Correctness and Control.

[BibT_eX]

[DOI]

Pongtawat Chippimolchai

J. Adv. Comput. Intell. Intell. Informatics, 2006

Formalization of the Equivalent Transformation Computation Model.

[BibT_eX]

[DOI]

J. Adv. Comput. Intell. Intell. Informatics, 2006

Linkage Identification by Fitness Difference Clustering.

[BibT_eX]

[DOI]

Evol. Comput., 2006

Theoretical and Empirical Investigations on Difficulty in Structure Learning by Estimation of Distribution Algorithms.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2006

Enhancing Model-building Efficiency in Extended Compact Genetic Algorithms.

[BibT_eX]

[DOI]

Yuta Satake

Proceedings of the IEEE International Conference on Systems, 2006

Using an automatic marking system for programming courses.

[BibT_eX]

[DOI]

Proceedings of the 34th Annual ACM SIGUCCS Conference on User Services 2006, 2006

Equivalent Transformation Rules as Components of Programs.

[BibT_eX]

[DOI]

Toshihiro Wakatsuki

Proceedings of the First International Conference on Innovative Computing, Information and Control (ICICIC 2006), 30 August, 2006

A crossover for complex building blocks overlapping.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2006

Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of Systems Informatics, 2006

Genetic Algorithm to Optimize Fitness Function with Sampling Error and its Application to Financial Optimization Problem.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Evolutionary Computation, 2006

2005

XML Declarative Description with First-Order Logical Constraints.

[BibT_eX]

[DOI]

Comput. Intell., 2005

Problem solving by equivalent transformation of negative constraints.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2005

Developing an e-learning System which enhances students' academic motivation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

Proceedings of the 2005 International Conference on Artificial Intelligence, 2005

Population Sizing of Dependency Detection by Fitness Difference Classification.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Genetic Algorithms, 8th International Workshop, 2005

Linkage identification for real-valued loci by fitness difference classification.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2005

Empirical studies on parallel network construction of Bayesian optimization algorithms.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2005

2004

Designing a distributed algorithm for bandwidth allocation with a genetic algorithm.

[BibT_eX]

[DOI]

Syst. Comput. Jpn., 2004

Toward reasoning with unified modeling language diagrams based on extensible markup language declarative description theory.

[BibT_eX]

[DOI]

Int. J. Intell. Syst., 2004

XET as a Rule Language for Consistency Maintenance in UML.

[BibT_eX]

[DOI]

Nimit Pattanasri

Proceedings of the Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, 2004

Empirical Investigations on Parallelized Linkage Identification.

[BibT_eX]

[DOI]

Proceedings of the Parallel Problem Solving from Nature, 2004

On the Termination of Non-Deterministic Programs Based on the Equivalent Transformation Computation Model.

[BibT_eX]

Proceedings of the International Conference on Modeling, 2004

A Comparison of Constraint Handling Rules with Equivalent Transformation Rules.

[BibT_eX]

Yoshinori Shigeta

Pongtawat Chippimolchai

Takahiko Ishikawa

Proceedings of the International Conference on Modeling, 2004

Equivalent Transformation Rules for a Class of Constraint Satisfaction Problems.

[BibT_eX]

Hidemi Ogasawara

Yoshinori Shigeta

Proceedings of the International Conference on Artificial Intelligence, 2004

Modeling Dependencies of Loci with String Classification According to Fitness Differences.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation, 2004

Linkage Identification by Nonlinearity Check for Real-Coded Genetic Algorithms.

[BibT_eX]

[DOI]

Masaru Tezuka

Proceedings of the Genetic and Evolutionary Computation, 2004

2003

A Data Model for XML Databases.

[BibT_eX]

[DOI]

J. Intell. Inf. Syst., 2003

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

[BibT_eX]

[DOI]

J. Adv. Comput. Intell. Intell. Informatics, 2003

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

[BibT_eX]

[DOI]

Takahiko Ishikawa

J. Adv. Comput. Intell. Intell. Informatics, 2003

Metropolitan Area Network Design Using GA Based on Hierarchical Linkage Identification.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation, 2003

A Parallel Genetic Algorithm Based on Linkage Identification.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation, 2003

2002

Query Formulation and Evaluation of XML Databases.

[BibT_eX]

Proceedings of the Internet Technologies, 2002

Program Synthesis Based on the Equivalent Transformation Computation Model.

[BibT_eX]

[DOI]

Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

Framework for Synthesis by Unfolding of Declarative Programs.

[BibT_eX]

Proceedings of the International Conference on Artificial Intelligence, 2002

Dynamic Interaction of Syntactic and Semantic Analysis by Equivalent Transformation.

[BibT_eX]

Proceedings of the International Conference on Artificial Intelligence, 2002

A Basic Framework for Infinite Computation.

[BibT_eX]

Proceedings of the International Conference on Artificial Intelligence, 2002

A Foundation for Algorithm Generation by Transforming Meta-Descriptions.

[BibT_eX]

Proceedings of the FSDK'02, 2002

2001

A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Rule-Based Programming, 2001

RDF Declarative Description (RDD): A Language for Metadata.

[BibT_eX]

[DOI]

J. Digit. Inf., 2001

XML Declarative Description: A Language for the Semantic Web.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2001

Semantic Web Modeling and Programming with XDD.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of System Informatics, 2001

A Theoretical Foundation of Program Synthesis by Equivalent Transformation.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of System Informatics, 2001

Empirical investigations on the genetic adaptive routing algorithm in the Internet.

[BibT_eX]

[DOI]

Proceedings of the 2001 Congress on Evolutionary Computation, 2001

2000

A theoretical foundation for solving "no-solution" problems by abstraction.

[BibT_eX]

[DOI]

Eiichi Miyamoto

Syst. Comput. Jpn., 2000

Towards a Foundation for XML Document Databases.

[BibT_eX]

[DOI]

Proceedings of the Electronic Commerce and Web Technologies, 2000

Unreachability for a Class of Rewriting Systems using Two Homomorphisms.

[BibT_eX]

Proceedings of the Artificial Intelligence and Soft Computing, July 24-26, 2000, Banff, 2000

Semantic Interpretation by Rule-based Equivalent Transformation.

[BibT_eX]

Proceedings of the Artificial Intelligence and Soft Computing, July 24-26, 2000, Banff, 2000

Synthesis of Conversion Rules by Expanding Knowledge Representation.

[BibT_eX]

Proceedings of the Artificial Intelligence and Soft Computing, July 24-26, 2000, Banff, 2000

1986

Inheritance Hierarchy Mechanism in Prolog.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming '86, 1986

1979

A Basic Model for Learning Systems.

[BibT_eX]