2162 search results - page 21 / 433 » Automated Reasoning on Feature Models |
ICCBR
2007
Springer
15 years 5 months ago
2007
Springer
In this paper, we compare case-based spam filters, focusing on their resilience to concept drift. In particular, we evaluate how to track concept drift using a case-based spam fi...
CCL
1994
Springer
15 years 3 months ago
1994
Springer
We employ the model-theoretic method of Ehrenfeucht-Fra sse Games to prove the completeness of the theory CFT, which has been introduced in 22] for describing rational trees in a ...
100
click to vote
GIS
2009
ACM
14 years 9 months ago
2009
ACM
Future driver assistance systems will require highly accurate positioning. One way to achieve this is by using on-board sensors to measure the relative location of landmarks for w...
144
click to vote
KDD
1998
ACM
15 years 4 months ago
1998
ACM
BAYDA is a software package for flexible data analysis in predictive data mining tasks. The mathematical model underlying the program is based on a simple Bayesian network, the Na...
JSS
2010
14 years 6 months ago
2010
Software product-lines (SPLs) are software architectures that can be readily reconfigured for different project requirements. A key part of an SPL is a model that captures the rul...