Yoshikatsu Ohta

13 papers Journal 6Unranked 7
YearRankTypeTitle / Venue / Authors
2014 — conf
History-based Incentive for Crowd Sensing.
IWWISS
Tomoya Tsujimori, Niwat Thepvilojanapong, Yoshikatsu Ohta, Yunlong Zhao, Yoshito Tobe
2013 — conf
Participation-Aware Incentive for Active Crowd Sensing.
HPCC/EUC
Niwat Thepvilojanapong, Kai Zhang, Tomoya Tsujimori, Yoshikatsu Ohta, Yunlong Zhao, Yoshito Tobe
2012 — conf
A design of software adaptive to estimated user's mental state using pulse wave analysis.
INSS
Shun Arai, Kazuhisa Ohira, Niwat Thepvilojanapong, Nobuji Tetsutani, Yoshito Tobe, Mayumi Oyama-Higa, Yoshikatsu Ohta
2012 — conf
Exploring analysis of football actions considering correlation of joints in the body.
INSS
Keisuke Kato, Yutaka Namiki, Niwat Thepvilojanapong, Nobuji Tetsutani, Yoshikatsu Ohta
2009 J jnl
Adaptive Kernel Quantile Regression for Anomaly Detection.
J. Adv. Comput. Intell. Intell. Informatics
Hiroyuki Moriguchi, Ichiro Takeuchi, Masayuki Karasuyama, Shin-ichi Horikawa, Yoshikatsu Ohta, Tetsuji Kodama, Hiroshi Naruse
2006 J jnl
The Joinability and Related Decision Problems for Semi-constructor TRSs.
Inf. Media Technol.
Ichiro Mitsuhashi, Michio Oyamaguchi, Yoshikatsu Ohta, Toshiyuki Yamada
2004 J jnl
On the Open Problems Concerning Church-Rosser of Left-Linear Term Rewriting Systems.
IEICE Trans. Inf. Syst.
Michio Oyamaguchi, Yoshikatsu Ohta
2004 — conf
The Joinability and Unification Problems for Confluent Semi-constructor TRSs.
RTA
Ichiro Mitsuhashi, Michio Oyamaguchi, Yoshikatsu Ohta, Toshiyuki Yamada
2003 J jnl
The unification problem for confluent right-ground term rewriting systems.
Inf. Comput.
Michio Oyamaguchi, Yoshikatsu Ohta
2001 — conf
The Unification Problem for Confluent Right-Ground Term Rewriting Systems.
RTA
Michio Oyamaguchi, Yoshikatsu Ohta
1997 — conf
A New Parallel Closed Condition for Church-Rossser of Left-Linear Term Rewriting Systems.
RTA
Michio Oyamaguchi, Yoshikatsu Ohta
1988 J jnl
Pattern-Directed Programming System for Lisp.
Syst. Comput. Jpn.
Tetsuya Kawamura, Yoshikatsu Ohta, Yuuji Yoshida, Teruo Fukumura
1987 J jnl
Analysis of list structures generated by lisp functions.
Syst. Comput. Jpn.
Yoshikatsu Ohta, Yuuji Yoshida, Teruo Fukumura