2008 |
71 | EE | Miwako Tsuji,
Masaharu Munetomo,
Kiyoshi Akama:
Empirical investigations on parallel competent genetic algorithms.
GECCO 2008: 1073-1080 |
70 | EE | 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: 316-321 |
69 | EE | Mohamed Wahib,
Asim Munawar,
Masaharu Munetomo,
Kiyoshi Akama:
SOAG: Service Oriented Architectured Grids and adoption of application specific QoS attributes.
GRID 2008: 346-351 |
68 | EE | Asim Munawar,
Mohamed Wahib,
Masaharu Munetomo,
Kiyoshi Akama:
Solving Large Instances of Capacitated Vehicle Routing Problem over Cell BE.
HPCC 2008: 131-138 |
67 | EE | Asim Munawar,
Mohamed Wahib,
Masaharu Munetomo,
Kiyoshi Akama:
A Survey: Genetic Algorithms and the Fast Evolving World of Parallel Computing.
HPCC 2008: 897-902 |
66 | EE | Mohamed Wahib,
Asim Munawar,
Masaharu Munetomo,
Kiyoshi Akama:
A General Service-Oriented Grid Computing Framework for Global Optimization Problem Solving.
IEEE SCC (2) 2008: 563-566 |
65 | EE | Courtney Powell,
Kiyoshi Akama,
Toshihiro Wakatsuki:
Conceptual Modelling and Program Generation for Dynamic Interactive Systems.
PDCAT 2008: 285-294 |
64 | EE | Asim Munawar,
Mohamed Wahib,
Masaharu Munetomo,
Kiyoshi Akama:
Parallel GEAs with Linkage Analysis over Grid.
Linkage in Evolutionary Computation 2008: 159-187 |
63 | EE | Miwako Tsuji,
Masaharu Munetomo,
Kiyoshi Akama:
A Network Design Problem by a GA with Linkage Identification and Recombination for Overlapping Building Blocks.
Linkage in Evolutionary Computation 2008: 441-459 |
62 | EE | Masaharu Munetomo,
Naoya Murao,
Kiyoshi Akama:
Introducing assignment functions to Bayesian optimization algorithms.
Inf. Sci. 178(1): 152-163 (2008) |
2007 |
61 | EE | Masaharu Munetomo,
Yuta Satake,
Kiyoshi Akama:
An Intelligent Scatter with Estimation of Distribution for Tabu Search.
EUROCAST 2007: 465-472 |
60 | EE | Masaharu Munetomo,
Asim Munawar,
Kiyoshi Akama:
A Framework of GRID Problem-Solving Environment Employing Robust Evolutionary Search.
EUROCAST 2007: 473-480 |
59 | EE | 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: 1191-1198 |
58 | EE | 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: 349-356 |
57 | EE | Mohamed Wahib,
Asim Munawar,
Masaharu Munetomo,
Kiyoshi Akama:
MHGrid: Towards an Ideal Optimization Environment for Global Optimization Problems Using Grid Computing.
PDCAT 2007: 167-168 |
56 | EE | Hidekatsu Koike,
Kiyoshi Akama,
Chiharu Ishikawa,
Nagatomo Nakamura,
Shinya Watanabe:
Toward a software development model for automatic marking software.
SIGUCCS 2007: 190-193 |
55 | EE | Masaru Tezuka,
Masaharu Munetomo,
Kiyoshi Akama:
Genetic Algorithm to Optimize Fitness Function with Sampling Error and its Application to Financial Optimization Problem.
Evolutionary Computation in Dynamic and Uncertain Environments 2007: 417-434 |
54 | EE | Kiyoshi Akama,
Ekawit Nantajeewarawat:
State-Transition Computation Models and Program Correctness Thereon.
JACIII 11(10): 1250-1261 (2007) |
53 | EE | Hiroshi Mabuchi,
Kiyoshi Akama,
Hidekatsu Koike,
Katsunori Miura:
Infinite Computation in the Equivalent Transformation Model.
JACIII 11(2): 176-186 (2007) |
52 | EE | Hiroshi Mabuchi,
Kiyoshi Akama,
Katsunori Miura,
Takahiko Ishikawa:
Constraint Solving Specializations for Equality on an Interval-Variable Domain.
JACIII 11(2): 210-219 (2007) |
51 | EE | Ekawit Nantajeewarawat,
Kiyoshi Akama,
Hidekatsu Koike:
Expanding Transformation: A Basis for Correctness Verification of Rewriting Rules.
JACIII 11(5): 478-490 (2007) |
2006 |
50 | EE | Kiyoshi Akama,
Ekawit Nantajeewarawat,
Hidekatsu Koike:
Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method.
Ershov Memorial Conference 2006: 41-54 |
49 | EE | Miwako Tsuji,
Masaharu Munetomo,
Kiyoshi Akama:
A crossover for complex building blocks overlapping.
GECCO 2006: 1337-1344 |
48 | EE | Hiroshi Mabuchi,
Kiyoshi Akama,
Toshihiro Wakatsuki:
Equivalent Transformation Rules as Components of Programs.
ICICIC (2) 2006: 282-287 |
47 | EE | Hidekatsu Koike,
Kiyoshi Akama,
Hiko Morita,
Katsunori Miura:
Using an automatic marking system for programming courses.
SIGUCCS 2006: 173-178 |
46 | EE | Miwako Tsuji,
Masaharu Munetomo,
Kiyoshi Akama:
Linkage Identification by Fitness Difference Clustering.
Evolutionary Computation 14(4): 383-409 (2006) |
45 | EE | Kiyoshi Akama,
Ekawit Nantajeewarawat:
Formalization of the Equivalent Transformation Computation Model.
JACIII 10(3): 245-259 (2006) |
44 | EE | Pongtawat Chippimolchai,
Kiyoshi Akama,
Vilas Wuwongse:
Semantic Query Optimization: Correctness and Control.
JACIII 10(3): 270-280 (2006) |
43 | EE | Hidekatsu Koike,
Kiyoshi Akama,
Hiroshi Mabuchi:
Dynamic Interaction of Syntactic and Semantic Analyses Based on the Equivalent Transformation Computation Model.
JACIII 10(3): 302-311 (2006) |
42 | EE | Yoshinori Shigeta,
Kiyoshi Akama,
Hiroshi Mabuchi,
Hidekatsu Koike:
Converting Constraint Handling Rules to Equivalent Transformation Rules.
JACIII 10(3): 339-348 (2006) |
41 | EE | Itaru Takarajima,
Kiyoshi Akama,
Ikumi Imani,
Hiroshi Mabuchi:
Design of Nondeterministic Program Termination Based on the Equivalent Transformation Computation Model.
JACIII 10(3): 349-361 (2006) |
2005 |
40 | EE | Miwako Tsuji,
Masaharu Munetomo,
Kiyoshi Akama:
Linkage identification for real-valued loci by fitness difference classification.
Congress on Evolutionary Computation 2005: 1317-1324 |
39 | EE | Masaharu Munetomo,
Naoya Murao,
Kiyoshi Akama:
Empirical studies on parallel network construction of Bayesian optimization algorithms.
Congress on Evolutionary Computation 2005: 1524-1531 |
38 | EE | Miwako Tsuji,
Masaharu Munetomo,
Kiyoshi Akama:
Population Sizing of Dependency Detection by Fitness Difference Classification.
FOGA 2005: 282-299 |
37 | | Hiroshi Mabuchi,
Kiyoshi Akama,
Hidekatsu Koike,
Takahiko Ishikawa:
Correctness Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain.
IC-AI 2005: 627-636 |
36 | EE | Hidekatsu Koike,
Takahiko Ishikawa,
Kiyoshi Akama,
Masaki Chiba,
Katsunori Miura:
Developing an e-learning System which enhances students' academic motivation.
SIGUCCS 2005: 147-150 |
2004 |
35 | EE | Masaru Tezuka,
Masaharu Munetomo,
Kiyoshi Akama:
Linkage Identification by Nonlinearity Check for Real-Coded Genetic Algorithms.
GECCO (2) 2004: 222-233 |
34 | EE | Miwako Tsuji,
Masaharu Munetomo,
Kiyoshi Akama:
Modeling Dependencies of Loci with String Classification According to Fitness Differences.
GECCO (2) 2004: 246-257 |
33 | | Hidemi Ogasawara,
Kiyoshi Akama,
Yoshinori Shigeta:
Equivalent Transformation Rules for a Class of Constraint Satisfaction Problems.
IC-AI 2004: 306-309 |
32 | | Yoshinori Shigeta,
Kiyoshi Akama,
Pongtawat Chippimolchai,
Takahiko Ishikawa:
A Comparison of Constraint Handling Rules with Equivalent Transformation Rules.
MSV/AMCS 2004: 345-351 |
31 | | Itaru Takarajima,
Kiyoshi Akama,
Yoshinori Shigeta,
Ikumi Imani:
Equivalent Transformation Computation Model.
MSV/AMCS 2004: 391-398 |
30 | EE | Masaharu Munetomo,
Naoya Murao,
Kiyoshi Akama:
Empirical Investigations on Parallelized Linkage Identification.
PPSN 2004: 322-331 |
29 | EE | Nimit Pattanasri,
Vilas Wuwongse,
Kiyoshi Akama:
XET as a Rule Language for Consistency Maintenance in UML.
RuleML 2004: 200-204 |
28 | EE | 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): 89-98 (2004) |
27 | EE | 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): 37-45 (2004) |
2003 |
26 | EE | Masaharu Munetomo,
Naoya Murao,
Kiyoshi Akama:
A Parallel Genetic Algorithm Based on Linkage Identification.
GECCO 2003: 1222-1233 |
25 | EE | Miwako Tsuji,
Masaharu Munetomo,
Kiyoshi Akama:
Metropolitan Area Network Design Using GA Based on Hierarchical Linkage Identification.
GECCO 2003: 1616-1617 |
24 | | Vilas Wuwongse,
Kiyoshi Akama,
Chutiporn Anutariya,
Ekawit Nantajeewarawat:
A Data Model for XML Databases.
J. Intell. Inf. Syst. 20(1): 63-80 (2003) |
23 | EE | Takahiko Ishikawa,
Kiyoshi Akama,
Hiroshi Mabuchi:
How to Make Programs from Problem Descriptions in the Equivalent Transformation Paradigm.
JACIII 7(3): 260-267 (2003) |
22 | EE | Hiroshi Mabuchi,
Kiyoshi Akama,
Takahiko Ishikawa,
Hidekatsu Koike:
Integration of Syntactic Analysis and Semantic Interpretation Based on Equivalent Transformation.
JACIII 7(3): 306-314 (2003) |
2002 |
21 | | Yuichi Yamamoto,
Kiyoshi Akama,
Masaharu Munetomo,
Takahiko Ishikawa:
A Foundation for Algorithm Generation by Transforming Meta-Descriptions.
FSKD 2002: 712- |
20 | | E. Boyd,
Kiyoshi Akama,
Takahiko Ishikawa,
Hidekatsu Koike:
Dynamic Interaction of Syntactic and Semantic Analysis by Equivalent Transformation.
IC-AI 2002: 1040-1046 |
19 | | Hiroshi Mabuchi,
Kiyoshi Akama,
Takahiko Ishikawa,
Y. Yamamoto:
Framework for Synthesis by Unfolding of Declarative Programs.
IC-AI 2002: 1060-1066 |
18 | | Kiyoshi Akama,
Hiroshi Mabuchi,
Takahiko Ishikawa,
E. Boyd:
A Basic Framework for Infinite Computation.
IC-AI 2002: 1080-1086 |
17 | EE | Kiyoshi Akama,
Ekawit Nantajeewarawat,
Hidekatsu Koike:
Program Synthesis Based on the Equivalent Transformation Computation Model.
LOPSTR 2002: 278-279 |
16 | | Kiyoshi Akama,
Chutiporn Anutariya,
Vilas Wuwongse,
Ekawit Nantajeewarawat:
Query Formulation and Evaluation of XML Databases.
WITASI 2002: 273-288 |
2001 |
15 | EE | Chutiporn Anutariya,
Vilas Wuwongse,
Kiyoshi Akama,
Ekawit Nantajeewarawat:
RDF Declarative Description (RDD): A Language for Metadata.
Dublin Core Conference 2001: 1-8 |
14 | EE | Kiyoshi Akama,
Hidekatsu Koike,
Hiroshi Mabuchi:
A Theoretical Foundation of Program Synthesis by Equivalent Transformation.
Ershov Memorial Conference 2001: 131-139 |
13 | EE | Kiyoshi Akama,
Hidekatsu Koike,
Hiroshi Mabuchi:
Equivalent Transformation by Safe Extension of Data Structures.
Ershov Memorial Conference 2001: 140-148 |
12 | EE | Chutiporn Anutariya,
Vilas Wuwongse,
Kiyoshi Akama,
Vichit Wattanapailin:
Semantic Web Modeling and Programming with XDD.
SWWS 2001: 161-180 |
11 | | Chutiporn Anutariya,
Vilas Wuwongse,
Kiyoshi Akama,
Vichit Wattanapailin:
Semantic Web Modeling and Programming with XDD.
The Emerging Semantic Web 2001 |
10 | EE | Vilas Wuwongse,
Kiyoshi Akama,
Chutiporn Anutariya,
Ekawit Nantajeewarawat:
A Data Model for XML Databases.
Web Intelligence 2001: 237-246 |
9 | EE | Kiyoshi Akama,
Ekawit Nantajeewarawat,
Hidekatsu Koike:
A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation.
Electr. Notes Theor. Comput. Sci. 59(4): (2001) |
8 | EE | Vilas Wuwongse,
Chutiporn Anutariya,
Kiyoshi Akama,
Ekawit Nantajeewarawat:
XML Declarative Description: A Language for the Semantic Web.
IEEE Intelligent Systems 16(3): 54-65 (2001) |
7 | EE | Chutiporn Anutariya,
Vilas Wuwongse,
Kiyoshi Akama,
Ekawit Nantajeewarawat:
RDF Declarative Description (RDD): A Language for Metadata.
J. Digit. Inf. 2(2): (2001) |
2000 |
6 | | Hiroshi Mabuchi,
Kiyoshi Akama,
Hidekatsu Koike,
Yoshinori Shigeta:
Synthesis of Conversion Rules by Expanding Knowledge Representation.
Artificial Intelligence and Soft Computing 2000: 434-440 |
5 | | Hiroshi Mabuchi,
Kiyoshi Akama,
Yoshinori Shigeta,
Hidekatsu Koike:
Semantic Interpretation by Rule-based Equivalent Transformation.
Artificial Intelligence and Soft Computing 2000: 472-478 |
4 | | Yoshinori Shigeta,
Kiyoshi Akama,
Hidekatsu Koike,
Hiroshi Mabuchi:
Unreachability for a Class of Rewriting Systems using Two Homomorphisms.
Artificial Intelligence and Soft Computing 2000: 494-500 |
3 | EE | Chutiporn Anutariya,
Vilas Wuwongse,
Ekawit Nantajeewarawat,
Kiyoshi Akama:
Towards a Foundation for XML Document Databases.
EC-Web 2000: 324-333 |
2 | EE | Kiyoshi Akama,
Hiroshi Mabuchi,
Eiichi Miyamoto:
A theoretical foundation for solving "no-solution" problems by abstraction.
Systems and Computers in Japan 31(1): 1-10 (2000) |
1986 |
1 | | Kiyoshi Akama:
Inheritance Hierarchy Mechanism in Prolog.
LP 1986: 12-21 |