The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed with the aim of improving the functional software cor...
We introduce a new adaptive genetic method for AVT generation, MCM-AVT-Learner. The MCM-AVTLearner imports the mutation and crossover matrices which makes effective use of the fi...
Hyunsung Jo, Yong-chan Na, Byonghwa Oh, Jihoon Yan...
We address the problem of bandwidth selection in MLS surfaces. While the problem has received relatively little attention in the literature, we show that appropriate selection pla...
—Conventional RFID (radio frequency identification) systems operating at one single carrier frequency can hardly handle the great variety of shapes and materials that occur in p...
—Approaches based on conditional independence tests are among the most popular methods for learning graphical models from data. Due to the predominance of Bayesian networks in th...