2162 search results - page 145 / 433 » Automated Reasoning on Feature Models |
149
Voted
LPAR
2004
Springer
15 years 9 months ago
2004
Springer
DPLL and DPLL Modulo Theories Robert Nieuwenhuis , Albert Oliveras , and Cesare Tinelli We introduce Abstract DPLL, a general and simple abstract rule-based formulation of the Davi...
125
click to vote
ICCBR
2009
Springer
15 years 8 months ago
2009
Springer
Oil well drilling is a complex process which frequently leads to operational problems. In order to deal with some of these problems, knowledge intensive case based reasoning (KiCBR...
146
click to vote
MICCAI
2007
Springer
16 years 5 months ago
2007
Springer
Abstract. We propose a highly automated approach to the point correspondence problem for anatomical shapes in medical images. Manual landmarking is performed on a small subset of t...
133
Voted
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Reasoning about social networks (labeled, directed, weighted graphs) is becoming increasingly important and there are now models of how certain phenomena (e.g. adoption o...
179
click to vote
MDAFA
2004
Springer
15 years 9 months ago
2004
Springer
MDA software development requires the interoperability of a wide range of modelling services (operations taking models as inputs and outputs), such as model edition, model transfor...