Sciweavers

5855 search results - page 973 / 1171
» Test generation and minimization with
Sort
View
BIOCOMP
2006
15 years 3 months ago
Finding Molecular Signature of Prostate Cancer: An Algorithmic Approach
123 African American men in America are 65% more likely to develop prostate cancer and are two to three times more likely to die of the disease than Caucasian men [1]. While resear...
Patrick Bobbie, Renee Reams, Sandra Suther, C. Per...
CASCON
2006
118views Education» more  CASCON 2006»
15 years 3 months ago
Ensuring behavioural equivalence in test-driven porting
In this paper we present a test-driven approach to porting code from one object-oriented language to another. We derive an order for the porting of the code, along with a testing ...
Mark Hennessy, James F. Power
COOP
2004
15 years 3 months ago
Model Checking Groupware Protocols
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
Maurice H. ter Beek, Mieke Massink, Diego Latella,...
CSC
2006
15 years 3 months ago
WENO Schemes for Cylindrical and Spherical Grid
In this paper, we apply the high order WENO schemes to uniform cylindrical and spherical grid. Many 2-D and 3-D problems can be solved in 1-D equations if they have angular and ra...
Shengtai Li
DMIN
2006
122views Data Mining» more  DMIN 2006»
15 years 3 months ago
Cost-Sensitive Analysis in Multiple Time Series Prediction
- In this paper we propose a new methodology for Cost-Benefit analysis in a multiple time series prediction problem. The proposed model is evaluated in a real world application bas...
Chamila Walgampaya, Mehmed M. Kantardzic