2162 search results - page 273 / 433 » Automated Reasoning on Feature Models |
154
Voted
LICS
2006
IEEE
15 years 11 months ago
2006
IEEE
Logical properties of iterations of relational structures are studied and these decidability results are applied to the model checking of a powerful extension of pushdown systems....
169
Voted
LICS
2006
IEEE
15 years 11 months ago
2006
IEEE
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...
131
click to vote
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
The theory of reactive systems, introduced by Leifer and Milner and previously extended by the authors, allows the derivation of well-behaved labelled transition systems (LTS) for...
137
click to vote
ECSQARU
2005
Springer
15 years 10 months ago
2005
Springer
In a Bayesian network with continuous variables containing a variable(s) that is a conditionally deterministic function of its continuous parents, the joint density function for t...
138
click to vote
ECSQARU
2005
Springer
15 years 10 months ago
2005
Springer
The Transferable Belief Model is a general framework for managing imprecise and uncertain information using belief functions. In this framework, the discounting operation allows to...