1224 search results - page 178 / 245 » Theory decision by decomposition |
106
Voted
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
We consider a mild extension of universal algebra in which terms are built both from deterministic and probabilistic variables, and are interpreted as distributions. We formulate a...
195
click to vote
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
134
Voted
WER
2010
Springer
14 years 10 months ago
2010
Springer
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...
54
Voted
CORR
2009
Springer
14 years 10 months ago
2009
Springer
We investigate the phenomenon of non-recursive trade-offs between descriptional systems in an abstract fashion. We aim at categorizing non-recursive trade-offs by bounds on their g...
161
click to vote
ASC
2011
14 years 7 months ago
2011
In the area of data mining, the discovery of valuable changes and connections (e.g., causality) from multiple data sets has been recognized as an important issue. This issue essen...