Sciweavers

5855 search results - page 973 / 1171
» Test generation and minimization with
Sort
View
BIOCOMP
2006
15 years 8 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 8 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 8 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,...
152
Voted
CSC
2006
15 years 8 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 8 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