Search

Your search keyword '"Tojo, Satoshi"' showing total 733 results
Start Over Author "Tojo, Satoshi"

Refine your results

more »

more »

more »

more »
733 results on '"Tojo, Satoshi"'

2. 8+8=4: Formalizing Time Units to Handle Symbolic Music Durations

Author

Karystinaios, Emmanouil, Foscarin, Francesco, Jacquemard, Florent, Sakai, Masahiko, Tojo, Satoshi, and Widmer, Gerhard

Subjects
Computer Science - Sound, Electrical Engineering and Systems Science - Audio and Speech Processing
Abstract

This paper focuses on the nominal durations of musical events (notes and rests) in a symbolic musical score, and on how to conveniently handle these in computer applications. We propose the usage of a temporal unit that is directly related to the graphical symbols in musical scores and pair this with a set of operations that cover typical computations in music applications. We formalize this time unit and the more commonly used approach in a single mathematical framework, as semirings, algebraic structures that enable an abstract description of algorithms/processing pipelines. We then discuss some practical use cases and highlight when our system can improve such pipelines by making them more efficient in terms of data type used and the number of computations., Comment: In Proceedings of the International Symposium on Computer Music Multidisciplinary Research (CMMR 2023), Tokyo, Japan

Published
2023

3. Logic of Awareness in Agent's Reasoning

Author

Kubono, Yudai, Racharak, Teeradaj, and Tojo, Satoshi

Subjects
Computer Science - Multiagent Systems
Abstract

The aim of this study is to formally express awareness for modeling practical agent communication. The notion of awareness has been proposed as a set of propositions for each agent, to which he/she pays attention, and has contributed to avoiding \textit{logical omniscience}. However, when an agent guesses another agent's knowledge states, what matters are not propositions but are accessible possible worlds. Therefore, we introduce a partition of possible worlds connected to awareness, that is an equivalence relation, to denote \textit{indistinguishable} worlds. Our logic is called Awareness Logic with Partition ($\mathcal{ALP}$). In this paper, we first show a running example to illustrate a practical social game. Thereafter, we introduce syntax and Kripke semantics of the logic and prove its completeness. Finally, we outline an idea to incorporate some epistemic actions with dynamic operators that change the state of awareness., Comment: A version reflecting the corrections of errors. The results are the same as originally stated. The erratum to arXiv:2309.09214v2 is attached at the end

Published
2023
Full Text
View/download PDF

4. Encoded Summarization: Summarizing Documents into Continuous Vector Space for Legal Case Retrieval

Author

Tran, Vu, Nguyen, Minh Le, Tojo, Satoshi, and Satoh, Ken

Subjects
Computer Science - Computation and Language
Abstract

We present our method for tackling a legal case retrieval task by introducing our method of encoding documents by summarizing them into continuous vector space via our phrase scoring framework utilizing deep neural networks. On the other hand, we explore the benefits from combining lexical features and latent features generated with neural networks. Our experiments show that lexical features and latent features generated with neural networks complement each other to improve the retrieval system performance. Furthermore, our experimental results suggest the importance of case summarization in different aspects: using provided summaries and performing encoded summarization. Our approach achieved F1 of 65.6% and 57.6% on the experimental datasets of legal case retrieval tasks., Comment: Published 2020-01-25 in AI and Law. arXiv admin note: text overlap with arXiv:2009.14083

Published
2023
Full Text
View/download PDF

5. On Three-Valued Modal Logics: from a Four-Valued Perspective

Author

Wang, Xinyu, Song, Yang, and Tojo, Satoshi

Subjects
Mathematics - Logic, Computer Science - Logic in Computer Science
Abstract

This paper aims at providing a comprehensive solution to the archaic open problem: how to define semantics of three-valued modal logic with vivid intuitive picture, convincing philosophical justification as well as versatile practical usage. Based on an existing line of work concerned with investigating three-valued logic out of innovative angles of view, we adopt a detour approach to interpret three-valued logic from a four-valued perspective, which results in the invention of an universal and systematic methodology for developing, explaining as well as utilizing three-valued modal logic. We illustrate our method through two concrete cases, one deontic and another epistemic, for both of which a sound and strongly complete natural deduction proof system is also presented in detail. We perceive our three-valued modal logic as a lightweight candidate to merge deontic or epistemic notion into temporal logic, without heavier burden of multiple modalities.

Published
2022

6. Time-Span Tree Leveled by Duration of Time-Span

Author

Hamanaka, Masatoshi, Hirata, Keiji, Tojo, Satoshi, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Aramaki, Mitsuko, editor, Hirata, Keiji, editor, Kitahara, Tetsuro, editor, Kronland-Martinet, Richard, editor, and Ystad, Sølvi, editor

Published
2023
Full Text
View/download PDF

10. Application of GTTM

Author

Hirata, Keiji, Tojo, Satoshi, Hamanaka, Masatoshi, Hirata, Keiji, Tojo, Satoshi, and Hamanaka, Masatoshi

Published
2022
Full Text
View/download PDF

13. GTTM and TPS

Author

Hirata, Keiji, Tojo, Satoshi, Hamanaka, Masatoshi, Hirata, Keiji, Tojo, Satoshi, and Hamanaka, Masatoshi

Published
2022
Full Text
View/download PDF

14. Berklee Method

Author

Hirata, Keiji, Tojo, Satoshi, Hamanaka, Masatoshi, Hirata, Keiji, Tojo, Satoshi, and Hamanaka, Masatoshi

Published
2022
Full Text
View/download PDF

16. Equilibrium trapping of cold atoms using dipole and radiative forces in an optical trap

Author

Mashimo, Taro, Abe, Masashi, and Tojo, Satoshi

Subjects
Condensed Matter - Quantum Gases, Physics - Atomic Physics
Abstract

We report on highly effective trapping of cold atoms by a new method for a stable single optical trap in the near-optical resonant regime. An optical trap with the near-optical resonance condition consists of not only the dipole but also the radiative forces, while a trap using a far-off resonance dominates only the dipole force. We estimate a near-optical resonant trap for ultracold rubidium atoms in the range between -0.373 and -2.23 THz from the resonance. The time dependence of the trapped atoms indicates some difference of the stable center-of-mass positions in the near-optical resonant trap, and also indicates that the differences are caused by the change of the equilibrium condition of the optical dipole and radiative forces. A stable position depends only on laser detuning due to the change in the radiative force; however, the position is ineffective against the change in the laser intensity, which results in a change in the radiative force., Comment: 6 pages, 6 figures

Published
2019
Full Text
View/download PDF

17. On the Relationship with Toulmin Method to Logic-Based Argumentation

Author

Racharak, Teeradaj, Tojo, Satoshi, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Rocha, Ana Paula, editor, Steels, Luc, editor, and van den Herik, Jaap, editor

Published
2022
Full Text
View/download PDF

18. The Simulated Emergence of Chord Function

Author

Uehara, Yui, Tojo, Satoshi, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Romero, Juan, editor, Martins, Tiago, editor, and Rodríguez-Fernández, Nereida, editor

Published
2021
Full Text
View/download PDF

19. Knowledge Injection to Neural Networks with Progressive Learning Strategy

Author

Nguyen, Ha Thanh, Vu, Trung Kien, Racharak, Teeradaj, Nguyen, Le Minh, Tojo, Satoshi, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Rocha, Ana Paula, editor, Steels, Luc, editor, and van den Herik, Jaap, editor

Published
2021
Full Text
View/download PDF

20. Chord Function Identification with Modulation Detection Based on HMM

Author

Uehara, Yui, Nakamura, Eita, Tojo, Satoshi, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Kronland-Martinet, Richard, editor, Ystad, Sølvi, editor, and Aramaki, Mitsuko, editor

Published
2021
Full Text
View/download PDF

21. Modal Logic for Tonal Music

Author

Tojo, Satoshi, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Kronland-Martinet, Richard, editor, Ystad, Sølvi, editor, and Aramaki, Mitsuko, editor

Published
2021
Full Text
View/download PDF

22. Feasibility Study of Deep Frequency Modulation Synthesis

Author

Hirata, Keiji, Hamanaka, Masatoshi, Tojo, Satoshi, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Kronland-Martinet, Richard, editor, Ystad, Sølvi, editor, and Aramaki, Mitsuko, editor

Published
2021
Full Text
View/download PDF

24. Loading of atoms into an optical trap with high initial phase-space density

Author

Shibata, Kosuke, Yonekawa, Shota, and Tojo, Satoshi

Subjects
Condensed Matter - Quantum Gases
Abstract

We report a method for loading cold atoms into an optical trap with high initial phase-space density (PSD). When the trap beam is overlapped with atoms in optical molasses of optimized parameters including large cooling beam detuning compared with conventional detuning used for a magneto-optical trap (MOT), more than $3 \times 10^6$ rubidium atoms with an initial temperature less than 20 $\mu$K are loaded into a single beam trap. The obtained maximum initial PSD is estimated to be $1.1 \times 10^{-3}$, which is one or two orders of magnitude greater than that achieved with the conventional loading into an optical trap from atoms in a MOT. The proposed method is promising for creating a quantum gas with a large number of atoms in a short evaporation time., Comment: 6 pages, 5 figures

Published
2016
Full Text
View/download PDF

26. Dynamics of Narrow-Minded Belief and Its Cut-Free Sequent Calculus

Author

Nomura, Shoshin, Arai, Norihiro, Tojo, Satoshi, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, van den Herik, Jaap, editor, Rocha, Ana Paula, editor, and Steels, Luc, editor

Published
2019
Full Text
View/download PDF

27. Inherited Properties of Concept Similarity Measure Under Preference Profile

Author

Racharak, Teeradaj, Tojo, Satoshi, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, van den Herik, Jaap, editor, and Rocha, Ana Paula, editor

Published
2019
Full Text
View/download PDF

29. Analogical Reasoning in Clinical Practice with Description Logic

Author

Racharak, Teeradaj, Tojo, Satoshi, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, van den Herik, Jaap, editor, Rocha, Ana Paula, editor, and Filipe, Joaquim, editor

Published
2018
Full Text
View/download PDF

30. On Linear Algebraic Representation of Time-span and Prolongational Trees

Author

Tojo, Satoshi, Marsden, Alan, Hirata, Keiji, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Aramaki, Mitsuko, editor, Davies, Matthew E. P., editor, Kronland-Martinet, Richard, editor, and Ystad, Sølvi, editor

Published
2018
Full Text
View/download PDF

31. deepGTTM-III: Multi-task Learning with Grouping and Metrical Structures

Author

Hamanaka, Masatoshi, Hirata, Keiji, Tojo, Satoshi, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Aramaki, Mitsuko, editor, Davies, Matthew E. P., editor, Kronland-Martinet, Richard, editor, and Ystad, Sølvi, editor

Published
2018
Full Text
View/download PDF

32. Controlling phase separation of binary Bose-Einstein condensates via mixed-spin-channel Feshbach resonance

Author

Tojo, Satoshi, Taguchi, Yoshihisa, Masuyama, Yuta, Hayashi, Taro, Saito, Hiroki, and Hirano, Takuya

Subjects
Condensed Matter - Quantum Gases
Abstract

We investigate controlled phase separation of a binary Bose-Einstein condensate (BEC) in the proximity of mixed-spin-channel Feshbach resonance in the |F = 1, mF = +1> and |F = 2,mF = -1> states of 87Rb at a magnetic field of 9.10 G. Phase separation occurs on the lower magnetic-field side of the Feshbach resonance while the two components overlap on the higher magnetic-field side. The Feshbach resonance curve of the scattering length is obtained from the shape of the atomic cloud by comparison with the numerical analysis of coupled Gross-Pitaevskii equations., Comment: 6 pages, 5 figures

Published
2010
Full Text
View/download PDF

33. Spin-dependent inelastic collisions in spin-2 Bose-Einstein condensates

Author

Tojo, Satoshi, Hayashi, Taro, Tanabe, Tatsuyoshi, Hirano, Takuya, Kawaguchi, Yuki, Saito, Hiroki, and Ueda, Masahito

Subjects
Condensed Matter - Quantum Gases
Abstract

We studied spin-dependent two-body inelastic collisions in F=2 87Rb Bose-Einstein condensates both experimentally and theoretically. The 87Rb condensates were confined in an optical trap and selectively prepared in various spin states in the F=2 manifold at a magnetic field of 3.0 G. Measured atom loss rates are found to depend on spin states of colliding atoms. We measured two fundamental loss coefficients for two-body inelastic collisions with the total spin of 0 and 2; the coefficients determine loss rates for all the spin pairs. The experimental results for mixtures of all the spin combinations are in good agreement with numerical solutions of the Gross-Pitaevskii equations that include the effect of a magnetic field gradient., Comment: 7 pages, 5 figures

Published
2009
Full Text
View/download PDF

36. deepGTTM-I&II: Local Boundary and Metrical Structure Analyzer Based on Deep Learning Technique

Author

Hamanaka, Masatoshi, Hirata, Keiji, Tojo, Satoshi, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Aramaki, Mitsuko, editor, Kronland-Martinet, Richard, editor, and Ystad, Sølvi, editor

Published
2017
Full Text
View/download PDF

37. Argument-Based Logic Programming for Analogical Reasoning

Author

Racharak, Teeradaj, Tojo, Satoshi, Hung, Nguyen Duy, Boonkwan, Prachya, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Weikum, Gerhard, Series Editor, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Kurahashi, Setsuya, editor, Ohta, Yuiko, editor, Arai, Sachiyo, editor, Satoh, Ken, editor, and Bekki, Daisuke, editor

Published
2017
Full Text
View/download PDF

38. Combining Answer Set Programming with Description Logics for Analogical Reasoning Under an Agent’s Preferences

Author

Racharak, Teeradaj, Tojo, Satoshi, Hung, Nguyen Duy, Boonkwan, Prachya, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Benferhat, Salem, editor, Tabia, Karim, editor, and Ali, Moonis, editor

Published
2017
Full Text
View/download PDF

40. Identifying an Agent’s Preferences Toward Similarity Measures in Description Logics

Author

Racharak, Teeradaj, Suntisrivaraporn, Boontawee, Tojo, Satoshi, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Qi, Guilin, editor, Kozaki, Kouji, editor, Pan, Jeff Z., editor, and Yu, Siwei, editor

Published
2016
Full Text
View/download PDF

41. GTTM III: Learning-Based Time-Span Tree Generator Based on PCFG

Author

Hamanaka, Masatoshi, Hirata, Keiji, Tojo, Satoshi, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Weikum, Gerhard, Series Editor, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Kronland-Martinet, Richard, editor, Aramaki, Mitsuko, editor, and Ystad, Sølvi, editor

Published
2016
Full Text
View/download PDF

45. Free-ordered CUG on Chemical Abstract Machine

Author

Tojo, Satoshi

Subjects
Computer Science - Computation and Language
Abstract

We propose a paradigm for concurrent natural language generation. In order to represent grammar rules distributively, we adopt categorial unification grammar (CUG) where each category owns its functional type. We augment typed lambda calculus with several new combinators, to make the order of lambda-conversions free for partial / local processing. The concurrent calculus is modeled with Chemical Abstract Machine. We show an example of a Japanese causative auxiliary verb that requires a drastic rearrangement of case domination., Comment: COLING 94, five pages, one PS file of figure `t.eps'

Published
1994

46. A Labelled Sequent Calculus for Intuitionistic Public Announcement Logic

Author

Nomura, Shoshin, Sano, Katsuhiko, Tojo, Satoshi, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Davis, Martin, editor, Fehnker, Ansgar, editor, McIver, Annabelle, editor, and Voronkov, Andrei, editor

Published
2015
Full Text
View/download PDF

47. Analyzing Reliability Change in Legal Case

Author

Jirakunkanok, Pimolluck, Sano, Katsuhiko, Tojo, Satoshi, Goebel, Randy, Series editor, Tanaka, Yuzuru, Series editor, Wahlster, Wolfgang, Series editor, Murata, Tsuyoshi, editor, Mineshima, Koji, editor, and Bekki, Daisuke, editor

Published
2015
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results