Satoshi Kobayashi

dblp:00/2227 · DBLP profile ↗
← Back
32ranked-venue papers
11as first author
1since 2021 · last 2021
—ORCID · conflict

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

Theory of computation · 18 · 7 first-author · 1 since 2021Artificial intelligence and machine learning · 13 · 4 first-authorGraphics, computer vision, multimedia, augmented reality and games · 7 · 2 first-authorSystems, architecture and hardware · 1Human-computer interaction and ubiquitous computing · 1
YearPublicationVenuePosition
2021 Reducing control alphabet size for the control of right linear grammars with unknown behaviors
Nobuya Kimoto, Shigetaka Nakamura, Ken Komiya, Kenzo Fujimoto, Satoshi Kobayashi
Theor. Comput. Sci.5
2020 Fast and Linear-Time String Matching Algorithms Based on the Distances of q-Gram Occurrences
abstract
Given a text T of length n and a pattern P of length m, the string matching problem is a task to find all occurrences of P in T. In this study, we propose an algorithm that solves this problem in O((n + m)q) time considering the distance between two adjacent occurrences of the same q-gram contained in P. We also propose a theoretical improvement of it which runs in O(n + m) time, though it is not necessarily faster in practice. We compare the execution times of our and existing algorithms on various kinds of real and artificial datasets such as an English text, a genome sequence and a Fibonacci string. The experimental results show that our algorithm is as fast as the state-of-the-art algorithms in many cases, particularly when a pattern frequently appears in a text.
Satoshi Kobayashi, Diptarama, Ryo Yoshinaka, Ayumi Shinohara
SEA1
2019 Monotonically controlling right linear grammars with unknown behaviors to output a target string
Nobuya Kimoto, Ken Komiya, Kenzo Fujimoto, Satoshi Kobayashi
Theor. Comput. Sci.4
2017 Modular robot using helical magnet for bonding and transformation
abstract
A self-reconfigurable modular robotic system has potential to carry out a wide variety of tasks in various fields and conditions. For realizing such versatileness and robustness, the compositional modules have to be designed so that the combined structure is equipped with high degree of freedom of the self-reconfiguration. We propose a new design of a modular robot using helically magnetized axes. The axes are arranged at all of the edges of the cubic-shaped module and contribute to both connection and transformation among the modules. The mechanism enables the modules to construct a 3-D orthogonal lattice structure, execute slide movement to neighboring vacant grid positions, and change the structural configuration by themselves. This paper firstly describes the conceptual design and fabrication method of the helically magnetized axis. Then, total design and specification of the module are explained. Finally, experimental results to evaluate the performance of connection and transformation are presented.
Yosuke Suzuki, Yuhei Tsutsui, Masato Yaegashi, Satoshi Kobayashi
ICRA4
2016 Molecular computers for molecular robots as hybrid systems
abstract
Various artificial molecular devices, including some made of DNA or RNA , have been developed to date. The next step in this area of research is to develop an integrated system from such molecular devices. A molecular robot consists of sensors, computers, and actuators , all made of molecular devices, and reacts autonomously to its environment by observing the environment, making decisions with its computers, and performing actions upon the environment. Molecular computers should thus be the intelligent controllers of such molecular robots. Such controllers can naturally be regarded as hybrid systems because the environment, the robot, and the controller are all state transition systems having discrete and continuous states and transitions. For modeling and designing hybrid systems, formal frameworks, such as hybrid automata , are commonly used. In this perspective paper, we examine how molecular controllers can be modeled as hybrid automata and how they can be realized in a molecular robot. We first summarize the requirements for such molecular controllers and examine existing frameworks of DNA computing with respect to these requirements. We then show the possibility of combining existing frameworks of DNA computing to implement a sample hybrid controller for a molecular robot.
Masami Hagiya, Nathanaël Aubert-Kato, Satoshi Kobayashi
Theor. Comput. Sci.4
2013 Enumeration approach to computing chemical equilibria
Satoshi Kobayashi
Theor. Comput. Sci.1
2012 Reaction automata
Fumiya Okubo, Satoshi Kobayashi, Takashi Yokomori
Theor. Comput. Sci.2
2012 On the properties of language classes defined by bounded reaction automata
Fumiya Okubo, Satoshi Kobayashi, Takashi Yokomori
Theor. Comput. Sci.2
2009 Necessary and sufficient conditions for learning with correction queries
Cristina Tîrnauca, Satoshi Kobayashi
Theor. Comput. Sci.2
2007 Stochastically Approximating Tree Grammars by Regular Grammars and Its Application to Faster ncRNA Family Annotation
Kazuya Ogasawara, Satoshi Kobayashi
LATA2
2007 A Characterization of the Language Classes Learnable with Correction Queries
Cristina Tîrnauca, Satoshi Kobayashi
TAMC2
2002 A modality-independent MMI system architecture
Kouichi Katsurada, Yoshihiko Ootani, Yusaku Nakamura, Satoshi Kobayashi, Hirobumi Yamada, Tsuneo Nitta
INTERSPEECH4
2001 XISL: An Attempt to Seperate Interactions from Data
Kouichi Katsurada, Yusaku Nakamura, Satoshi Kobayashi, Tsuneo Nitta
INTERACT3
2001 XISL: an attempt to separate multimodal interactions from XML contents
abstract
In this paper we outline a multimodal interaction description language XISL (Extensible Interaction-Sheet Language) that is developed to describe multimodal interactions (MMI), and to separate the description of interactions from XML contents. XISL makes an XML document independent of interactions that may differ between each terminal, and so enables such seamless services as web-browsing to be constructed easily. Since XISL also provides various combinatorial usage of modalities, a developer can describe a MMI scenario easily. We implemented an interpreter of XISL on prototype systems for multimedia lectures with different types of MMI and proved the viability of XISL by experiments using the systems.
Tsuneo Nitta, Kouichi Katsurada, Hirobumi Yamada, Yusaku Nakamura, Satoshi Kobayashi
INTERSPEECH5
2001 Automatic construction of CALL system from TV news program with captions
Takashi Tanaka, Kazumasa Mori, Satoshi Kobayashi, Seiichi Nakagawa
INTERSPEECH3
2001 Sticker systems with complex structures
Yasubumi Sakakibara, Satoshi Kobayashi
Soft Comput.2
2001 Formal properties of PA-matching
Satoshi Kobayashi, Victor Mitrana, Gheorghe Paun, Grzegorz Rozenberg
Theor. Comput. Sci.1
2001 Multiple splicing systems and the universal computability
Satoshi Kobayashi, Yasubumi Sakakibara
Theor. Comput. Sci.1
2000 On the universality of Post and splicing systems
Claudio Ferretti, Giancarlo Mauri, Satoshi Kobayashi, Takashi Yokomori
Theor. Comput. Sci.3
1999 Tree Adjoining Grammars for RNA Structure Prediction
Yasuo Uemura, Aki Hasegawa, Satoshi Kobayashi, Takashi Yokomori
Theor. Comput. Sci.3
1998 Locality, Reversibility, and Beyond: Learning Languages from Positive Data
Tom Head, Satoshi Kobayashi, Takashi Yokomori
ALT2
1998 On the Universality of Post and Splicing Systems
Claudio Ferretti, Giancarlo Mauri, Satoshi Kobayashi, Takashi Yokomori
MCU (2)3
1998 Learning Local Languages and Their Application to DNA Sequence Analysis
abstract
This paper presents an efficient algorithm for learning in the limit a special type of regular languages, called strictly locally testable languages from positive data, and its application to identifying the protein /spl alpha/-chain region in amino acid sequences. First, we present a linear time algorithm that, given a strictly locally testable language, learns its deterministic finite state automaton in the limit from only positive data. This provides one with a practical and efficient method for learning a specific concept domain of sequence analysis. We then describe several experimental results using the learning algorithm developed above. Following a theoretical observation which strongly suggests that a certain type of amino acid sequences can be expressed by a locally testable language, we apply the learning algorithm to identifying the protein /spl alpha/-chain region in amino acid sequences for hemoglobin. Experimental scores show an overall success rate of 95% correct identification for positive data, and 96% for negative data.
Takashi Yokomori, Satoshi Kobayashi
IEEE Trans. Pattern Anal. Mach. Intell.2
1997 Identifiability of Subspaces and Homomorphic Images of Zero-Reversible Languages
Satoshi Kobayashi, Takashi Yokomori
ALT1
1997 Extraction and representation rhythmic components of spontaneous speech
abstract
Speech speed is measured and displayed with our specific algorithm TEMAX (Temporal Evaluation and Measurement Algorithm by KS). The TEMAX-gram, a sonagraphic output of speech envelope, the DFT using a 1-second window is convenient to set off isosyllabic characteristics. For Japanese traces 2 dark bars, called rhythmic formants: RF1 and RF2: the first one, around 8 Hz, and the second one, at halfway. RF1 corresponds to speech rate, RF2 represents the bimoraic rhythmic foot. As far as English, its isochronic characteristics are observable with a 2-seconds window as RF1. Furthermore, using a 1-second window the periodicity of syllables between stress is displayed as RF2.
Shigeyoshi Kitazawa, Hideya Ichikawa, Satoshi Kobayashi, Yukihiro Nishinuma
EUROSPEECH3
1997 Monad as Modality
Satoshi Kobayashi
Theor. Comput. Sci.1
1997 Learning Approximately Regular Languages with Reversible Languages
Satoshi Kobayashi, Takashi Yokomori
Theor. Comput. Sci.1
1995 On Approximately Identifying Concept Classes in the Limit
Satoshi Kobayashi, Takashi Yokomori
ALT1
1995 Consistency of inter-transcribers' transcription
Satoshi Kobayashi, Shigeyoshi Kitazawa
EUROSPEECH1
1994 Tempo estimation by wave envelope for recognition of paralinguistic features in spontaneous speech
Shigeyoshi Kitazawa, Satoshi Kobayashi, Takao Matsunaga, Hideya Ichikawa
ICSLP2
1994 Realizability Interpretation of Generalized Inductive Definitions
Satoshi Kobayashi, Makoto Tatsuta
Theor. Comput. Sci.1
1993 Learning Decision Lists over Tree Patterns and Its Application
Satoshi Kobayashi, Koichi Hori, Setsuo Ohsuga
IJCAI1