3819 search results - page 523 / 764 » Predicting Dependability by Testing |
159
click to vote
JSS
2007
15 years 4 months ago
2007
Research into design rationale in the past has focused on argumentation-based design deliberations. These approaches cannot be used to support change impact analysis effectively ...
133
click to vote
CP
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Branch-and-Check, introduced ten years ago, is a generalization of logic-based Benders decomposition. The key extension is to solve the Benders sub-problems at each feasi...
155
Voted
DIS
2010
Springer
15 years 3 months ago
2010
Springer
Sequence labeling is the task of assigning a label sequence to an observation sequence. Since many methods to solve this problem depend on the specification of predictive features...
159
click to vote
DIS
2010
Springer
15 years 3 months ago
2010
Springer
Quantitative structure-activity relationships (QSARs) are regression models relating chemical structure to biological activity. Such models allow to make predictions for toxicologi...
152
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
— This work addresses the task of designing the optimal survey route that an autonomous underwater vehicle (AUV) should take in mine countermeasures (MCM) operations. It is assum...