Atsuyuki Suzuki

According to our database, Atsuyuki Suzuki authored at least 23 papers between 1988 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

Joint Intensity and Spatial Metric Learning for Robust Gait Recognition.

Yasushi Makihara, Atsuyuki Suzuki, Daigo Muramatsu, Xiang Li, Yasushi Yagi

Proceedings of the 2017 IEEE Conference on Computer Vision and Pattern Recognition, 2017

2016

Gait collector: An automatic gait data collection system in conjunction with an experience-based long-run exhibition.

Yasushi Makihara, Takuhiro Kimura, Fumio Okura, Ikuhisa Mitsugami, Masataka Niwa, Chihiro Aoki, Atsuyuki Suzuki, Daigo Muramatsu, Yasushi Yagi

Proceedings of the International Conference on Biometrics, 2016

2005

A Discrete Event Control Based on EVALPSN Stable Model Computation.

Kazumi Nakamatsu, Sheng-Luen Chung, Hayato Komaba, Atsuyuki Suzuki

Proceedings of the Rough Sets, 2005

Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence IV.

Kazumi Nakamatsu, Atsuyuki Suzuki

Proceedings of the Advances in Logic Based Intelligent Systems, 2005

Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence III.

Kazumi Nakamatsu, Atsuyuki Suzuki

Proceedings of the Advances in Logic Based Intelligent Systems, 2005

Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence II.

Kazumi Nakamatsu, Atsuyuki Suzuki

Proceedings of the Advances in Logic Based Intelligent Systems, 2005

Annotated Semantics for Nonmonotonic Reasonings in Artificial Intelligence I.

Kazumi Nakamatsu, Atsuyuki Suzuki

Proceedings of the Advances in Logic Based Intelligent Systems, 2005

Autoepistemic Theory and Paraconsistent Logic Program.

Kazumi Nakamatsu, Atsuyuki Suzuki

Proceedings of the Advances in Logic Based Intelligent Systems, 2005

A Discrete Event Control Based on EVALPSN Stable Model.

Kazumi Nakamatsu, Hayato Komaba, Atsuyuki Suzuki

Proceedings of the Advances in Logic Based Intelligent Systems, 2005

Intelligent Safety Verification for Pipeline Based on EVALPSN.

Kazumi Nakamatsu, Kenji Kawasumi, Atsuyuki Suzuki

Proceedings of the Advances in Logic Based Intelligent Systems, 2005

An EVALP Based Traffic Simulation System.

Kazumi Nakamatsu, Ryuji Ishikawa, Atsuyuki Suzuki

Proceedings of the Advances in Logic Based Intelligent Systems, 2005

2004

Analysis of the decision to invest for constructing a nuclear power plant under regulation of electricity price.

Shin'ichiro Takizawa, Atsuyuki Suzuki

Decis. Support Syst., 2004

Defeasible Deontic Control for Discrete Events Based on EVALPSN.

Kazumi Nakamatsu, Hayato Komaba, Atsuyuki Suzuki, Chung-Lun Lie, Sheng-Luen Chung

Proceedings of the Rough Sets and Current Trends in Computing, 2004

EVALPSN Based Railway Interlocking Simulator.

Kazumi Nakamatsu, Yosuke Kiuchi, Atsuyuki Suzuki

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2004

A Paraconsistent Logic Program Based Control for a Discrete Event Cat and Mouse.

Kazumi Nakamatsu, Ryuji Ishikawa, Atsuyuki Suzuki

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2004

2003

Intelligent Real-Time Traffic Signal Control Based on a Paraconsistent Logic Program EVALPSN.

Kazumi Nakamatsu, Toshiaki Seno, Jair Minoro Abe, Atsuyuki Suzuki

Proceedings of the Rough Sets, 2003

2002

A Railway Interlocking Safety Verification System Based on Abductive Paraconsistent Logic Programming.

Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki

Proceedings of the Soft Computing Systems - Design, Management and Applications, 2002

2001

The Use of Genetic Algorithms for the Improvement of Energy Characteristics of CdZnTe Semiconductor Detectors.

Noha Shaaban, Shuichi Hasegawa, Atsuyuki Suzuki, Hiroyuki Takahashi

Genet. Program. Evolvable Mach., 2001

Extended Vector Annotated Logic Program and its Applications to Robot Action Control and Automated Safety Verification.

Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki

Proceedings of the Hybrid Information Systems, 2001

2000

Annotated Semantics for Defeasible Deontic Reasoning.

Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki

Proceedings of the Rough Sets and Current Trends in Computing, 2000

1999

An Interoperative Environment for Developing Expert Systems.

Noriaki Izumi, Akira Maruyama, Atsuyuki Suzuki, Takahira Yamaguchi

Proceedings of the Knowledge Acquisition, Modeling and Management, 11th European Workshop, 1999

1997

A Non-monotonic ATMS Based on Annotated Logic Programs with Strong Negation.

Kazumi Nakamatsu, Atsuyuki Suzuki

Proceedings of the Agents and Multi-Agent Systems Formalisms, 1997

1988

Space-time theory GQOT and its application to concurrent processes.

Koichiro Tanabe, Atsuyuki Suzuki

Syst. Comput. Jpn., 1988