Takahiro Seki

17 papers A 1Journal 13Unranked 3
YearRankTypeTitle / Venue / Authors
2020 — conf
Constructing a Learning Management System for Video Production Using Multiple Online Software.
TALE
Takahiro Seki, Asahi Niikura, Kyoko Hidaka
2016 J jnl
Online Weight Balancing on the Unit Circle.
IEICE Trans. Inf. Syst.
Hiroshi Fujiwara, Takahiro Seki, Toshihiro Fujito
2015 J jnl
Halldén Completeness for Relevant Modal Logics.
Notre Dame J. Formal Log.
Takahiro Seki
2013 — conf
Online Weight Balancing on the Unit Circle.
JCDCGG
Hiroshi Fujiwara, Takahiro Seki, Toshihiro Fujito
2013 J jnl
Some Metacomplete Relevant Modal Logics.
Stud Logica
Takahiro Seki
2012 J jnl
An Algebraic Proof of the Admissibility of γ in Relevant Modal Logics.
Stud Logica
Takahiro Seki
2012 J jnl
Metacompleteness of Substructural Logics.
Stud Logica
Takahiro Seki
2011 J jnl
The
Stud Logica
Takahiro Seki
2011 J jnl
The
Stud Logica
Takahiro Seki
2009 J jnl
Completness of relevant modal logics with disjunctive rules.
Reports Math. Log.
Takahiro Seki
2007 — conf
Multiple Viewed Search Engine for an e-Journal - A Case Study on Zoological Science.
HCI (4)
Takahiro Seki, Taiki Wada, Yasuhiro Yamada, Nozomi Ytow, Sachio Hirokawa
2005 J jnl
Dynamic Voltage and Frequency Management for a Low-Power Embedded Microprocessor.
IEICE Trans. Electron.
Takahiro Seki, Satoshi Akui, Katsunori Seno, Masakatsu Nakai, Tetsumasa Meguro, Tetsuo Kondo, Akihiko Hashiguchi, Hirokazu Kawahara, Kazuo Kumano, Masayuki Shimura
2005 J jnl
Dynamic voltage and frequency management for a low-power embedded microprocessor.
IEEE J. Solid State Circuits
Masakatsu Nakai, Satoshi Akui, Katsunori Seno, Tetsumasa Meguro, Takahiro Seki, Tetsuo Kondo, Akihiko Hashiguchi, Hirokazu Kawahara, Kazuo Kumano, Masayuki Shimura
2004 J jnl
Noise Robust Speech Recognition Using
IEICE Trans. Inf. Syst.
Koji Iwano, Takahiro Seki, Sadaoki Furui
2003 J jnl
A Sahlqvist Theorem for Relevant Modal Logics.
Stud Logica
Takahiro Seki
2003 J jnl
General Frames for Relevant Modal Logics.
Notre Dame J. Formal Log.
Takahiro Seki
2002 A conf
Noise robust speech recognition using F0 contour extracted by hough transform.
INTERSPEECH
Koji Iwano, Takahiro Seki, Sadaoki Furui