4276 search results - page 314 / 856 » Techniques for Empirical Validation |
182
click to vote
SPLC
2008
15 years 8 months ago
2008
Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting feature sets that satisfy feature model constraints. Conf...
170
click to vote
AROBOTS
2008
15 years 6 months ago
2008
This paper presents a technique for dynamically reconfiguring search spaces in order to enable Bayesian autonomous search and tracking missions with moving targets. In particular, ...
175
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
210
click to vote
ML
2002
ACM
15 years 6 months ago
2002
ACM
A widely acknowledged drawback of many statistical modelling techniques, commonly used in machine learning, is that the resulting model is extremely difficult to interpret. A numb...
188
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...