3199 search results - page 16 / 640 » Variability in Automation System Models |
ECSQARU
2007
Springer
14 years 3 months ago
2007
Springer
This paper presents a new approach to inference in Bayesian networks. The principal idea is to encode the network by logical sentences and to compile the resulting encoding into an...
VAMOS
2010
Springer
13 years 10 months ago
2010
Springer
Deriving products from a software product line is difficult, particularly when there are many constraints in the variability of the product line. Understanding the impact of variab...
CSL
2010
Springer
13 years 10 months ago
2010
Springer
d Abstract) Thomas Schwentick and Thomas Zeume TU Dortmund University The finite satisfiability problem for two-variable logic over structures with unary relations and two order re...
HYBRID
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. In earlier work, we developed a mathematical hybrid I/O automaton (HIOA) modeling framework, capable of describing both discrete and continuous behavior. This framework h...
LPNMR
2009
Springer
14 years 3 months ago
2009
Springer
