Mikio Yoshida

Publication Activity (10 Years)

Years Active: 1984-2014
Publications (10 Years): 0

Top Topics

Quantifier Elimination

Expressive Power

Probabilistic Reasoning

Top Venues

J. Inf. Sci. Eng.

Publications

Hideaki Suzuki, Mikio Yoshida, Hidefumi Sawai
A Network Representation of First-Order Logic That Uses Token Evolution for Inference. J. Inf. Sci. Eng. 30 (3) (2014)
Hideaki Suzuki, Mikio Yoshida, Hidefumi Sawai
A Data-Flow Network That Represents First-Order Logic for Inference. TAAI (2012)
Mikio Yoshida, Hideaki Suzuki, Hidefumi Sawai
P2P-Based Scalable Execution Platform for Algorithmically Transitive Network. BIONETICS (2010)
Yoshimasa Ishi, Yuuichi Teranishi, Mikio Yoshida, Susumu Takeuchi, Shinji Shimojo, Shojiro Nishio
Range-Key Extension of the Skip Graph. GLOBECOM (2010)
Susumu Takeuchi, Jun Shinomiya, Toru Shiraki, Yoshimasa Ishi, Yuuichi Teranishi, Mikio Yoshida, Shinji Shimojo
A Large Scale Key-Value Store Based on Range-Key Skip Graph and Its Applications. DASFAA (2) (2010)
Yuuichi Teranishi, Hirokazu Tanaka, Yoshimasa Ishi, Mikio Yoshida
A Geographical Observation System based on P2P Agents. PerCom (2008)
Manzoor Hashmani, Mikio Yoshida, Takeshi Ikenaga, Yuji Oie
Management and Realization of SLA for Providing Network QoS. ICN (1) (2001)
Mikio Yoshida, Ken-ichiro Fukuda, Toshihisa Takagi
PNAD-CSS: a workbench for constructing a protein name abbreviation dictionary. Bioinform. 16 (2) (2000)
Mikio Yoshida, Yuri A. Tijerino, Shinji Abe, Fumio Kishino
A Virtual Space Teleconferencing System that Supports Intuitive Interaction for Creative and Cooperative Work. SI3D (1995)
Susumu Yamasaki, Mikio Yoshida, Shuji Doshita
A Fixpoint Semantics of Horn Sentences Based on Substitution Sets. Theor. Comput. Sci. 51 (1987)
Susumu Yamasaki, Mikio Yoshida, Shuji Doshita, Mikito Hirata
A New Combination of Input and Unit Deductions for Horn Sentences. Inf. Process. Lett. 18 (4) (1984)