Keyword : refinement


Change Impact Analysis for Refinement-Based Formal Specification
Shinnosuke SARUWATARI Fuyuki ISHIKAWA Tsutomu KOBAYASHI Shinichi HONIDEN 
Publication:   
Publication Date: 2019/08/01
Vol. E102-D  No. 8 ; pp. 1462-1477
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approaches)
Category: 
Keyword: 
formal methodformal specificationimpact analysisrefinementevent-Bmodification support
 Summary | Full Text:PDF(1.2MB)

Real-Time Refinement Method for Foreground Objects Detectors Using Super Fast Resolution-Free Tracking System
Axel BEAUGENDRE Satoshi GOTO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2014/02/01
Vol. E97-A  No. 2 ; pp. 520-529
Type of Manuscript:  Special Section PAPER (Special Section on Image Media Quality)
Category: 
Keyword: 
detectiontrackingUHDTVrefinement
 Summary | Full Text:PDF(3.7MB)

Synthesis and Refinement Check of Sequence Diagrams
Hisashi MIYAZAKI Tomoyuki YOKOGAWA Sousuke AMASAKI Kazuma ASADA Yoichiro SATO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2012/09/01
Vol. E95-D  No. 9 ; pp. 2193-2201
Type of Manuscript:  Special Section PAPER (Special Section on Software Reliability Engineering)
Category: 
Keyword: 
UMLsequence diagramrefinementmodel checkingLTSA
 Summary | Full Text:PDF(530.5KB)

Spatio-Temporal Video Transcoder for Streaming over Mobile Communications Networks
Jae-Won KIM Goo-Rak KWON June-Sok LEE Nam-Hyeong KIM Sung-Jea KO 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2006/10/01
Vol. E89-B  No. 10 ; pp. 2678-2686
Type of Manuscript:  Special Section PAPER (Special Section on Mobile Multimedia Communications)
Category: 
Keyword: 
transcodertranscodingrefinementdownsizingframe-skippingstreaming
 Summary | Full Text:PDF(589KB)

Trade-Off between Requirement of Learning and Computational Cost
Tzung-Pei HONG Ching-Hung WANG Shian-Shyong TSENG 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1998/06/25
Vol. E81-D  No. 6 ; pp. 565-571
Type of Manuscript:  PAPER
Category: Artificial Intelligence and Cognitive Science
Keyword: 
two-phase learningPRISMbatch learningincremental learningmulti-strategy learningrefinement
 Summary | Full Text:PDF(623.6KB)

Verification and Refinement for System Requirements
Kukhwan SONG Atushi TOGASHI Norio SHIRATORI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1995/11/25
Vol. E78-A  No. 11 ; pp. 1468-1478
Type of Manuscript:  Special Section PAPER (Special Section on Net Theory and Its Applications to Discrete Event System Design)
Category: 
Keyword: 
system requirementformal specificationstate transitionPetri Netverificationrefinement
 Summary | Full Text:PDF(875.1KB)

Method of Refining Knowledge in Oriental Medicine by Sample Cases
Chang Hoon LEE Moon Hae KIM Jung Wan CHO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1993/02/25
Vol. E76-D  No. 2 ; pp. 284-295
Type of Manuscript:  PAPER
Category: Medical Electronics and Medical Information
Keyword: 
knowledge acquisitionrefinementoriental medicineexpert systemneural network
 Summary | Full Text:PDF(1018.3KB)