2162 search results - page 97 / 433 » Automated Reasoning on Feature Models |
145
Voted
ECSQARU
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Even though in Artificial Intelligence, a set of classical logical formulae is often called a belief base, reasoning about beliefs requires more than the language of cla...
158
Voted
ICCAD
2007
IEEE
15 years 7 months ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
120
Voted
ILP
2003
Springer
15 years 9 months ago
2003
Springer
Boosting has established itself as a successful technique for decreasing the generalization error of classification learners by basing predictions on ensembles of hypotheses. Whil...
127
click to vote
KBSE
1998
IEEE
15 years 8 months ago
1998
IEEE
Statically analyzing requirements specifications to assure that they possess desirable properties is an important activity in any rigorous software development project. The analys...
120
Voted
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...