VLDB 2026 Research / reviewers in the wild / expert
Satoshi Kobayashi
dblp:00/2227
· DBLP profile ↗
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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 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 OccurrencesabstractGiven 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 |
SEA | 1 |
| 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 transformationabstractA 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 |
ICRA | 4 |
| 2016 | Molecular computers for molecular robots as hybrid systemsabstractVarious 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 |
LATA | 2 |
| 2007 | A Characterization of the Language Classes Learnable with Correction Queries
Cristina Tîrnauca, Satoshi Kobayashi |
TAMC | 2 |
| 2002 | A modality-independent MMI system architecture
Kouichi Katsurada, Yoshihiko Ootani, Yusaku Nakamura, Satoshi Kobayashi, Hirobumi Yamada, Tsuneo Nitta |
INTERSPEECH | 4 |
| 2001 | XISL: An Attempt to Seperate Interactions from Data
Kouichi Katsurada, Yusaku Nakamura, Satoshi Kobayashi, Tsuneo Nitta |
INTERACT | 3 |
| 2001 | XISL: an attempt to separate multimodal interactions from XML contentsabstractIn 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 |
INTERSPEECH | 5 |
| 2001 | Automatic construction of CALL system from TV news program with captions
Takashi Tanaka, Kazumasa Mori, Satoshi Kobayashi, Seiichi Nakagawa |
INTERSPEECH | 3 |
| 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 |
ALT | 2 |
| 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 AnalysisabstractThis 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 |
ALT | 1 |
| 1997 | Extraction and representation rhythmic components of spontaneous speechabstractSpeech 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 |
EUROSPEECH | 3 |
| 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 |
ALT | 1 |
| 1995 | Consistency of inter-transcribers' transcription
Satoshi Kobayashi, Shigeyoshi Kitazawa |
EUROSPEECH | 1 |
| 1994 | Tempo estimation by wave envelope for recognition of paralinguistic features in spontaneous speech
Shigeyoshi Kitazawa, Satoshi Kobayashi, Takao Matsunaga, Hideya Ichikawa |
ICSLP | 2 |
| 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 |
IJCAI | 1 |