Atsuyuki Suzuki

23 papers A* 1B 3C 2Journal 3Unranked 14
YearRankTypeTitle / Venue / Authors
2017 A* conf
Joint Intensity and Spatial Metric Learning for Robust Gait Recognition.
CVPR
Yasushi Makihara, Atsuyuki Suzuki, Daigo Muramatsu, Xiang Li, Yasushi Yagi
2016 — conf
Gait collector: An automatic gait data collection system in conjunction with an experience-based long-run exhibition.
ICB
Yasushi Makihara, Takuhiro Kimura, Fumio Okura, Ikuhisa Mitsugami, Masataka Niwa, Chihiro Aoki, Atsuyuki Suzuki, Daigo Muramatsu, Yasushi Yagi
2005 — conf
A Discrete Event Control Based on EVALPSN Stable Model Computation.
RSFDGrC (1)
Kazumi Nakamatsu, Sheng-Luen Chung, Hayato Komaba, Atsuyuki Suzuki
2005 — conf
A Discrete Event Control Based on EVALPSN Stable Model.
LAPTEC
Kazumi Nakamatsu, Hayato Komaba, Atsuyuki Suzuki
2005 — conf
An EVALP Based Traffic Simulation System.
LAPTEC
Kazumi Nakamatsu, Ryuji Ishikawa, Atsuyuki Suzuki
2005 — conf
Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence I.
LAPTEC
Kazumi Nakamatsu, Atsuyuki Suzuki
2005 — conf
Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence II.
LAPTEC
Kazumi Nakamatsu, Atsuyuki Suzuki
2005 — conf
Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence III.
LAPTEC
Kazumi Nakamatsu, Atsuyuki Suzuki
2005 — conf
Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence IV.
LAPTEC
Kazumi Nakamatsu, Atsuyuki Suzuki
2005 — conf
Autoepistemic Theory and Paraconsistent Logic Program.
LAPTEC
Kazumi Nakamatsu, Atsuyuki Suzuki
2005 — conf
Intelligent Safety Verification for Pipeline Based on EVALPSN.
LAPTEC
Kazumi Nakamatsu, Kenji Kawasumi, Atsuyuki Suzuki
2004 B conf
A Paraconsistent Logic Program Based Control for a Discrete Event Cat and Mouse.
KES
Kazumi Nakamatsu, Ryuji Ishikawa, Atsuyuki Suzuki
2004 J jnl
Analysis of the decision to invest for constructing a nuclear power plant under regulation of electricity price.
Decis. Support Syst.
Shin'ichiro Takizawa, Atsuyuki Suzuki
2004 — conf
Defeasible Deontic Control for Discrete Events Based on EVALPSN.
Rough Sets and Current Trends in Computing
Kazumi Nakamatsu, Hayato Komaba, Atsuyuki Suzuki, Chung-Lun Lie, Sheng-Luen Chung
2004 B conf
EVALPSN Based Railway Interlocking Simulator.
KES
Kazumi Nakamatsu, Yosuke Kiuchi, Atsuyuki Suzuki
2003 — conf
Intelligent Real-Time Traffic Signal Control Based on a Paraconsistent Logic Program EVALPSN.
RSFDGrC
Kazumi Nakamatsu, Toshiaki Seno, Jair Minoro Abe, Atsuyuki Suzuki
2002 C conf
A Railway Interlocking Safety Verification System Based on Abductive Paraconsistent Logic Programming.
HIS
Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki
2001 C conf
Extended Vector Annotated Logic Program and its Applications to Robot Action Control and Automated Safety Verification.
HIS
Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki
2001 J jnl
The Use of Genetic Algorithms for the Improvement of Energy Characteristics of CdZnTe Semiconductor Detectors.
Genet. Program. Evolvable Mach.
Noha Shaaban, Shuichi Hasegawa, Atsuyuki Suzuki, Hiroyuki Takahashi
2000 — conf
Annotated Semantics for Defeasible Deontic Reasoning.
Rough Sets and Current Trends in Computing
Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki
1999 B conf
An Interoperative Environment for Developing Expert Systems.
EKAW
Noriaki Izumi, Akira Maruyama, Atsuyuki Suzuki, Takahira Yamaguchi
1997 — conf
A Non-monotonic ATMS Based on Annotated Logic Programs with Strong Negation.
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications
Kazumi Nakamatsu, Atsuyuki Suzuki
1988 J jnl
Space-time theory GQOT and its application to concurrent processes.
Syst. Comput. Jpn.
Koichiro Tanabe, Atsuyuki Suzuki