Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
PRMU, IPSJ-CVIM, IBISML [detail] |
2016-09-05 09:30 |
Toyama |
|
Real-time Human Pose Tracking Using Depth Sensor by Connected Sphere Model Daiki Fukuyama, Tsuyoshi Migita, Shakunaga Takeshi (Okayama Univ.) PRMU2016-58 IBISML2016-13 |
Human pose tracking on a depth image sequence can be achieved by using a generative-model-based method, where a human bo... [more] |
PRMU2016-58 IBISML2016-13 pp.25-30 |
MICT, RCC |
2016-05-13 15:15 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
[Invited Talk]
Model-based techniques for control system security Kenji Sawada, Tsubasa Sasaki, Tsukada Kento, Seiichi Shin (UEC Tokyo), Shu Hosokawa (CSSC) RCC2016-10 MICT2016-10 |
Control systems of important infrastructures are not able to avoid dealing with some security incidents caused by cybera... [more] |
RCC2016-10 MICT2016-10 pp.45-50 |
SS, MSS |
2016-01-25 10:20 |
Ishikawa |
Shiinoki-Geihin-Kan |
Choreography Realization by Re-constructible Decomposition of Acyclic Relations
-- A Study on Synthesizing Pareto Optimal State Machines -- Toshiyuki Miyamoto (Osaka Univ.) MSS2015-37 SS2015-46 |
For a service-oriented architecture based system, the problem of synthesizing a concrete model, i.e., behavioral model,... [more] |
MSS2015-37 SS2015-46 pp.13-18 |
VLD, CPSY, RECONF, IPSJ-SLDM, IPSJ-ARC [detail] |
2016-01-21 15:45 |
Kanagawa |
Hiyoshi Campus, Keio University |
Search of Evaluation Function with Genetic Algorithm and UML Model-based Development for TRAX Player Ryo Tamaki, Naohiko Shimizu (Tokai Univ.) VLD2015-110 CPSY2015-142 RECONF2015-92 |
In this paper, We present the game tree search and the hardware design for the TRAX player. The TRAX player searches the... [more] |
VLD2015-110 CPSY2015-142 RECONF2015-92 pp.237-242 |
KBSE |
2015-09-24 13:50 |
Osaka |
Bldg.A No.110, IST, Suita campus, Osaka University |
Proposal of Environment for Bicycle Travelling State Estimation based on Smartphone Embedded Sensors Hajime Kato, Akira Yamamoto, Yuta Kawachi, Shigeo Kaneda (Doshisha Univ.) KBSE2015-29 |
Bicycles are ecological and economical transportation tools that never emit CO2. The final goal of this paper is a load-... [more] |
KBSE2015-29 pp.7-12 |
KBSE, SS, IPSJ-SE [detail] |
2015-07-22 16:10 |
Hokkaido |
|
Test Scenario Generation for Web Scenario Testing Using Design Document Xiaojing Zhang, Haruto Tanno (NTT) SS2015-17 KBSE2015-10 |
While automated test execution is popular among software development projects, the efficiency of test design is also nee... [more] |
SS2015-17 KBSE2015-10 pp.39-44 |
MSS, CAS, SIP, VLD |
2015-06-17 09:45 |
Hokkaido |
Otaru University of Commerce |
Choreography Realization by Re-constructible Decomposition of Acyclic Relations Toshiyuki Miyamoto (Osaka Univ.) CAS2015-2 VLD2015-9 SIP2015-33 MSS2015-2 |
For a service-oriented architecture based system, the problem of synthesizing a concrete model, i.e., behavioral model,... [more] |
CAS2015-2 VLD2015-9 SIP2015-33 MSS2015-2 pp.7-12 |
NLP |
2015-01-26 17:35 |
Oita |
Compal Hall |
An Application of RRT Algorithm to Reliability Assessment of Energy Systems Yoshihiko Susuki (Kyoto Univ./JST), T. John Koo (ASTRI) NLP2014-128 |
Assessment of reliability related to dynamics of energy systems is formulated as a problem of checking reachability of a... [more] |
NLP2014-128 pp.89-94 |
KBSE, SS, IPSJ-SE [detail] |
2014-07-11 14:10 |
Hokkaido |
Furano-Bunka-Kaikan |
Traceability Construction and Utilization in Model Based Testing Xiaojing Zhang, Haruto Tanno, Morihide Oinuma (NTT) SS2014-24 KBSE2014-27 |
This paper focuses on traceability related problems in software testing. By extending an existing model based testing te... [more] |
SS2014-24 KBSE2014-27 pp.163-168 |
VLD |
2014-03-04 13:20 |
Okinawa |
Okinawa Seinen Kaikan |
[Invited Talk]
Advanced Model-Based Hotspot Fix Flow for Layout Optimization with Genetic Algorithm Shuhei Sota (Toshiba Microelectronics), Taiga Uno, Masanari Kajiwara, Chikaaki Kodama (Toshiba), Hirotaka Ichikawa (Toshiba Microelectronics), Ryota Aburada, Toshiya Kotani (Toshiba), Kei Nakagawa, Tamaki Saito (Toshiba Microelectronics) VLD2013-148 |
Under the low-k1 lithography process, many hotspots are generated and their reduction is an urgent issue for mass produc... [more] |
VLD2013-148 p.85 |
KBSE |
2014-01-28 11:20 |
Tokyo |
Kikai-Shinko-Kaikan Bldg |
Detailed Operational Profile Generation Using a Place/transition Net and Software Execution Histories Tomohiko Takagi, Takuya Arao (Kagawa Univ.) KBSE2013-74 |
Statistical testing is effective in evaluating software reliability and detecting failures that can make serious impacts... [more] |
KBSE2013-74 pp.53-58 |
SS, IPSJ-SE |
2013-10-25 13:50 |
Ishikawa |
|
Test Case Generation Based on Design Document: Can We Integrate the Technology into Traditional Development Process? Xiaojing Zhang, Haruto Tanno, Takashi Hoshino (NTT) SS2013-46 |
This paper introduce an improvement method to an existing model based test case extraction approach, our improved method... [more] |
SS2013-46 pp.167-172 |
SANE |
2012-11-30 16:10 |
Chiba |
Chiba University Keyaki Kaikan |
A New 4-COMP-S Filter for Ship Detection in Polarimetric SAR Data Mitsunobu Sugimoto, Kazuo Ouchi, Yasuhiro Nakamura (NDA) SANE2012-117 |
In this study, we propose a new ship detector using the four component scattering power decomposition (4CSPD), which is ... [more] |
SANE2012-117 pp.37-40 |
MSS, CAS |
2012-11-02 09:55 |
Iwate |
Iwate University |
A Study on the Modeling and Analysis in Model-Based Development Yusuke Chiba, Toshimitsu Inomata, Yoshikazu Arai, Shintaro Imai (Iwate Pref Univ.) CAS2012-58 MSS2012-38 |
In this paper, we considered an analytical method for UML models in the model based development. We attempted to transfo... [more] |
CAS2012-58 MSS2012-38 pp.47-51 |
AI, SC |
2012-08-20 15:40 |
Tokyo |
|
Resource Capacity Prediction Method for Service Level Management Automation Mitsuhiro Oono, Ryosuke Togawa, Nobuyuki Tomizawa, Shinjiro Yagi, Isao Okada (NEC) AI2012-11 SC2012-8 |
We propose a resource capacity prediction method with two-stage data filter for non-stationary workloads. Accurately pre... [more] |
AI2012-11 SC2012-8 pp.17-22 |
KBSE, SS |
2012-07-28 14:50 |
Hokkaido |
Future University Hakodate |
A method to evaluate structure of Simulink model based on subsystem boundary information Takatoshi Kobayashi, Takashi Kobayashi (Nagoya Univ.), Takayuki Kubo (AISIN AW), Kiyoshi Agusa (Kyoto Univ.) SS2012-30 KBSE2012-32 |
{MATLAB/Simulink} is widely used in model based development of embedded software for the modeling and simulation of syst... [more] |
SS2012-30 KBSE2012-32 pp.121-126 |
VLD, CAS, MSS, SIP |
2012-07-02 15:20 |
Kyoto |
Kyoto Research Park |
[Invited Talk]
Model-based Development: An enabler of the birth of SKYACTIV Technology Yasuhiro Harada (Mazda) CAS2012-13 VLD2012-23 SIP2012-45 MSS2012-13 |
Model-based Development: An enabler of the birth of SKYACTIV Technology.
To develop SKYACTIV, which will be install... [more] |
CAS2012-13 VLD2012-23 SIP2012-45 MSS2012-13 pp.73-76 |
IBISML |
2011-11-09 15:45 |
Nara |
Nara Womens Univ. |
Active Value Function Estimation Based On Transition Probability Estimation Masahiro Kohjima (Tokyo Tech) IBISML2011-51 |
It is considered to be a great importance in reinforcement learning to estimate value function precisely. In this study,... [more] |
IBISML2011-51 pp.61-66 |
EE, IEE-SPC |
2011-07-28 13:00 |
Hokkaido |
|
The development of software of digital power supply applied for the Micro-Grid System by using Model Based Design Hitoshi Kidokoro, Masatoshi Nakahara (Sojo Univ.), Soichiro Nakamura (SEL) EE2011-6 |
Although digital power supply is necessary to realize Micro-Grid concept which means cooperate several DC-DC/DC-AC conv... [more] |
EE2011-6 pp.1-6 |
DC, CPSY (Joint) |
2011-07-29 15:15 |
Kagoshima |
|
An Operational Model-based Management Framework for Service Level Management Automation in Cloud Data Center Mitsuhiro Oono, Nobuyuki Tomizawa, Shinjiro Yagi (NEC) CPSY2011-22 |
We proposed the model-based management framework for service level automation in cloud datacenter. The service level man... [more] |
CPSY2011-22 pp.79-84 |