Koji Nakagawa

14 papers B 2C 2Journal 2Unranked 8
YearRankTypeTitle / Venue / Authors
2022 — conf
Noncontact Measurement of Oxygen Saturation with Dual Near Infrared Imaging for Daily Health Monitoring.
SII
Koji Nakagawa, Hiroaki Kawamoto, Yoshiyuki Sankai
2013 — conf
A Server-Based System Supporting Motor Learning through Real-Time and Reflective Learning Activities.
HCI (2)
Naka Gotoda, Yoshihisa Sakurai, Kenji Matsuura, Koji Nakagawa, Chikara Miyaji
2013 C conf
Design of Tennis Training with Shot-timing Feedback based on Trajectory Prediction of Ball.
ICCE
Naka Gotoda, Kenji Matsuura, Koji Nakagawa, Chikara Mikaji
2012 C conf
A Coaching CMS with Wireless Sensors using ANT+ Connectivity Solution.
ICCE
Naka Gotoda, Yoshihisa Sakurai, Kenji Matsuura, Koji Nakagawa, Chikara Miyaji
2011 — conf
Inconsistency-Driven Chemical Graph Construction in ChemInfty.
GREC
Daniel Karzel, Koji Nakagawa, Akio Fujiyoshi, Masakazu Suzuki
2010 B conf
Ground-truthed dataset of chemical structure images in Japanese published patent applications.
Document Analysis Systems
Koji Nakagawa, Akio Fujiyoshi, Masakazu Suzuki
2007 B conf
An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks.
CASC
Hiroshi Yoshida, Koji Nakagawa, Hirokazu Anai, Katsuhisa Horimoto
2007 — conf
Exact Parameter Determination for Parkinson's Disease Diagnosis with PET Using an Algebraic Approach.
AB
Hiroshi Yoshida, Koji Nakagawa, Hirokazu Anai, Katsuhisa Horimoto
2006 J jnl
Logicographic symbols.
J. Symb. Comput.
Koji Nakagawa
2006 J jnl
Theorema: Towards computer-aided mathematical theory exploration.
J. Appl. Log.
Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz, Wolfgang Windsteiger
2005 — conf
Mathematical Knowledge Browser with Automatic Hyperlink Detection.
MKM
Koji Nakagawa, Masakazu Suzuki
2004 — conf
Extraction of Logical Structure from Articles in Mathematics.
MKM
Koji Nakagawa, Akihiro Nomura, Masakazu Suzuki
1999 — conf
User--system interaction within Theorema.
Calculemus
Koji Nakagawa, Felix Kossak
1997 — conf
Higher-Order Lazy Narrowing Calculus: A Computation Model for a Higher-Order Functional Logic Language.
ALP/HOA
Taro Suzuki, Koji Nakagawa, Tetsuo Ida