| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
All Technical Committee Conferences (Searched in: All Years)
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| HCS | 2021-08-22 10:05 |
Online | Online | A Study on Performance Feedback and Bonus Payment in Crowdsourcing Services Yoshinori Hijikata (KGU)  HCS2021-25 |
In recent years, crowdsourcing services have been used to diversify work styles of people and improve work efficiency in... [more] | HCS2021-25 pp.45-50 |
| AI | 2020-02-14 15:50 |
Shimane | Izumo Campus, Shimane University | Proposal for a novel method of science communication utilizing IMDJ(Innovators Marketplace on Data Jackets) Gensei Ishimura (Tokyo Tech), Teruaki Hayashi (Univ. of Tokyo), Tokuhisa Shiromizu (DJWG), Yukio Ohsawa (Univ. of Tokyo) AI2019-50 |
The scheme of the novel field of practice and research named “data driven science communication” is formed by synthesizi... [more] | AI2019-50 pp.45-48 |
| CPSY, DC | 2014-04-25 16:45 |
Tokyo | Modeling and verification for CCN using a proof assistant Coq Takashi Morishima, Mizuki Goto, Kazuko Takahashi (Kwansei Gakuin Univ.) CPSY2014-8 DC2014-8 |
Content-Centric Networking (CCN) is a communication architecture which was developed on 2009. Communication on CCN is ... [more] |
CPSY2014-8 DC2014-8 pp.37-42 |
|
| ET | 2014-01-11 15:05 |
Tokyo | Mejiro University | Development and Evaluation of SQL Exercise Support System that Used on Tablet Kyohei Matsumoto, Shingo Sugita, Shin-ichirou Okada (Ibaraki Univ) ET2013-85 |
We have been developed SQL exrise support system. The system is to support learning of SQL, and system with the aim of p... [more] | ET2013-85 pp.103-108 |
| ET | 2014-01-11 15:30 |
Tokyo | Mejiro University | The validation of the simple correctness checking method based on comparisons with sample answers using syntax trees for student's Java programs. Tatsuya Uraguchi, Shin-ichirou Okada (Ibaraki Univ) ET2013-86 |
We have been researching the automatic correctness checking method for student's Java programs to lighten the burden imp... [more] | ET2013-86 pp.109-113 |
| PRMU, HIP | 2012-03-29 13:40 |
Hyogo | Estimation of answer correctness for recall tests with eye movements using hidden Markov models Naoya Takahashi, Minoru Nakayama (TITech) PRMU2011-253 HIP2011-81 |
In this study, A model-based approach was proposed to estimate users' contextual understanding from features of their ey... [more] | PRMU2011-253 HIP2011-81 pp.77-82 |
|
| KBSE | 2011-09-21 15:30 |
Overseas | Ocean Grand Hotel Jeju | A Verification Method of Software Requirements Specification using Requirements Ontology Takeo Kondo, Atsushi Ohnishi (Ritsumeikan Univ.) KBSE2011-29 |
We regard “(1) functional requirements of a certain system, (2) attributes of the functional requirements including (2a)... [more] | KBSE2011-29 pp.31-36 |
| HIP, ITE-HI, ITE-CE | 2010-10-15 14:55 |
Miyagi | RIEC | Analysis of pupillary change for recall test using contextual understanding task Minoru Nakayama, Yuko Hayashi (Tokyo Tech) HIP2010-58 |
To estimate level of a contextual understanding using oculo-motor indices, two types of sentences such as definition a... [more] |
HIP2010-58 pp.87-92 |
| HIP, HCS | 2010-05-14 14:20 |
Okinawa | Okinawa Industry Support Center | Feasibility of prediction for recall accuracy in contextual understanding task using features of eye movements Minoru Nakayama, Yuko Hayashi (Tokyo Tech) HCS2010-20 HIP2010-20 |
To determine the possibility of predicting the recall accuracy of reading and memorizing tasks using features of eye m... [more] |
HCS2010-20 HIP2010-20 pp.109-114 |
| PRMU | 2010-02-18 11:00 |
Tokyo | Tokyo Univ. of Agriculture and Technology | Estimation of answer correctness for a recall test using features of eye movements. Minoru Nakayama, Yuko Hayashi (Tokyo Inst. of Tech.) PRMU2009-211 |
To estimate viewer's contextual understanding, features of their eye-movements while viewing question statements in resp... [more] | PRMU2009-211 pp.25-30 |
| SWIM | 2009-03-27 15:15 |
Tokyo | Kikai-Shinko-Kaikan Bldg | [Special Talk]
Is Model Correctness Verification Effective? Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2008-29 |
There have been proposed many kinds of model verification methods, processes, and tools, however their applicable domain... [more] | SWIM2008-29 pp.21-25 |
[Return to Top Page]