Sciweavers

164 search results - page 19 / 33
» Combining Algebraic and Model-Based Test Case Generation
Sort
View
SBMF
2009
Springer
184views Formal Methods» more  SBMF 2009»
14 years 1 months ago
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
Moonzoo Kim, Yunho Kim
ACL
2009
13 years 4 months ago
Case markers and Morphology: Addressing the crux of the fluency problem in English-Hindi SMT
We report in this paper our work on accurately generating case markers and suffixes in English-to-Hindi SMT. Hindi is a relatively free word-order language, and makes use of a com...
Ananthakrishnan Ramanathan, Hansraj Choudhary, Avi...
BMCBI
2008
128views more  BMCBI 2008»
13 years 6 months ago
Improving the prediction accuracy in classification using the combined data sets by ranks of gene expressions
Background: The information from different data sets experimented under different conditions may be inconsistent even though they are performed with the same research objectives. ...
Ki-Yeol Kim, Dong Hyuk Ki, Hei-Cheul Jeung, Hyun C...
ICPR
2006
IEEE
14 years 7 months ago
Evaluation of 3D Facial Feature Selection for Individual Facial Model Identification
Face recognition using 3D information has been intensively investigated in recent years. The features selected from 3D facial surfaces are invariant to pose and lighting condition...
Lijun Yin, Yi Sun
ICDE
2008
IEEE
176views Database» more  ICDE 2008»
14 years 8 months ago
Automatic Result Verification for the Functional Testing of a Query Language
Functional testing of a query language is a challenging task in practice. In order to reveal errors in the query processing functionality, it is necessary to verify the actual res...
Carsten Binnig, Donald Kossmann, Eric Lo, Angel Sa...