Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
NC, MBE (Joint) |
2024-03-12 11:40 |
Tokyo |
The Univ. of Tokyo (Primary: On-site, Secondary: Online) |
Generalization Model of Monkey V4 Neurons based on FCN encoder Tsubasa Saito, Taisei Hara, Ko Sakai (Univ. of Tsukuba) NC2023-54 |
The V4 field in the ventral visual pathway is situated as an intermediary region processing visual information crucial f... [more] |
NC2023-54 pp.65-68 |
HIP |
2023-12-22 15:15 |
Miyagi |
Research Institute of Electrical Communication |
Emotion modulates unique hue perception
-- Indivisual dependance on the direction of color -- Maya Komatsuzaki, Noriyo Shibata, Ko Sakai (U.TSUKUBA) HIP2023-94 |
Unique hues are considered to be stable within individual color perception and hardly changed. We investigated psychophy... [more] |
HIP2023-94 pp.83-86 |
MSS, SS |
2023-01-11 13:30 |
Osaka |
(Primary: On-site, Secondary: Online) |
A formal description of a functional language with exception handling, and constrained dependency pairs for the termination proofs Takeshi Hamaguchi, Masahiko Sakai (Nagoya Univ.) MSS2022-56 SS2022-41 |
This paper proposes a termination-proof method for functional programs with exception handling. First, we give a small s... [more] |
MSS2022-56 SS2022-41 pp.66-71 |
SS, MSS |
2022-01-12 09:40 |
Nagasaki |
Nagasakiken-Kensetsu-Sogo-Kaikan Bldg. (Primary: On-site, Secondary: Online) |
On Constrained Rewrite Rules Representing Semantics Rules of LLVM IR Takumi Kato, Naoki Nishida, Masahiko Sakai (Nagoya Univ.) MSS2021-47 SS2021-34 |
A method to verify programs written in a simple C-like language via logically constrained term rewrite systems (LCTRS, f... [more] |
MSS2021-47 SS2021-34 pp.89-94 |
WIT, IPSJ-AAC |
2021-03-05 16:00 |
Online |
Online |
Research on understanding cleaning behavior using wearable sensors for cooperative behavior navigation Yuki Takegami, Mutsuo Sano (OIT), Sho Ooi (Rits Univ.), Mayumi Nakagawa, Hiromi Kado, Kyoko Sakai (V-SIEN) WIT2020-33 |
People with brain injury and with developmental disabilities are not good at communicating with people, have difficulty ... [more] |
WIT2020-33 pp.20-25 |
NC, MBE (Joint) |
2021-03-03 09:50 |
Online |
Online |
Neuronal correlation between the responses to surface and shape in monkey V4 Itsuki Machida, Atsushi Kodama, Ko Sakai (Univ. of Tsukuba) NC2020-42 |
Integration of multiple properties of an object is a fundamental function of the visual cortex in object recognition. Su... [more] |
NC2020-42 pp.7-10 |
MSS, SS |
2021-01-27 15:00 |
Online |
Online |
Speeding up combinatorial optimization solver CombSQL+ by introducing Pseudo-Boolean constraints Junichiro Kishi, Masahiko Sakai, Naoki Nishida, Kenji Hashimoto (Nagoya univ.) MSS2020-40 SS2020-25 |
The authors have proposed a solver CombSQL+ for combinatorial optimization problems (COPs) described in extended SQL lan... [more] |
MSS2020-40 SS2020-25 pp.66-71 |
SS |
2020-03-04 13:50 |
Okinawa |
(Cancelled but technical report was issued) |
A Decision Procedure for a Macro Forest Transducer being an Implementation of an XML Schema Mapping Hiroaki Tabata, Masahiko Sakai, Kenji Hashimoto (Nagoya Univ. G. S.) SS2019-43 |
XML Schema Mapping (SM) describes the correspondence between two different XML Schema DTDs using a tree pattern.
A dete... [more] |
SS2019-43 pp.13-18 |
SS |
2020-03-04 15:10 |
Okinawa |
(Cancelled but technical report was issued) |
Transforming Programs with Exclusive Control into Logically Constrained Term Rewrite Systems Misaki Kojima, Naoki Nishida, Yutaka Matsubara, Masahiko Sakai (Nagoya Univ.) SS2019-46 |
To apply Logically Constrained Term Rewrite Systems (LCTRSs, for short) to program verification, a previous work targets... [more] |
SS2019-46 pp.31-36 |
NC, MBE (Joint) |
2020-03-04 15:20 |
Tokyo |
University of Electro Communications (Cancelled but technical report was issued) |
Dimensionality estimation of neural responses to natural images in monkey V4 Atsushi Kodama, Ko Sakai (Univ. Tsukuba) NC2019-85 |
Neurons in monkey V4 show selectivity for various kinds of visual properties such as curvature, orientation, color, and ... [more] |
NC2019-85 pp.57-60 |
NC, MBE (Joint) |
2020-03-04 16:10 |
Tokyo |
University of Electro Communications (Cancelled but technical report was issued) |
Estimation of functional receptive field of border ownership-selective cells in monkey V2 Kazunao Tanaka, Ko sakai (Univ. Tsukuba) NC2019-87 |
[more] |
NC2019-87 pp.65-69 |
NC, MBE (Joint) |
2020-03-04 16:35 |
Tokyo |
University of Electro Communications (Cancelled but technical report was issued) |
Figure-ground Consistency between the Responses of Monkey V4 Neurons and Human Perception
-- Analyses across Electrophysiology, Psychophysics, and a Linear Kernel Model -- Motofumi Shishikura, Kazufumi Suzuki (Univ. Tsukuba), Yukako Yamane, Hiroshi Tamura (Osaka Univ.), Ko Sakai (Univ. Tsukuba) NC2019-88 |
Perception of the direction of figure could be confused and inconsistent when a natural image was observed through a sma... [more] |
NC2019-88 pp.71-75 |
DC, SS |
2019-10-24 14:55 |
Kumamoto |
Kumamoto Univ. |
Extending rewriting induction to existentially quantified equations Kazushi Nishie, Naoki Nishida, Masahiko sakai (Nagoya Univ.) SS2019-17 DC2019-45 |
In this paper, we extend rewriting induction which is developed to prove equations, to existentially quantified equation... [more] |
SS2019-17 DC2019-45 pp.25-30 |
NC, MBE (Joint) |
2019-03-06 10:45 |
Tokyo |
University of Electro Communications |
The receptive-field structure of figure-ground preference cells in monkey V4 Koji Kimura (Tsukuba Univ.), Yukako Yamane, Hiroshi Tamura (Osaka Univ.), Ko Sakai (Tsukuba Univ.) NC2018-77 |
(To be available after the conference date) [more] |
NC2018-77 pp.181-185 |
SS |
2019-03-04 16:45 |
Okinawa |
|
SQL queries for generating input constraints of SMT solvers from descriptions of combinatorial optimization problems Genki Sakanashi, Masahiko Sakai, Naoki Nishida, Kenji Hashimoto (Nagoya Univ.) SS2018-66 |
The authors recently proposed an SQL-based language CombSQL+ for specifying combinatorial optimization problems, and sho... [more] |
SS2018-66 pp.85-90 |
MSS, SS |
2019-01-16 09:25 |
Okinawa |
|
On Representation of Structures and Unions in Logically Constrained Rewriting Yoshiaki Kanazawa, Naoki Nishida, Masahiko Sakai (Nagoya Univ.) MSS2018-67 SS2018-38 |
Recently, several methods for verifying imperative programs by means of transformations into term rewriting systems have... [more] |
MSS2018-67 SS2018-38 pp.67-72 |
MSS, SS |
2019-01-16 09:50 |
Okinawa |
|
Extending Narrowing Trees to Basic Narrowing in Term Rewriting Yuya Maeda, Naoki Nishida, Masahiko Sakai, Tomoya Kobayashi (Nagoya Univ.) MSS2018-68 SS2018-39 |
Narrowing computation of a term rewriting system is an extension of rewriting by replacing matching with unification, wh... [more] |
MSS2018-68 SS2018-39 pp.73-78 |
LOIS |
2018-03-01 16:05 |
Okinawa |
Naha-City IT Souzoukan(Okinawa) |
Comprehension guidance of part of source code based on syntactic features Ken Nakayama (Tsuda Univ.), Shun'ichi Tano, Tomonori Hashiyama (UEC), Eko Sakai (Otani Univ.) |
[more] |
|
LOIS |
2018-03-01 16:30 |
Okinawa |
Naha-City IT Souzoukan(Okinawa) |
An interactive model to structurize a web page Eko Sakai (Otani Univ.), Ken Nakayama (Tsuda Univ.) LOIS2017-82 |
Information written in webpages does not always have well-defined structure.
This causes some difficulties when a user ... [more] |
LOIS2017-82 pp.67-69 |
SS, KBSE, IPSJ-SE [detail] |
2017-07-20 15:50 |
Hokkaido |
|
Polynomial Interpretations to Convert Dependency Chains of Constrained Term Rewriting Systems to Bounded Increasing Sequences of Intergers Tomohiro Sasano, Naoki Nishida, Masahiko Sakai, Tomoya Ueyama (Nagoya Univ.) SS2017-17 KBSE2017-17 |
In dependency pair framework for proving termination of constrained term rewriting systems, polynomial interpretations t... [more] |
SS2017-17 KBSE2017-17 pp.139-144 |