IEICE Technical Committee Submission System
Conference Schedule
Online Proceedings
[Sign in]
Tech. Rep. Archives
    [Japanese] / [English] 
( Committee/Place/Topics  ) --Press->
 
( Paper Keywords:  /  Column:Title Auth. Affi. Abst. Keyword ) --Press->

All Technical Committee Conferences  (All Years)

Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Descending)
 Results 1 - 20 of 127  /  [Next]  
Committee Date Time Place Paper Title / Authors Abstract Paper #
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
SS, KBSE, IPSJ-SE [detail] 2017-07-20
16:15
Hokkaido   A compiler that translates to Malbolge from a C-language subset containing recursive calls
Genki Sakanashi, Shohei Kobe, Masahiko Sakai, Naoki Nishida, Kenji Hashimoto (Nagoya Univ.) SS2017-18 KBSE2017-18
Malbolge is an esoteric programming language, which is promising to protect intellectual property rights due to its diff... [more] SS2017-18 KBSE2017-18
pp.145-150
MBE, NC
(Joint)
2017-03-14
11:15
Tokyo Kikai-Shinko-Kaikan Bldg. Latency and Synchronization Analysis of Figure-Ground Selecitive Cells in V4
Dai Minowa, Masaharu Hasuike (Tsukuba Univ.), Yukako Yamane, Hiroshi Tamura (Osaka Univ.), Ko Sakai (Tsukuba Univ.) NC2016-90
Figure-Ground (FG) segregation is visual processing that distinguishes objects (figure) from backgrounds (ground) within... [more] NC2016-90
pp.155-158
SS 2017-03-09
09:55
Okinawa   Logical Formula Simplification and Static Analysis for Quantitative Information Flow Analysis using Model Counting
Masato Nakashima, Kenji Hashimoto, Masahiko Sakai, Hiroyuki Seki (Nagoya Univ.) SS2016-61
Model counting is one of the promising methods for quantitative information flow analysis. In this paper, we focus on th... [more] SS2016-61
pp.7-12
LOIS 2017-03-02
16:00
Okinawa N.Ohama Memorial Hall Visual Structure Analysys of Images for Information Visualization
Eko Sakai (Otani Univ.), Ken Nakayama (Tsuda Col.) LOIS2016-80
It is important to choose what kind of visual structure for representing an
abstract data structure in constrainet base... [more]
LOIS2016-80
pp.101-104
 Results 1 - 20 of 127  /  [Next]  
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format
Copyright and reproduction : All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


[Return to Top Page]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan