4270 search results - page 280 / 854 » A Permutation Approach to Validation |
188
click to vote
ISSTA
2004
ACM
16 years 1 days ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
161
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Robust biomarkers are needed to improve microbial identification and diagnostics. Proteomics methods based on mass spectrometry can be used for the discovery of novel ...
193
click to vote
INFSOF
2007
15 years 6 months ago
2007
Due to the principal role of Data warehouses (DW) in making strategy decisions, data warehouse quality is crucial for organizations. Therefore, we should use methods, models, tech...
169
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Coarticulation is one of the important factors that makes automatic sign language recognition a hard problem. Unlike in speech recognition, coarticulation effects in sign language...
143
click to vote
SIGMOD
2002
ACM
16 years 6 months ago
2002
ACM
Relational query optimizers have traditionally relied upon table cardinalities when estimating the cost of the query plans they consider. While this approach has been and continue...