EasyChair Smart SlideDocs/Log in
Author: Katsumi Inoue

This page shows all presentations of this author published in EasyChair Smart Slide.

DPS: a Framework for Deterministic Parallel SAT Solvers

DPS: a Framework for Deterministic Parallel SAT Solvers

Hidetomo Nabeshima, Tsubasa Fukiage, Yuto Obitsu, Xiao-Nan Lu and Katsumi Inoue

Learning Commonsense Knowledge through Interactive Dialogue

Learning Commonsense Knowledge through Interactive Dialogue

Benjamin Wu, Alessandra Russo, Mark Law and Katsumi Inoue

Partial Evaluation of Logic Programs in Vector Spaces

Partial Evaluation of Logic Programs in Vector Spaces

Chiaki Sakama, Hien Nguyen, Taisuke Sato and Katsumi Inoue

Presentations in this collection: 3
Copyright © 2002 – 2024 EasyChair