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 method, formal specification, impact analysis, refinement, event-B, modification support, 
 Summary | Full Text:PDF
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: 
detection, tracking, UHDTV, refinement, 
 Summary | Full Text:PDF
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: 
UML, sequence diagram, refinement, model checking, LTSA, 
 Summary | Full Text:PDF
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: 
transcoder, transcoding, refinement, downsizing, frame-skipping, streaming, 
 Summary | Full Text:PDF
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 learning, PRISM, batch learning, incremental learning, multi-strategy learning, refinement, 
 Summary | Full Text:PDF
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 requirement, formal specification, state transition, Petri Net, verification, refinement, 
 Summary | Full Text:PDF
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 acquisition, refinement, oriental medicine, expert system, neural network, 
 Summary | Full Text:PDF