60 search results - page 6 / 12 » Towards automated detection of feature interactions |
FIW
2007
13 years 8 months ago
2007
Feature interaction detection methods, whether online or offline, depend on previous knowledge of conflicts between the actions executed by the features. This knowledge is usually ...
TPHOL
2008
IEEE
14 years 1 months ago
2008
IEEE
We describe a tutorial that demonstrates the use of the ACL2 theorem prover. We have three goals: to enable a motivated reader to start on a path towards effective use of ACL2; to...
FIW
2003
13 years 8 months ago
2003
Abstract. Features provide extensions to a basic service, but in new systems users require much greater flexibility oriented towards their needs. Traditional features do not easil...
SIGIR
2006
ACM
14 years 20 days ago
2006
ACM
The performance of document clustering systems depends on employing optimal text representations, which are not only difficult to determine beforehand, but also may vary from one ...
EC
2006
13 years 6 months ago
2006
Learning Classifier Systems (LCSs), such as the accuracy-based XCS, evolve distributed problem solutions represented by a population of rules. During evolution, features are speci...