Abstract. This paper continues our systematic study of an RNAediting computational model of Genetic Algorithms (GA). This model is constructed based on several genetic editing char...
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
Mats Per Erik Heimdahl, Sanjai Rayadurgam, Willem ...
Mobile Internet, which is a combination of the Internet with mobile devices, has become popular recently. Mobile Internet is primarily different from stationary Internet in that i...
Hoyoung Kim, Jinwoo Kim, Yeonsoo Lee, Minhee Chae,...
Using artificial neural networks for Electroencephalogram (EEG) signal interpretation is a very challenging tasks for several reasons. The first class of reasons refers to the nat...
As the mobile Internet has been used explosively worldwide, the effects of cultural factors on mobile Internet have been an interesting issue. The objectives of this study are to ...