Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Hitoshi Ogawa

dblp:53/6456 · DBLP profile ↗
← Back
10ranked-venue papers
4as first author
0since 2021 · last 2013
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 8 · 4 first-authorGraphics, computer vision, multimedia, augmented reality and games · 4 · 3 first-authorHuman-computer interaction and ubiquitous computing · 2Applied, interdisciplinary, general and emerging computing · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
1 paper
Automated reasoning and model checking · 100%
Artificial intelligence
2 papers
Knowledge representation and reasoning · 100%

Topics — the 2 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Automated reasoning and model checking › automated theorem proving
parallel theorem proving
0.011979
The Theorem Prover Using a Parallel Processing System · IJCAI 1979
Automated reasoning and model checking
theorem proving
0.011979
The Theorem Prover Using a Parallel Processing System · IJCAI 1979
YearPublicationVenuePosition
2013 Integrated Wireless Authentication System: Sharing Satellite Communication among Multiple Organizations after Natural Disasters
abstract
The catastrophic earthquake and Tsunami of Tohoku Japan in 2011, caused colossal damages to the ground infrastructures that resulted in the lost of means to acquire and to convey information between rescues and victims of disaster. This unfortunate situation of helplessness prompted us to propose in this paper a reliable means to recover a function of telecom infrastructure immediately by use of portable satellite phone with narrow band. The proposed system consists of sharing Internet access through satellite phone among multiple users and protocol conversion to improve the degraded performance caused by long-latency over satellite communication. The protocol conversion from application protocol like HTTP (Hypertext Transfer Protocol) over TCP (Transmission Control Protocol) to batch-oriented reliable protocol with forward error collection is presented. Through the implementation, we shows that the satellite communication is stabilized even in narrow band and it can be shared among many disaster victims.
Toshikazu Nishimura, Hitoshi Ogawa
MoMM2
2012 Pedagogical agents that support learning by explaining: Effects of affective feedback
Yugo Hayashi, Mariko Matsumoto, Hitoshi Ogawa
CogSci3
2011 Source Orientation in Communication with a Conversational Agent
Yugo Hayashi, Hung-Hsuan Huang, Victor V. Kryssanov, Akira Urao, Kazuhisa Miwa, Hitoshi Ogawa
IVA6
2008 SoNa: A Multi-agent System to Support Human Navigation in a Community, Based on Social Network Analysis
Shizuka Kumokawa, Victor V. Kryssanov, Hitoshi Ogawa
IVA3
2007 An Agent-Based System for the Prevention of Earthquake-Induced Disasters
abstract
The presented study aims to provide for a generally higher level of safety for people in hazardous situations by using an agent-based intelligent adaptive system. A design of a software system for the prevention of earthquake secondary disasters is presented. The proposed system is to control consumer electronics and other potentially dangerous equipment in a household, and also to guide evacuation of the inhabitants. The system utilizes three types of control rules: general, family-related, and specialized for each type of consumer electronics. As there can often be operational conflicts if applying the rules simultaneously, a conflict-resolving mechanism is implemented, based on an optimization algorithm for weighted constraint satisfaction problems. The system operation is explained, and its prototype is developed. The prototype is used in a pilot study and also in a simulation experiment. The obtained results demonstrate the feasibility and potential usefulness of the proposed design solutions.
Takashi Kokawa, Yoshiya Takeuchi, Ryota Sakamoto, Hitoshi Ogawa, Victor V. Kryssanov
ICTAI (2)4
1998 A stochastic response evaluation method for arbitrary acoustic systems based on an equivalence transformation toward a standard Gamma type probability expression
Mitsuo Ohta, Hitoshi Ogawa
Signal Process.2
1980 The Knowledge Representation For A Story Understanding And Simulation System
Hitoshi Ogawa, Junichiro Nishi, Kokichi Tanaka
COLING1
1979 The Theorem Prover Using a Parallel Processing System
Hitoshi Ogawa, Tadahiro Kitahashi, Kokichi Tanaka
IJCAI1
1979 An Active Frame for the Knowledge Representation
Hitoshi Ogawa, Hideaki Nanba, Kokichi Tanaka
IJCAI1
1977 A Structure for the Representation of Knowledge: A Proposal for a Micro-Actor
Hitoshi Ogawa, Kokichi Tanaka
IJCAI1