#### Filter Results:

- Full text PDF available (2)

#### Publication Year

2008

2014

- This year (0)
- Last 5 years (1)
- Last 10 years (2)

#### Co-author

#### Journals and Conferences

Learn More

This paper proposes a knowledge representation system by extension of the concept of atom. Not only conventional simple atoms, but also atoms representing first-order formulas, which are called formula atoms, are used. By this extension, predicates, logical connectives, and quantifiers may occur in atoms, and can be regarded as objects in the same class,… (More)

- Hiroo Kato, Yasuyuki Nogami, Tadayuki Yoshida, Kenta Nekado, Sumitaka Takeuchi, Yoshitaka Morikawa
- 2008 Third International Conference on…
- 2008

This paper first introduces cyclic vector multiplication algorithm (CVMA) that is a multiplication algorithm in extension field. Then, it is also introduced that CVMA is useful under the tight restrictions of pairing-based cryptographies. Then, this paper points out a problem about the calculation cost of CVMA. For this problem, this paper proposes an… (More)

- ‹
- 1
- ›