Keyword : constraints


A Search-Based Constraint Elicitation in Test Design
Hiroyuki NAKAGAWA Tatsuhiro TSUCHIYA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2016/09/01
Vol. E99-D  No. 9 ; pp. 2229-2238
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: 
Keyword: 
pair-wise testingconstraintslinguistic approachcollective intelligence
 Summary | Full Text:PDF

Fast Image Denoising Algorithm by Estimating Noise Parameters
Tuan-Anh NGUYEN Min-Cheol HONG 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2015/12/01
Vol. E98-A  No. 12 ; pp. 2694-2700
Type of Manuscript:  PAPER
Category: Image
Keyword: 
denoisingnoise parametersconstraintsmodified Gaussian filtersmoothness
 Summary | Full Text:PDF

Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints
Toru NANBA Tatsuhiro TSUCHIYA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2012/09/01
Vol. E95-A  No. 9 ; pp. 1501-1505
Type of Manuscript:  Special Section LETTER (Special Section on Software Reliability Engineering)
Category: 
Keyword: 
SATsoftware testingpairwise testingtest set generationconstraints
 Summary | Full Text:PDF

Using Hierarchical Transformation to Generate Assertion Code from OCL Constraints
Rodion MOISEEV Shinpei HAYASHI Motoshi SAEKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2011/03/01
Vol. E94-D  No. 3 ; pp. 612-621
Type of Manuscript:  PAPER
Category: Software System
Keyword: 
OCLconstraintsassertion codeprogramming languages
 Summary | Full Text:PDF

Agent-Based Speculative Constraint Processing
Hiroshi HOSOBE Ken SATOH Philippe CODOGNET 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2007/09/01
Vol. E90-D  No. 9 ; pp. 1354-1362
Type of Manuscript:  Special Section PAPER (Special Section on Software Agent and Its Applications)
Category: 
Keyword: 
agentsspeculative computationconstraints
 Summary | Full Text:PDF

Constraint-Based Software Specifications and Verification Using UML
Chin-Feng FAN Chun-Yin CHENG 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2006/06/01
Vol. E89-D  No. 6 ; pp. 1914-1922
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
constraintsSpecTRM-RLUMLOCLfault trees
 Summary | Full Text:PDF

Fast Stereo Matching Using Constraints in Discrete Space
Hong JEONG Yuns OH 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/07/25
Vol. E83-D  No. 7 ; pp. 1592-1600
Type of Manuscript:  PAPER
Category: Image Processing, Image Pattern Recognition
Keyword: 
stereo visionconstraintsdiscrete spacecenter-referenced disparitytrellis
 Summary | Full Text:PDF