154 search results - page 25 / 31 » Reasoning about edits to feature models |
131
click to vote
RULEML
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we present R-DEVICE, a deductive rule language for reasoning about RDF metadata. R-DEVICE includes features such as normal and generalized path expressions, stratifie...
117
click to vote
DIMVA
2006
15 years 3 months ago
2006
Abstract. The Internet, and in particular the world-wide web, have become part of the everyday life of millions of people. With the growth of the web, the demand for on-line servic...
107
click to vote
MODELS
2009
Springer
15 years 8 months ago
2009
Springer
Product line engineering is an emerging paradigm of developing a family of products. While product line analysis and design mainly focus on reasoning about commonality and variabi...
228
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
Self-adjusting computation is an evaluation model in which programs can respond efficiently to small changes to their input data by using a change-propagation mechanism that updat...
117
click to vote
HRI
2006
ACM
15 years 7 months ago
2006
ACM
The essence of the signal-to-symbol problem consists of associating a symbolic description of an object (e.g., a chair) to a signal (e.g., an image) that captures the real object....