|
Search the dblp DataBase
Kiyoshi Akama:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Yoshinori Shigeta
Synthesis of Conversion Rules by Expanding Knowledge Representation. [Citation Graph (0, 0)][DBLP] Artificial Intelligence and Soft Computing, 2000, pp:434-440 [Conf]
- Hiroshi Mabuchi, Kiyoshi Akama, Yoshinori Shigeta, Hidekatsu Koike
Semantic Interpretation by Rule-based Equivalent Transformation. [Citation Graph (0, 0)][DBLP] Artificial Intelligence and Soft Computing, 2000, pp:472-478 [Conf]
- Yoshinori Shigeta, Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi
Unreachability for a Class of Rewriting Systems using Two Homomorphisms. [Citation Graph (0, 0)][DBLP] Artificial Intelligence and Soft Computing, 2000, pp:494-500 [Conf]
- Chutiporn Anutariya, Vilas Wuwongse, Kiyoshi Akama, Ekawit Nantajeewarawat
RDF Declarative Description (RDD): A Language for Metadata. [Citation Graph (0, 0)][DBLP] Dublin Core Conference, 2001, pp:1-8 [Conf]
- Chutiporn Anutariya, Vilas Wuwongse, Ekawit Nantajeewarawat, Kiyoshi Akama
Towards a Foundation for XML Document Databases. [Citation Graph (0, 0)][DBLP] EC-Web, 2000, pp:324-333 [Conf]
- Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi
A Theoretical Foundation of Program Synthesis by Equivalent Transformation. [Citation Graph (0, 0)][DBLP] Ershov Memorial Conference, 2001, pp:131-139 [Conf]
- Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi
Equivalent Transformation by Safe Extension of Data Structures. [Citation Graph (0, 0)][DBLP] Ershov Memorial Conference, 2001, pp:140-148 [Conf]
- Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama
Population Sizing of Dependency Detection by Fitness Difference Classification. [Citation Graph (0, 0)][DBLP] FOGA, 2005, pp:282-299 [Conf]
- Yuichi Yamamoto, Kiyoshi Akama, Masaharu Munetomo, Takahiko Ishikawa
A Foundation for Algorithm Generation by Transforming Meta-Descriptions. [Citation Graph (0, 0)][DBLP] FSKD, 2002, pp:712-0 [Conf]
- Masaharu Munetomo, Naoya Murao, Kiyoshi Akama
A Parallel Genetic Algorithm Based on Linkage Identification. [Citation Graph (0, 0)][DBLP] GECCO, 2003, pp:1222-1233 [Conf]
- Masaru Tezuka, Masaharu Munetomo, Kiyoshi Akama
Linkage Identification by Nonlinearity Check for Real-Coded Genetic Algorithms. [Citation Graph (0, 0)][DBLP] GECCO (2), 2004, pp:222-233 [Conf]
- Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama
Metropolitan Area Network Design Using GA Based on Hierarchical Linkage Identification. [Citation Graph (0, 0)][DBLP] GECCO, 2003, pp:1616-1617 [Conf]
- Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama
Modeling Dependencies of Loci with String Classification According to Fitness Differences. [Citation Graph (0, 0)][DBLP] GECCO (2), 2004, pp:246-257 [Conf]
- Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama
A crossover for complex building blocks overlapping. [Citation Graph (0, 0)][DBLP] GECCO, 2006, pp:1337-1344 [Conf]
- E. Boyd, Kiyoshi Akama, Takahiko Ishikawa, Hidekatsu Koike
Dynamic Interaction of Syntactic and Semantic Analysis by Equivalent Transformation. [Citation Graph (0, 0)][DBLP] IC-AI, 2002, pp:1040-1046 [Conf]
- Kiyoshi Akama, Hiroshi Mabuchi, Takahiko Ishikawa, E. Boyd
A Basic Framework for Infinite Computation. [Citation Graph (0, 0)][DBLP] IC-AI, 2002, pp:1080-1086 [Conf]
- Hiroshi Mabuchi, Kiyoshi Akama, Takahiko Ishikawa, Y. Yamamoto
Framework for Synthesis by Unfolding of Declarative Programs. [Citation Graph (0, 0)][DBLP] IC-AI, 2002, pp:1060-1066 [Conf]
- Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Takahiko Ishikawa
Correctness Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain. [Citation Graph (0, 0)][DBLP] IC-AI, 2005, pp:627-636 [Conf]
- Hidemi Ogasawara, Kiyoshi Akama, Yoshinori Shigeta
Equivalent Transformation Rules for a Class of Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP] IC-AI, 2004, pp:306-309 [Conf]
- Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike
Program Synthesis Based on the Equivalent Transformation Computation Model. [Citation Graph (0, 0)][DBLP] LOPSTR, 2002, pp:278-279 [Conf]
- Kiyoshi Akama
Inheritance Hierarchy Mechanism in Prolog. [Citation Graph (0, 0)][DBLP] LP, 1986, pp:12-21 [Conf]
- Yoshinori Shigeta, Kiyoshi Akama, Pongtawat Chippimolchai, Takahiko Ishikawa
A Comparison of Constraint Handling Rules with Equivalent Transformation Rules. [Citation Graph (0, 0)][DBLP] MSV/AMCS, 2004, pp:345-351 [Conf]
- Itaru Takarajima, Kiyoshi Akama, Yoshinori Shigeta, Ikumi Imani
Equivalent Transformation Computation Model. [Citation Graph (0, 0)][DBLP] MSV/AMCS, 2004, pp:391-398 [Conf]
- Masaharu Munetomo, Naoya Murao, Kiyoshi Akama
Empirical Investigations on Parallelized Linkage Identification. [Citation Graph (0, 0)][DBLP] PPSN, 2004, pp:322-331 [Conf]
- Nimit Pattanasri, Vilas Wuwongse, Kiyoshi Akama
XET as a Rule Language for Consistency Maintenance in UML. [Citation Graph (0, 0)][DBLP] RuleML, 2004, pp:200-204 [Conf]
- Chutiporn Anutariya, Vilas Wuwongse, Kiyoshi Akama, Vichit Wattanapailin
Semantic Web Modeling and Programming with XDD. [Citation Graph (0, 0)][DBLP] SWWS, 2001, pp:161-180 [Conf]
- Chutiporn Anutariya, Vilas Wuwongse, Kiyoshi Akama, Vichit Wattanapailin
Semantic Web Modeling and Programming with XDD. [Citation Graph (0, 0)][DBLP] The Emerging Semantic Web, 2001, pp:- [Conf]
- Hidekatsu Koike, Takahiko Ishikawa, Kiyoshi Akama, Masaki Chiba, Katsunori Miura
Developing an e-learning System which enhances students' academic motivation. [Citation Graph (0, 0)][DBLP] SIGUCCS, 2005, pp:147-150 [Conf]
- Hidekatsu Koike, Kiyoshi Akama, Hiko Morita, Katsunori Miura
Using an automatic marking system for programming courses. [Citation Graph (0, 0)][DBLP] SIGUCCS, 2006, pp:173-178 [Conf]
- Vilas Wuwongse, Kiyoshi Akama, Chutiporn Anutariya, Ekawit Nantajeewarawat
A Data Model for XML Databases. [Citation Graph (0, 0)][DBLP] Web Intelligence, 2001, pp:237-246 [Conf]
- Kiyoshi Akama, Chutiporn Anutariya, Vilas Wuwongse, Ekawit Nantajeewarawat
Query Formulation and Evaluation of XML Databases. [Citation Graph (0, 0)][DBLP] WITASI, 2002, pp:273-288 [Conf]
- Hiroshi Mabuchi, Kiyoshi Akama, Toshihiro Wakatsuki
Equivalent Transformation Rules as Components of Programs. [Citation Graph (0, 0)][DBLP] ICICIC (2), 2006, pp:282-287 [Conf]
- Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama
Linkage Identification by Fitness Difference Clustering. [Citation Graph (0, 0)][DBLP] Evolutionary Computation, 2006, v:14, n:4, pp:383-409 [Journal]
- Vilas Wuwongse, Chutiporn Anutariya, Kiyoshi Akama, Ekawit Nantajeewarawat
XML Declarative Description: A Language for the Semantic Web. [Citation Graph (0, 0)][DBLP] IEEE Intelligent Systems, 2001, v:16, n:3, pp:54-65 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] Int. J. Intell. Syst., 2004, v:19, n:1-2, pp:89-98 [Journal]
- Kiyoshi Akama, Ekawit Nantajeewarawat
Formalization of the Equivalent Transformation Computation Model. [Citation Graph (0, 0)][DBLP] JACIII, 2006, v:10, n:3, pp:245-259 [Journal]
- Pongtawat Chippimolchai, Kiyoshi Akama, Vilas Wuwongse
Semantic Query Optimization: Correctness and Control. [Citation Graph (0, 0)][DBLP] JACIII, 2006, v:10, n:3, pp:270-280 [Journal]
- Takahiko Ishikawa, Kiyoshi Akama, Hiroshi Mabuchi
How to Make Programs from Problem Descriptions in the Equivalent Transformation Paradigm. [Citation Graph (0, 0)][DBLP] JACIII, 2003, v:7, n:3, pp:260-267 [Journal]
- Hidekatsu Koike, Kiyoshi Akama, Hiroshi Mabuchi
Dynamic Interaction of Syntactic and Semantic Analyses Based on the Equivalent Transformation Computation Model. [Citation Graph (0, 0)][DBLP] JACIII, 2006, v:10, n:3, pp:302-311 [Journal]
- Hiroshi Mabuchi, Kiyoshi Akama, Takahiko Ishikawa, Hidekatsu Koike
Integration of Syntactic Analysis and Semantic Interpretation Based on Equivalent Transformation. [Citation Graph (0, 0)][DBLP] JACIII, 2003, v:7, n:3, pp:306-314 [Journal]
- Yoshinori Shigeta, Kiyoshi Akama, Hiroshi Mabuchi, Hidekatsu Koike
Converting Constraint Handling Rules to Equivalent Transformation Rules. [Citation Graph (0, 0)][DBLP] JACIII, 2006, v:10, n:3, pp:339-348 [Journal]
- Itaru Takarajima, Kiyoshi Akama, Ikumi Imani, Hiroshi Mabuchi
Design of Nondeterministic Program Termination Based on the Equivalent Transformation Computation Model. [Citation Graph (0, 0)][DBLP] JACIII, 2006, v:10, n:3, pp:349-361 [Journal]
- Vilas Wuwongse, Kiyoshi Akama, Chutiporn Anutariya, Ekawit Nantajeewarawat
A Data Model for XML Databases. [Citation Graph (0, 0)][DBLP] J. Intell. Inf. Syst., 2003, v:20, n:1, pp:63-80 [Journal]
- Chutiporn Anutariya, Vilas Wuwongse, Kiyoshi Akama, Ekawit Nantajeewarawat
RDF Declarative Description (RDD): A Language for Metadata. [Citation Graph (0, 0)][DBLP] J. Digit. Inf., 2001, v:2, n:2, pp:- [Journal]
- Kiyoshi Akama, Hiroshi Mabuchi, Eiichi Miyamoto
A theoretical foundation for solving "no-solution" problems by abstraction. [Citation Graph (0, 0)][DBLP] Systems and Computers in Japan, 2000, v:31, n:1, pp:1-10 [Journal]
- Hidehiro Kobayashi, Masaharu Munetomo, Kiyoshi Akama, Yoshiharu Sato
Designing a distributed algorithm for bandwidth allocation with a genetic algorithm. [Citation Graph (0, 0)][DBLP] Systems and Computers in Japan, 2004, v:35, n:3, pp:37-45 [Journal]
- Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike
A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:59, n:4, pp:- [Journal]
- Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike
Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method. [Citation Graph (0, 0)][DBLP] Ershov Memorial Conference, 2006, pp:41-54 [Conf]
- Masaharu Munetomo, Asim Munawar, Kiyoshi Akama
A Framework of GRID Problem-Solving Environment Employing Robust Evolutionary Search. [Citation Graph (0, 0)][DBLP] EUROCAST, 2007, pp:473-480 [Conf]
- Masaharu Munetomo, Yuta Satake, Kiyoshi Akama
An Intelligent Scatter with Estimation of Distribution for Tabu Search. [Citation Graph (0, 0)][DBLP] EUROCAST, 2007, pp:465-472 [Conf]
- Hidekatsu Koike, Kiyoshi Akama, Chiharu Ishikawa, Nagatomo Nakamura, Shinya Watanabe
Toward a software development model for automatic marking software. [Citation Graph (0, 0)][DBLP] SIGUCCS, 2007, pp:190-193 [Conf]
- Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama
Linkage identification for real-valued loci by fitness difference classification. [Citation Graph (0, 0)][DBLP] Congress on Evolutionary Computation, 2005, pp:1317-1324 [Conf]
- Masaharu Munetomo, Naoya Murao, Kiyoshi Akama
Empirical studies on parallel network construction of Bayesian optimization algorithms. [Citation Graph (0, 0)][DBLP] Congress on Evolutionary Computation, 2005, pp:1524-1531 [Conf]
A General Service-Oriented Grid Computing Framework for Global Optimization Problem Solving. [Citation Graph (, )][DBLP]
Empirical investigations on parallel competent genetic algorithms. [Citation Graph (, )][DBLP]
SOAG: Service Oriented Architectured Grids and adoption of application specific QoS attributes. [Citation Graph (, )][DBLP]
Model for dynamic grain sizing through compound parallelization for an optimization problem solving grid application. [Citation Graph (, )][DBLP]
A Survey: Genetic Algorithms and the Fast Evolving World of Parallel Computing. [Citation Graph (, )][DBLP]
Solving Large Instances of Capacitated Vehicle Routing Problem over Cell BE. [Citation Graph (, )][DBLP]
MHGrid: Towards an Ideal Optimization Environment for Global Optimization Problems Using Grid Computing. [Citation Graph (, )][DBLP]
Conceptual Modelling and Program Generation for Dynamic Interactive Systems. [Citation Graph (, )][DBLP]
Theoretical and Empirical Analysis of a GPU Based Parallel Bayesian Optimization Algorithm. [Citation Graph (, )][DBLP]
A network design problem by a GA with linkage identification and recombination for overlapping building blocks. [Citation Graph (, )][DBLP]
Optimization problem solving framework employing GAs with linkage identification over a grid environment. [Citation Graph (, )][DBLP]
XML Declarative Description with First-Order Logical Constraints. [Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.648secs
|