154 search results - page 31 / 31 » Reasoning about edits to feature models |
164
click to vote
KDD
2005
ACM
16 years 6 months ago
2005
ACM
In this paper, we present a general framework to discover spatial associations and spatio-temporal episodes for scientific datasets. In contrast to previous work in this area, fea...
173
click to vote
PLDI
2009
ACM
16 years 23 days ago
2009
ACM
We show that recursive programs where variables range over finite domains can be effectively and efficiently analyzed by describing the analysis algorithm using a formula in a ...
155
click to vote
LOGCOM
2000
15 years 5 months ago
2000
We introduce the concept of reflection principle as a knowledge representation paradigm in a computational logic setting. Reflection principles are expressed as certain kinds of l...
205
click to vote
LPNMR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The paper presents INFOMIX a successful application of ASP technology to the domain of Data Integration. INFOMIX is a novel system which supports powerful information int...