Výsledky vyhledávání - "Yoshinobu Kawabe"

Deterrence-Based Trust: A Study on Improving the Credibility of Social Media Messages in Disaster Using Registered Volunteers

Autor: Yoshinobu Kawabe, Masakatsu Nishigaki, Tetsushi Ohki, Yuki Koizumi, Toru Hasegawa, Takumi Kitagawa

Publikováno v: Advances in Networked-Based Information Systems ISBN: 9783030849122
NBiS

There is increasing recognition of the importance of social media in information transmission during disasters. However, it is difficult to distinguish between credible information and non-credible information from the deluge of content on social med

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::c2021171f5d03a8a9c4b5eb1cfc7fa45
https://doi.org/10.1007/978-3-030-84913-9_17

Zobrazit plný text záznamu

Assessment of BAR

Autor: Yoshiki Fukushige, Nobuhiro Ito, Yoshinobu Kawabe, Kazunori Iwata, Shivashish Jaishy

Publikováno v: International Journal of Software Innovation. 5:1-17

In the Multi-Agent Systems, many agents work together towards achieving a defined goal. As it may be difficult for the agents to work in a dynamic environment, the current concept is trying to focus on the issues of situation where there may be cases

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::bb38eb5a64ccfccdebfb7fcdf87e4fd2
https://doi.org/10.4018/ijsi.2017070101

Zobrazit plný text záznamu

DiReCT: Disaster Response Coordination with Trusted Volunteers

Autor: Masakatsu Nishigaki, Mohammad Jahanian, Yoshinobu Kawabe, Amr Magdy, Toru Hasegawa, Tetsushi Ohki, Kadangode K. Ramakrishnan, Yuki Koizumi

Publikováno v: ICT-DM

In disaster management, timely delivery of the right information to the right people can improve outcomes and save lives. With fewer first responders available, volunteers play an increasing role in disaster assistance. A communication framework that

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::03be7f6828fdfb87e05fff77fd50e275
https://doi.org/10.1109/ict-dm47966.2019.9032915

Zobrazit plný text záznamu

Problem Solving with Interactive-Theorem Proving - A Case Study

Autor: Yoshinobu Kawabe, Shivashish Jaishy, Nobuhiro Ito

Publikováno v: 2016 4th Intl Conf on Applied Computing and Information Technology/3rd Intl Conf on Computational Science/Intelligence and Applied Informatics/1st Intl Conf on Big Data, Cloud Computing, Data Science & Engineering (ACIT-CSII-BCD).

With the development of artificial intelligence technology over several decades, it is getting possible to find useful knowledge from an enormous amount of data. Also, it is getting possible to solve the difficult problems which cannot be solved by a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::bbacb382f75e4421d507bf9b79477648
https://doi.org/10.1109/acit-csii-bcd.2016.064

Zobrazit plný text záznamu

On Computer-Assisted Verification of Timed Anonymity of Multi-Agent Systems

Autor: Nobuhiro Ito, Yoshinobu Kawabe

A multi-agent system is called anonymous if an adversary who can observe all the occurrences of events from the system cannot determine who is the "actor agent" of the events. Many agent systems such as e-voting or e-cash systems should guarantee the

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::457aca281eaa88bb2d3e796dc883ea8d
https://doi.org/10.1109/acit-csii-bcd.2016.065

Zobrazit plný text záznamu

An Evaluation of BAR: Breakdown Agent Replacement Algorithm for SCRAM

Autor: Kazunori Iwata, Shivashish Jaishy, Yoshiki Fukushige, Yoshinobu Kawabe, Nobuhiro Ito

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::f59123c86a31ccc264759b1672212d07
https://doi.org/10.1109/acit-csii-bcd.2016.067

Zobrazit plný text záznamu

A* Algorithm with Expected Value: Path Planning That Avoids Stochastic Traffic Obstacles

Autor: Yoshiyuki Kozuka, Toshiyuki Hayashi, Kazunori Iwata, Yoshinobu Kawabe, Takashi Syamoto, Nobuhiro Ito

Publikováno v: 2016 IEEE International Conference on Agents (ICA).

We propose an extended algorithm for path planning within environments in which there are stochastic traffic obstacles. Related works on path planning (e.g., works employing the A* algorithm) have not considered traffic obstacles but how quickly the

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::30c7ee32974dc0e8b9d1e8aa787c9844
https://doi.org/10.1109/ica.2016.034

Zobrazit plný text záznamu

Probabilistic anonymity via coalgebraic simulations

Autor: Yoshinobu Kawabe, Hideki Sakurada, Ichiro Hasuo

Publikováno v: Nicola, R. (ed.), Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24-April 1, 2007, Proceedings, 379-394. Berlin; New York : Springer
STARTPAGE=379;ENDPAGE=394;ISSN=0302-9743;TITLE=Nicola, R. (ed.), Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24-April 1, 2007, Proceedings
Nicola, R. (ed.), Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24-April 1, 2007, Proceedings, pp. 379-394

There is a growing concern about anonymity and privacy on the Internet, resulting in lots of work on formalization and verification of anonymity. In particular, the importance of probabilistic aspects of anonymity has recently been highlighted by man

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fe458768e7fabbe3439797821bdbf745
https://doi.org/10.1016/j.tcs.2010.01.031

Zobrazit plný text záznamu

Role Interchange for Anonymity and Privacy of Voting

Autor: Ken Mano, Yoshinobu Kawabe, Yasuyuki Tsukada, Hideki Sakurada

Publikováno v: Journal of Logic and Computation. 20:1251-1288

We propose a new information-hiding property called role interchangeability for the verification of the anonymity and privacy of security protocols. First, we formally specify the new property in multi-agent systems, and describe its relationship wit

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::74211a8f1c88b275f55c773a6b192add
https://doi.org/10.1093/logcom/exq013

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání